Software testing based on formal specifications: a theory and a tool
Software Engineering Journal
Using Z: specification, refinement, and proof
Using Z: specification, refinement, and proof
A Framework for Specification-Based Testing
IEEE Transactions on Software Engineering
Model-based testing in practice
Proceedings of the 21st international conference on Software engineering
Generating test data from SOFL specifications
Journal of Systems and Software
Translating Object-Z Specifications to Passive Test Oracles
ICFEM '98 Proceedings of the Second IEEE International Conference on Formal Engineering Methods
A Review Approach to Detecting Structural Consistency Violations in Programs
Proceedings of the Fourth Annual ACIS International Conference on Computer and Information Science
An automated approach to specification-based program inspection
ICFEM'05 Proceedings of the 7th international conference on Formal Methods and Software Engineering
An approach to integration testing based on data flow specifications
ICTAC'04 Proceedings of the First international conference on Theoretical Aspects of Computing
A Unified Model Checking Approach with Projection Temporal Logic
ICFEM '08 Proceedings of the 10th International Conference on Formal Methods and Software Engineering
Complexity of propositional projection temporal logic with star†
Mathematical Structures in Computer Science
Integrating specification-based review and testing for detecting errors in programs
ICFEM'07 Proceedings of the formal engineering methods 9th international conference on Formal methods and software engineering
Proceedings of the 2010 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the 9th SoMeT_10
An experimental assessment of module documentation-based testing
Information and Software Technology
An overview on test generation from functional requirements
Journal of Systems and Software
Cellular-genetic test data generation
ACM SIGSOFT Software Engineering Notes
Artificial life and cellular automata based automated test case generator
ACM SIGSOFT Software Engineering Notes
Hi-index | 0.00 |
Specification-based (or functional) testing enables us to detect errors in the implementation of functions defined in specifications, but since specifications are often incomplete in practice for some reasons (e.g., lack of ideas, no time to write), it is unlikely to be sufficient for testing all parts of corresponding programs. On the other hand, implementation-based (or structural) testing focuses on the examination of program structures, which allows us to test all parts of the programs, but may not be effective to show whether the programs properly implement the corresponding specifications. To perform a comprehensive testing of a program in practice, it is important to adopt both specification-based and implementation-based testing. In this paper we describe a relation-based test method that combines the specification-based and the implementation-based testing approaches. We establish a set of relations for test case generation, illustrate how the method is used with an example, and investigate the effectiveness and weakness of the method through an experiment on testing a software tool system.