Abstract | ||
---|---|---|
This paper describes a rigorous method that investigates the suitability of formal specifications written in Object-Z specification language for testing object-oriented software implementation in a black-box fashion. The insight gained in the formalization of a model, the inherent abstractions, and formally specified intended behaviours and exceptions lead to the generation of test templates that are free from any implementation bias. The method described in this paper is an extension of the one proposed by Storks and Carrington. In particular, the focus of the paper is on generating test templates for composite operations in an Object-Z specification. The method is illustrated using the specification for an electronic mail system. The specification and the test templates generated for the electronic mail system show several interesting properties of the application that require considerable attention during testing. Copyright (C) 2001 John Wiley & Sons, Ltd. |
Year | DOI | Venue |
---|---|---|
2001 | 10.1002/stvr.210.abs | SOFTWARE TESTING VERIFICATION & RELIABILITY |
Keywords | Field | DocType |
specification-based testing,testing composite operations,object-oriented formal specification,Object-Z,test templates generation | Specification language,Programming language,Abstraction,Object-oriented programming,Software engineering,Computer science,Formal specification,Language Of Temporal Ordering Specification,Template,Software implementation,Object-Z | Journal |
Volume | Issue | ISSN |
11.0 | 1 | 0960-0833 |
Citations | PageRank | References |
2 | 0.51 | 17 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Kasilingam Periyasamy | 1 | 5 | 1.97 |
Vangalur S. Alagar | 2 | 164 | 39.10 |