-
题名面向航空软件需求模型的MC/DC测试用例生成方法
被引量：1
- 1
-
-
作者
丁鼎
胡军
王康星
董泽华
王立松
-
机构
南京航空航天大学
-
出处
《小型微型计算机系统》
北大核心
2025年第7期1783-1792,共10页
-
基金
国家自然科学基金项目(U2241216)资助。
-
文摘
充分的测试是确保现代航空软件正常运行的必要环节,而传统软件测试方法往往难以满足要求.为此,本文设计了一种面向航空软件领域的测试用例自动生成方法,为自然语言描述下的航空软件需求构建变量关系模型,解析其模型语义创建需求语义树,根据安全关键等级选取测试路径、生成不同的覆盖集.为缓解条件互相关联而可能导致修改的条件/判定覆盖失效的问题,本文定义了适用于该需求模型的耦合条件判断及约束准则,提出3种修改的条件/判定覆盖形式并给出相应的覆盖集生成方法;基于覆盖集所确定的等价类和边界,设计了合理有效的测试用例选取策略,自动生成测试用例集.最后,对一个航空软件需求实例进行形式化建模和测试用例生成,证明了上述方法的可行性.
-
关键词
测试用例生成
修改的条件/判定覆盖
基于需求的测试
形式化需求建模
-
Keywords
test case generation
modified condition/decision coverage
requirements-based testing
formal requirement modelling
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
