Loading...
Please wait, while we are loading the content...
Testing java implementations of algebraic specifications.
| Content Provider | CiteSeerX |
|---|---|
| Author | Nunes, Isabel Luís, Filipe |
| Abstract | In this paper we focus on exploiting a specification and the structures that satisfy it, to obtain a means of comparing implemented and expected behaviours and find the origin of faults in implementations. We present an approach to the creation of tests that are based on those specification-compliant structures, and to the interpretation of those tests ’ results leading to the discovery of the method responsible for an eventual test failure. Results of comparative experiments with a tool implementing this approach are presented. 1 |
| File Format | |
| Access Restriction | Open |
| Subject Keyword | Java Implementation Algebraic Specification Specification-compliant Structure Eventual Test Failure Test Result Comparative Experiment |
| Content Type | Text |
| Resource Type | Article |
