Learn More
Test templates and a test template framework are introduced as useful concepts in specification-based testing The framework can be defined using any model-based specification notation and used to derive tests from model-based specifications-in this paper, it is demonstrated using the Z notation. The framework formally defines test data sets and their(More)
The merit of automatic graph layout algorithms is typically judged by their computational efficiency and the extent to which they conform to aesthetic criteria (for example, minimising the number of crossings, maximising orthogonality). Experiments investigating the worth of such algorithms from the point of view of human usability can take different forms,(More)
This paper proposes a conceptual framework for the reliability assessment of software components that incorporates test case execution and output evaluation. Determining an operational profile and test output evaluation are two difficult and important problems that must be addressed in such a framework. Determining an operational profile is difficult,(More)
Security protocols are often specified at the application layer ; however, application layer specifications give little detail regarding message data structures at the presentation layer upon which some implementation-dependent attacks rely. In this paper we present an approach to verifying security protocols in which both the application and presentation(More)
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.(More)