1) dynamic implicit predication
动态隐式断言执行
2) dynamic execution
动态执行
4) dynamic executable semantic
动态执行语义
5) The code dynamic state performance
代码动态执行
6) dynamic execution model
动态执行模型
1.
On the basis of requirements description model RTRSM, this paper presents an abstract dynamic execution model(DEM)of real time software systems which can integrate with control flow and data flow, and then describes a checking method based on configuration covering and proposes its corresponding algorithm.
以需求描述模型 RTRSM为基础 ,通过建立抽象的、能将控制流和数据流等有机地结合到一起的实时软件的动态执行模型 ,提出了构图覆盖的动态检测方法 ,并给出了其具体算法 。
2.
On the basis of requirements description model HRFSM (hierarchical finite state machines based on rules), a DEM(dynamic execution model) of embedded real-time systems software and a checking method based on DEM are presented in this paper.
以需求描述模型HRFSM(hierarchical finite state machines based on rules)为基础,提出了一个嵌入式实时系统软件的动态执行模型(dynamic execution model,简称DEM)和基于该模型的检测方法。
补充资料：断言
断言
assertion
断盲脚留时妞.;。，移.曰.卜拿粤伽勺p万盛咖或s纽把-~)，(断亨)争匆((assej七Ve)sen让泊戊) 一个由其意义可断定其真假的陈述语句，在狭义下，数理逻辑中把它理解为逻辑一数学语言的一个闭公式，并且由其语言的语义(se江旧叮t心)可以断定其真假. 于是公理集合论中的各种数学命题，例如选择公擎~of咖让)，诊琴卿娜田掀加姻nh男沁th口is)等都能写成公式的形式;根据通常的语义法则、这个公式就表示了命题所包含的内容.但这决不意味着存在一个识别语言中命题的真假的方法.而且，语义学本身并未充分发展，或可以提供在解决某些断言真假的问题时会遇到的基本困难.在一个理论的框架内，某些断言的不可解性是由形式化方法(如m刘lza由n业血刃)阐明的(例如见公理集合论恤心。叮坦t允sett坛幻钾)).
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条