-
题名修正的条件/判定覆盖分析工具评估与选择
- 1
-
-
作者
张卫民
孙军
-
机构
北京航天飞行控制中心
-
出处
《载人航天》
CSCD
2009年第3期40-43,53,共5页
-
文摘
使用工具进行修正的条件/判定覆盖(MC/DC)分析可以简化软件验证工作,但必须对候选的工具进行认真评估,确定每种工具的功能性和局限性,着重考虑的因素包括:监测语句的类型、在何处监测语句(源码还是目标码)、可监测的条件和判定的最大个数、确定独立影响所用的算法、关系运算符的处理、位运算符的处理、组合表达式的处理、单步逻辑运算的处理和插装影响等。
-
关键词
修正的条件/判定覆盖
覆盖分析工具
工具评估
-
Keywords
Modified Condition/Decision Coverage（MC/DC ）, Coverage Analysis tool, Tool Evaluation
-
分类号
TP311.56
[自动化与计算机技术—计算机软件与理论]
-
-
题名面向航空软件需求模型的MC/DC测试用例生成方法
被引量：1
- 2
-
-
作者
丁鼎
胡军
王康星
董泽华
王立松
-
机构
南京航空航天大学
-
出处
《小型微型计算机系统》
北大核心
2025年第7期1783-1792,共10页
-
基金
国家自然科学基金项目(U2241216)资助。
-
文摘
充分的测试是确保现代航空软件正常运行的必要环节,而传统软件测试方法往往难以满足要求.为此,本文设计了一种面向航空软件领域的测试用例自动生成方法,为自然语言描述下的航空软件需求构建变量关系模型,解析其模型语义创建需求语义树,根据安全关键等级选取测试路径、生成不同的覆盖集.为缓解条件互相关联而可能导致修改的条件/判定覆盖失效的问题,本文定义了适用于该需求模型的耦合条件判断及约束准则,提出3种修改的条件/判定覆盖形式并给出相应的覆盖集生成方法;基于覆盖集所确定的等价类和边界,设计了合理有效的测试用例选取策略,自动生成测试用例集.最后,对一个航空软件需求实例进行形式化建模和测试用例生成,证明了上述方法的可行性.
-
关键词
测试用例生成
修改的条件/判定覆盖
基于需求的测试
形式化需求建模
-
Keywords
test case generation
modified condition/decision coverage
requirements-based testing
formal requirement modelling
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于维持种群多样性的测试数据生成算法的研究
被引量：2
- 3
-
-
作者
王建民
蔡媛
-
机构
中山大学信息科学与技术学院
国家数字家庭工程技术研究中心(中山大学)
-
出处
《计算机研究与发展》
EI
CSCD
北大核心
2012年第5期1039-1048,共10页
-
基金
国家自然科学基金项目(61073132
60776796)
+2 种基金
广东省自然科学基金项目(9151027501000035)
广东省科技计划项目(2009B010800017)
中山大学基本科研业务费专项基金项目(101gpy33)
-
文摘
测试数据自动化生成技术尝试寻找一个相对小的数据集来满足测试充分性标准,以降低软件测试的成本,提高测试效率.当测试项的数据集大小超过其上限时,算法会使用淘汰算法把差异性较小的测试数据从集合中淘汰掉,把差异性较大的测试数据留下来,以维持种群的多样性.针对此问题,提出一种基于维持种群多样性的演化算法来求解测试数据集,算法利用启发信息迭代地选择一个条件?判定语句作为子目标,通过演化算法生成数据以覆盖目标.在此算法框架内,利用一种新的计算评估值的方法计算数据与测试项的距离信息;以及利用归一的曼哈顿距离计算测试数据差异性,通过淘汰策略把差异性较小的测试数据淘汰掉.在实验中,对14个计算机科学基础算法的基准函数进行了测试,并与现有文献中的测试数据生成方法进行对比,验证了算法有效提高了条件?判定覆盖率,并且减少了测试数据的生成数量,提高了测试性能.
-
关键词
结构化测试
测试数据自动化生成
测试用例
条件/判定覆盖
元启发式搜索技术
-
Keywords
structural testing
automatic test data generation
test case
condition/decision coverage
meta-heuristic search techniques
-
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
-
