| Autor: |
Zhiming Liu, Araki, Keijiro, Yuting Chen, Shaoying Liu, Nagoya, Fumiko |
| Zdroj: |
Theoretical Aspects of Computing - ICTAC 2004; 2005, p235-249, 15p |
| Abstrakt: |
Integration testing of programs based on formal specifications can benefit considerably from the comprehensibility of specifications. In this paper, we describe an approach to testing programs based on data-flow-oriented specifications by analyzing data flow paths and discussing criteria for test case generation. This approach suggests a specific way to generate test cases directly from formalized data flow diagrams and the associated textual specifications. We apply the approach in a case study of testing part of an ATM system to evaluate its effectiveness in fault detection and to uncover its weakness for further improvement. Keywords: data flow diagrams, specification-based testing, SOFL, test cases generation. [ABSTRACT FROM AUTHOR] |
| Databáze: |
Supplemental Index |
| Externí odkaz: |
|
