Tinman -a Test Derivation and Management Tool for Speciication-based Class Testing Tinman -a Test Derivation and Management Tool for Speciication-based Class Testing
نویسندگان
چکیده
Even with increasing use of formal methods for software development, software testing continues to be a dominant technique for veriication and validation. With speciication-based testing, the precision of formal speciications can make the testing more systematic. This paper describes a tool to assist the derivation of test cases from Object-Z speciications. The tool supports the Test Template Framework and manages the testing information for the user. Management of the generated testing information is regarded as a high priority and is one of the tool's features. The tool is demonstrated on a simple example to indicate its core functionality.
منابع مشابه
TinMan - A Test Derivation and Management Tool for Specification-Based Class Testing
Even with increasing use of formal methods for software development, software testing continues to be a dominant technique for veriication and validation. With speciication-based testing, the precision of formal speciications can make the testing more systematic. This paper describes a tool to assist the derivation of test cases from Object-Z speciications. The tool supports the Test Template F...
متن کاملSpeciication-based Class Testing: a Case Study Speciication-based Class Testing: a Case Study
This paper contains a case study demonstrating a complete process for speciication-based class testing. The process starts with an abstract speciication written in Object-Z and concludes by exercising an implementation with test cases and evaluating the results. The test cases are derived using the Test Template Framework for each individual operation. They are analysed to generate a nite state...
متن کاملFormal Derivation of Finite State Machines for Class Testing
Previous work on generating state machines for the purpose of class testing has not been formally based. There has also been work on deriving state machines from formal speciications for testing non-object-oriented software. We build on this work by presenting a method for deriving a state machine for testing purposes from a formal speciication of the class under test. We also show how the resu...
متن کاملFault Classes and Error Detection Capability of Speciication Based Testing
Some varieties of speciication based testing rely upon methods for generating test cases from predicates in a software speciication 1] 2] 3] 4] 5] 6] 7]. These methods derive various test conditions from logic expressions, with the aim of detecting diierent types of faults. Some authors have presented empirical results on the ability of speciication based test generation methods to detect failu...
متن کاملMATIS : a case study on speci cation - based testing
Interactive systems can be analysed and developed in terms of functionality, presentation and behaviour. In this paper we demonstrate how testing information for interactive systems can be derived from formal speciications of these aspects. The paper uses the Multi-modal Airline Travel Information System (MATIS) speciication of Duke and Harrison. Their speciication considers these aspects separ...
متن کامل