| A Specification—Based Case Study from Test Class Framework |
| |
| 引用本文： | 刘玲,缪淮扣.A Specification—Based Case Study from Test Class Framework[J].上海大学学报(英文版),2001,5(3):205-210. |
| |
| 作者姓名： | 刘玲 缪淮扣 |
| |
| 作者单位： | SchoolofComputerEngineeringandScience,ShanghaiUniversity,Shanghai,200072,China |
| |
| 基金项目： | theNationalNaturalScienceFoundationofChina( 6 97730 38)，AmericanAppliedMaterialFoundation |
| |
| 摘 要： | Testing is a standard method for verification of software performance.Producing efficinet and appropriate test case is an important aspect in testing.Specification-based testing presents a method to derive test data from software specification.Because of the precision and concision of specification.the test data derived from specification can test the software efficiently and entirely.This paper demonstrates a test class framework(TCF) on a file reading case study,specifiec using Z notation,This class framework defines test case sets,providing structure to the testing process.Flexbility is preserved so that many testing strategies can be used.
|
| 关 键 词： | 软件 软件性能 标准检测方法 |
A specification-based case study from test class framework |
| |
| Ling Liu Ph. D.Candidate,Huai-kou Miao.A specification-based case study from test class framework[J].Journal of Shanghai University(English Edition),2001,5(3):205-210. |
| |
| Authors: | Ling Liu Ph DCandidate Huai-kou Miao |
| |
| Institution: | School of Computer Engineering and Science, Shanghai University, |
| |
| Abstract: | Testing is a standard method for verification of software performance. Producing efficient and appropriate test case is an important aspect in testing. Specification based testing presents a method to derive test data from software specification. Because of the precision and concision of specification, the test data derived from specification can test the software efficiently and entirely. This paper demonstrates a test class framework(TCF) on a file reading case study, specified using Z notation. This test class framework defines test case sets, providing structure to the testing process. Flexibility is preserved so that many testing strategies can be used. |
| |
| Keywords: | test class framework (TCF) test case testing strategy test class (TC) test hierarchy test state space (TSS) Z schema |
| 本文献已被 CNKI 维普 万方数据 SpringerLink 等数据库收录！ |
