| 结构化面向对象形式规格说明语言OOZS——规格说明测试 |
| |
| 引用本文： | 李刚 朱关铭. 结构化面向对象形式规格说明语言OOZS——规格说明测试[J]. 上海大学学报(自然科学版), 1998, 4(4): 429-435 |
| |
| 作者姓名： | 李刚 朱关铭 |
| |
| 作者单位： | 上海大学计算机工程与科学学院 |
| |
| 基金项目： | 上海市高校科技发展基金资助课题 |
| |
| 摘 要： | 自动或半自动实现面向对象形式规格说明的测试不但要求相应的规格说明语言具有严格的形式语义，而且要求使用人员具有较深的数学基础，从而最终影响了面向对象规格说明测试的研究。本文提出了一种测试方法，该方法通过构造测试用例对面向对象形式规格说明的各种特性进行检验，可以较容易地发现形式规格说明中的不一致、不完整之处。
|
| 关 键 词： | OOZS 面向对象 软件测试 规格说明测试 |
The Completeness and Consistence Testing Method of OOZS Specification |
| |
| Li Gang Zhu Guanming Tong Fu. The Completeness and Consistence Testing Method of OOZS Specification[J]. Journal of Shanghai University(Natural Science), 1998, 4(4): 429-435 |
| |
| Authors: | Li Gang Zhu Guanming Tong Fu |
| |
| Abstract: | The difficulties in checking object-oriented formal specifications include two aspects. One is that the semantics of object-oriented specification language is still improving, and the other is that the use of formal reasoning supporting tools usually requires a very high level of mathematics skill for software developers. This paper proposes an object-oriented formal specification testing method which can detect those inconsistence and incompleteness errors in specifications. The main task involved in our approach is to construct a minimal set of such testing cases that has the maximum coverage of all possible situations and check whether the property of specification is satisfied. |
| |
| Keywords: | OOZS object-oriented software testing testing case |
| 本文献已被 CNKI 维普 等数据库收录！ |
