基于形式规格说明和分类树方法生成软件测试用例  

Test Case Design Based on Formal Specification and Classification-tree Method

作　　者：朱连章[1] 马桂真[1] 

机构地区：[1]中国石油大学(华东)计算机与通信工程学院,东营257061

出　　处：《微计算机应用》2007年第4期411-414,共4页Microcomputer Applications

摘　　要：介绍了一种基于形式规格说明和分类树方法生成软件测试用例的方法。由软件的形式规格说明构造分类树,再把由分类树方法得到的测试用例转化为析取范式,进一步精炼测试用例。并通过一个实例说明测试用例的设计过程。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.

关 键 词：测试用例 规格说明 分类树方法 

分 类 号：TP311.52[自动化与计算机技术—计算机软件与理论]