面向航空软件需求模型的MC/DC测试用例生成方法

摘要

充分的测试是确保现代航空软件正常运行的必要环节，而传统软件测试方法往往难以满足要求.为此，本文设计了一种面向航空软件领域的测试用例自动生成方法，为自然语言描述下的航空软件需求构建变量关系模型，解析其模型语义创建需求语义树，根据安全关键等级选取测试路径、生成不同的覆盖集.为缓解条件互相关联而可能导致修改的条件/判定覆盖失效的问题，本文定义了适用于该需求模型的耦合条件判断及约束准则，提出3种修改的条件/判定覆盖形式并给出相应的覆盖集生成方法；基于覆盖集所确定的等价类和边界，设计了合理有效的测试用例选取策略，自动生成测试用例集.最后，对一个航空软件需求实例进行形式化建模和测试用例生成，证明了上述方法的可行性.

关键词

测试用例生成 / 修改的条件/判定覆盖 / 基于需求的测试 / 形式化需求建模