修正的条件/判定覆盖分析工具评估与选择  

Evaluation and Selection of MC/DC Analysis Tools

在线阅读下载全文

作  者:张卫民[1] 孙军[1] 

机构地区:[1]北京航天飞行控制中心

出  处:《载人航天》2009年第3期40-43,53,共5页Manned Spaceflight

摘  要:使用工具进行修正的条件/判定覆盖(MC/DC)分析可以简化软件验证工作,但必须对候选的工具进行认真评估,确定每种工具的功能性和局限性,着重考虑的因素包括:监测语句的类型、在何处监测语句(源码还是目标码)、可监测的条件和判定的最大个数、确定独立影响所用的算法、关系运算符的处理、位运算符的处理、组合表达式的处理、单步逻辑运算的处理和插装影响等。Using tools to analyze MC/DC may simplify time-consuming software verification. Candidate tools should be carefully assessed to determine their functionality and limitations before the tool is used. How structural coverage analysis tools work is introduced. Some factors to be considered in evaluating and selecting a structural coverage tool are discussed. The factors include types of monitored statements, where statements arc monitored (source versus object code), maxi- mum number of conditions and decisions that can be monitored, algorithms used for determining independent effect, handling of relational operators, handling of bit-wise operators, handling of combining expressions, handling of single step logic operations and instrumentation effects.

关 键 词:修正的条件/判定覆盖 覆盖分析工具 工具评估 

分 类 号:TP311.56[自动化与计算机技术—计算机软件与理论]

 

参考文献:

正在载入数据...

 

二级参考文献:

正在载入数据...

 

耦合文献:

正在载入数据...

 

引证文献:

正在载入数据...

 

二级引证文献:

正在载入数据...

 

同被引文献:

正在载入数据...

 

相关期刊文献:

正在载入数据...

相关的主题
相关的作者对象
相关的机构对象