摘要
介绍了一种基于形式规格说明和分类树方法生成软件测试用例的方法。由软件的形式规格说明构造分类树,再把由分类树方法得到的测试用例转化为析取范式,进一步精炼测试用例。并通过一个实例说明测试用例的设计过程。
An approach for generating test cases from formal specification and the classification - tree method is presented . Firstly, a classification - tree is constructed based on specification of the test object, and then test cases obtained from the classification - tree are refined by generating a disjunctive normal form. An example to describe the process of this designing test cases is also given in the paper.
出处
《微计算机应用》
2007年第4期411-414,共4页
Microcomputer Applications
关键词
测试用例
规格说明
分类树方法
test ease, formal specification, classification - tree method
