论文部分内容阅读
基于形式化描述的验证测试是高安全系统的有效评估方法，而如何生成测试案例是基于形式化测试中的关键问题。针对形式化方法生成测试案例的不足，在分析形式化描述语言Z结构特点的基础上，提出了一种基于形式化描述的测试案例生成方法。从分析Z语言描述的输入空间、前置条件和后置条件出发，对前置条件适当重写，然后根据前置条件利用更改的判定条件覆盖准则来生成测试案例集，该方法引入了控制流覆盖准则，克服了经验方法输入空间划分不完整的缺点，降低了形式化描述的难度，并可以使测试案例生成过程自动化。