检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
机构地区:[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[自动化与计算机技术—计算机软件与理论]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.222