A rigorous approach towards test case generation |
| |
Authors: | Zuohua Ding Kao Zhang Jueliang Hu |
| |
Affiliation: | aCenter of Math Computing and Software Engineering, Zhejiang Sci-Tech University, Xiasha College Park, Hangzhou 310018, PR China;bNational Institute for Systems Test and Productivity, University of South Florida, Tampa, FL 33620, USA |
| |
Abstract: | This paper presents a method to generate test cases for sequential programs and concurrent programs written in a flow based program language. Test cases of sequential programs are generated based on condition calculation, and can be combined together to form SYN-sequences for concurrent program testing. Semantics of the language provides an infrastructure for the test case generation, and thus our method may be considered as a rigorous and systematic approach to the program testing. Compared with some formal testing methods, our method can avoid hitting state explosion problem in the test formation. Besides, the complexity analysis reveals that our method is time saving. Our method has been applied to generate test cases for PPP over ATM, a subsystem of IAD that runs data and voice over DSL. |
| |
Keywords: | Software testing Sequential programs Concurrent programs Condition calculation SYN-sequence |
本文献已被 ScienceDirect 等数据库收录! |
|