【摘要】 根据高安全系统实现和评估的需要,提出基于形式化Z描述的测试用例生成方法,并据此实现了测试用例自动生成工具,可进行符合更改条件/判定覆盖准则的测试用例生成,以解决生成测试用例数量与质量间的取舍问题。与相关工作相比,可以降低形式化描述的要求,减少人工参与的成分,提高测试用例生成的有效性和效率。更多还原

【Abstract】 According to the requirements of validating higher secure systems,an approach to generate testing cases based on Z formal descriptions was proposed.With this approach,a testing case generator was implemented,which could produce testing cases with MC/DC(modified condition/decision coverage)criterion to balance the quantity and quality of the produced testing cases.Compared with related work,this approach can reduce the manual interferences and the requirements in designing the formal specification,and improve the accuracy and efficiency of testing-case generation.更多还原