Automated Generation of High Integrity Test Suites from Graphical Specifications
Simon Burton, York Univ. (United Kingdom). Dept. of Computer Science · 2002
There is a strong need to ensure that the software controlling safety--critical systems is of the highest possible integrity. Present approaches to achieving this integrity through Verification and Validation (V&V) are expensive and predominantly reliant on manual processes. Techniques that have been proposed to improve the V&V of safety--critical systems -- formal methods, graphical specifications and automated testing -- do not fully address the needs of the industry. Formal methods have still to gain widespread use, graphical specifications are generally not well supported by rigorous V&V techniques and automation has not yet successfully addressed the problem of specification--based test design in a rigorous yet flexible manner.