| 一个形式化基于规格说明类测试的方法 |
| |
| 引用本文： | 缪淮扣,刘玲.一个形式化基于规格说明类测试的方法[J].上海大学学报(英文版),2006,10(1):25-32. |
| |
| 作者姓名： | 缪淮扣 刘玲 |
| |
| 作者单位： | School of Computer Engineering and Science Shanghai University Shanghai 200072 P. R. China，School of Computer Engineering and Science Shanghai University Shanghai 200072 P. R. China |
| |
| 基金项目： | ProjectsupportedbyNationalNaturalScienceFoundationofChina(GrantNo.60373072),andNationalBasicResearchPro-gramofChina(GrantNo.973-2002CB312001) |
| |
| 摘 要： | 1IntroductionSoftwaretesting means a process of analyzing a soft-ware item to detect the difference between existingand required conditions,that is,bugs,and to evaluatefeatures of the software item.It accounts for a largepart in the cost of software development andmaintenance1].In order to reduce its cost,there hasbeen much research on automating this work.It in-cludes automating test case generation,test-driving,regression testing and testing process management.Usually,the way of testing so…
|
| 关 键 词： | 软件测试 分类测试 有限自动机 测试分级结构 软件需求 |
| 文章编号： | 1007-6417（2006）01-0025-08 |
| 收稿时间： | 2005-09-01 |
An approach to formalizing specification-based class testing |
| |
| Huai-kou Miao,Ling Liu.An approach to formalizing specification-based class testing[J].Journal of Shanghai University(English Edition),2006,10(1):25-32. |
| |
| Authors: | Huai-kou Miao Ling Liu |
| |
| Institution: | School of Computer Engineering and Science, Shanghai University, Shanghai 200072, P. R . China |
| |
| Abstract: | This paper presents a framework that can be used to formalize the specification-based single-class test generation process. Object-Z is used to describe both software requirements and the proposed framework. Using this framework, test engineers can automatically get the testing process model during the test generation process. With this model, properties of test cases (such as relationship between test cases and methods can easily be captured. Furthermore, with the framework, the test process model can be updated automatically with the test generation process. The properties of test cases can then be updated correspondingly. It will greatly facilitate the regression testing. The main contribution of this paper is that it provides an approach to formalizing testing process by extending existing framework to class testing, and a way to represent test cases as multi-part, multi-step, multi-level artifacts. |
| |
| Keywords: | test class framework class testing finite state machine (FSM) Object-Z |
| 本文献已被 CNKI 维普 万方数据 SpringerLink 等数据库收录！ |
