-
题名面向航空软件需求模型的MC/DC测试用例生成方法
- 1
-
-
作者
丁鼎
胡军
王康星
董泽华
王立松
-
机构
南京航空航天大学
-
出处
《小型微型计算机系统》
北大核心
2025年第7期1783-1792,共10页
-
基金
国家自然科学基金项目(U2241216)资助。
-
文摘
充分的测试是确保现代航空软件正常运行的必要环节,而传统软件测试方法往往难以满足要求.为此,本文设计了一种面向航空软件领域的测试用例自动生成方法,为自然语言描述下的航空软件需求构建变量关系模型,解析其模型语义创建需求语义树,根据安全关键等级选取测试路径、生成不同的覆盖集.为缓解条件互相关联而可能导致修改的条件/判定覆盖失效的问题,本文定义了适用于该需求模型的耦合条件判断及约束准则,提出3种修改的条件/判定覆盖形式并给出相应的覆盖集生成方法;基于覆盖集所确定的等价类和边界,设计了合理有效的测试用例选取策略,自动生成测试用例集.最后,对一个航空软件需求实例进行形式化建模和测试用例生成,证明了上述方法的可行性.
-
关键词
测试用例生成
修改的条件/判定覆盖
基于需求的测试
形式化需求建模
-
Keywords
test case generation
modified condition/decision coverage
requirements-based testing
formal requirement modelling
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名更改的判定条件覆盖测试技术研究
被引量：10
- 2
-
-
作者
张义德
王国庆
汤幼宁
-
机构
中国航空计算技术研究所
-
出处
《计算机工程与设计》
CSCD
2003年第5期19-22,26,共5页
-
文摘
与语句覆盖、判定覆盖、条件覆盖、判定条件覆盖、多重条件覆盖相比,路径覆盖具有更强的结构覆盖率。但其需要更庞大的测试用例,事实上它并不实用。近年来,一种相对新颖和优秀的结构覆盖准则——更改的判定条件覆盖(MC/DC)应运而生,它继承了多重条件覆盖的优点,同时只是线性地增加了测试用例的数量。因此,在许多重要的软件,尤其是以嵌入式和实时性为特征的航空机载软件中得到广泛的应用。介绍了MC/DC的特点、设计方法、评估策略及工程应用。
-
关键词
软件测试
判定条件
结构覆盖准则
覆盖测试
软件开发
-
Keywords
modified condition/decision coverage
masking
independent effect
-
分类号
TP311.52
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于形式化描述测试用例生成的研究与实现
被引量：4
- 3
-
-
作者
王伟光
丁洪达
曾庆凯
-
机构
南京大学计算机软件新技术国家重点实验室
-
出处
《计算机应用》
CSCD
北大核心
2008年第4期1018-1022,共5页
-
基金
国家自然科学基金资助项目(60773170
60721002
+2 种基金
60473053)
国家863计划项目(2006AA01Z432)
江苏省自然科学基金资助项目(BK2005074)
-
文摘
根据高安全系统实现和评估的需要,提出基于形式化Z描述的测试用例生成方法,并据此实现了测试用例自动生成工具,可进行符合更改条件/判定覆盖准则的测试用例生成,以解决生成测试用例数量与质量间的取舍问题。与相关工作相比,可以降低形式化描述的要求,减少人工参与的成分,提高测试用例生成的有效性和效率。
-
关键词
安全评估
测试用例生成
形式化描述
更改条件判定覆盖
-
Keywords
security evaluation
testing-case generation
formal description
modified condition/decision coverage （mc/dc）
-
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
-
-
题名更改条件/判定覆盖最小真值表生成算法及其应用
被引量：8
- 4
-
-
作者
朱晓波
杨伟民
叶芯
-
机构
上海理工大学计算机工程学院
-
出处
《上海理工大学学报》
CAS
北大核心
2007年第1期84-88,共5页
-
文摘
研究了从一个布尔表达式生成最小真值表的算法,阐述了在覆盖测试工具中利用此算法辅助设计测试用例的应用问题,以此提高代码覆盖率.
-
关键词
结构测试
更改判定/条件覆盖
真值表
Pileatus工具
-
Keywords
structural testing
modified condition/decision coverage
truth-table
Pileatus tool
-
分类号
TP311.56
[自动化与计算机技术—计算机软件与理论]
-
-
题名修正的条件/判定覆盖分析工具评估与选择
- 5
-
-
作者
张卫民
孙军
-
机构
北京航天飞行控制中心
-
出处
《载人航天》
CSCD
2009年第3期40-43,53,共5页
-
文摘
使用工具进行修正的条件/判定覆盖(MC/DC)分析可以简化软件验证工作,但必须对候选的工具进行认真评估,确定每种工具的功能性和局限性,着重考虑的因素包括:监测语句的类型、在何处监测语句(源码还是目标码)、可监测的条件和判定的最大个数、确定独立影响所用的算法、关系运算符的处理、位运算符的处理、组合表达式的处理、单步逻辑运算的处理和插装影响等。
-
关键词
修正的条件/判定覆盖
覆盖分析工具
工具评估
-
Keywords
modified condition/decision coverage（mc/dc ）, coverage Analysis tool, Tool Evaluation
-
分类号
TP311.56
[自动化与计算机技术—计算机软件与理论]
-
