The Z notation: a reference manual
The Z notation: a reference manual
Automatic generation of test scripts from formal test specifications
TAV3 Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification
Advances in computers
Orthogonal Defect Classification-A Concept for In-Process Measurements
IEEE Transactions on Software Engineering - Special issue on software measurement principles, techniques, and environments
Structural specification-based testing with ADL
ISSTA '96 Proceedings of the 1996 ACM SIGSOFT international symposium on Software testing and analysis
The AETG System: An Approach to Testing Based on Combinatorial Design
IEEE Transactions on Software Engineering
The object constraint language: precise modeling with UML
The object constraint language: precise modeling with UML
Specification-based testing of reactive software: a case study in technology transfer
Journal of Systems and Software - Special issue on formal methods technology transfer
Art of Software Testing
Protocol Verification as a Hardware Design Aid
ICCD '92 Proceedings of the 1991 IEEE International Conference on Computer Design on VLSI in Computer & Processors
Proceedings of the 2003 ACM symposium on Applied computing
Substra: a framework for automatic generation of integration tests
Proceedings of the 2006 international workshop on Automation of software test
Software debugging, testing, and verification
IBM Systems Journal
Using a model-based test generator to test for standard conformance
IBM Systems Journal
Hi-index | 0.00 |
Automation of test design during function testing phase is essential both to reduce the substantial cost of testing and to improve the delivered software reliability. We argue for a model-based approach specifically designed from test perspective to automate test design. We describe features of Specification and Abstraction Language for Testing (SALT) environment, which embodies this perspective. SALT allows testers to capture relationships among partitions of input and output variables for a function under test. Tester can also specify (potential) up dates to context, which result from the function invocation. This context enables generation of sequences of function invocations with expected outputs. These test specification along with a fault model allow generation of an optimized set of test variations. We describe an example to illustrate SALT usage and report results of our pilot study using SALT.