| 基于形式规格说明和分类树方法生成软件测试用例 |
| |
| 引用本文： | 朱连章,马桂真. 基于形式规格说明和分类树方法生成软件测试用例[J]. 微计算机应用, 2007, 28(4): 411-414 |
| |
| 作者姓名： | 朱连章 马桂真 |
| |
| 作者单位： | 中国石油大学(华东)计算机与通信工程学院,东营,257061 |
| |
| 摘 要： | 介绍了一种基于形式规格说明和分类树方法生成软件测试用例的方法。由软件的形式规格说明构造分类树，再把由分类树方法得到的测试用例转化为析取范式，进一步精炼测试用例。并通过一个实例说明测试用例的设计过程。
|
| 关 键 词： | 测试用例 规格说明 分类树方法 |
| 修稿时间： | 2005-10-312005-12-05 |
Test Case Design Based on Formal Specification and Classification-tree Method |
| |
| ZHU Lianzhang,MA Guizhen. Test Case Design Based on Formal Specification and Classification-tree Method[J]. Microcomputer Applications, 2007, 28(4): 411-414 |
| |
| Authors: | ZHU Lianzhang MA Guizhen |
| |
| Affiliation: | Department of Computer and Communication Engineering , China University of Petroleum, Dongying, 257061, China |
| |
| Abstract: | 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. |
| |
| Keywords: | test ease formal specification classification - tree method |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
