Statecharts: A visual formalism for complex systems
Science of Computer Programming
Object-oriented software engineering
Object-oriented software engineering
Designing object systems: object-oriented modelling with Syntropy
Designing object systems: object-oriented modelling with Syntropy
Art of Software Testing
Iterative design and testing within the software development life cycle
Software Quality Control
An Automatic Test Case Generator Derived from State-Based Testing
APSEC '98 Proceedings of the Fifth Asia Pacific Software Engineering Conference
TOOLS '97 Proceedings of the Technology of Object-Oriented Languages and Systems-Tools - 24
Hi-index | 0.00 |
Extensive test data is required to demonstrate that “few” errors exist in software. If the process of software testing could be carried out automatically, testing efficiency would increase and the cost of software development would be significantly reduced. In this paper, a tool for detecting errors in object oriented classes is proposed. The approach uses a state‐based testing method. The method utilises state machines in order to produce threaded multi‐way trees, which are referred to as inspection trees. Inspection trees can be used to generate test cases and parse test results files. This allows us to determine whether the classes under test contain errors. The algorithms for the creation of inspection trees and the examination of the test results file using an inspection tree are described in the paper.