Testing against formal specifications: a theoretical view
TAPSOFT '91 Proceedings of the international joint conference on theory and practice of software development on Advances in distributed computing (ADC) and colloquium on combining paradigms for software development (CCPSD): Vol. 2
Software testing based on formal specifications: a theory and a tool
Software Engineering Journal
Proof systems for structured specifications with observability operators
Theoretical Computer Science - Special issue: algebraic development techniques
QuickCheck: a lightweight tool for random testing of Haskell programs
ICFP '00 Proceedings of the fifth ACM SIGPLAN international conference on Functional programming
Dynamic Testing from Bounded Data Type Specifications
EDCC-2 Proceedings of the Second European Dependable Computing Conference on Dependable Computing
Formal Specifications and Test: Correctness and Oracle
Selected papers from the 11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop on Recent Trends in Data Type Specification
On Oracles for Interpreting Test Results against Algebraic Specifications
AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology
Testing from Structured Algebraic Specifications
AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
Confirming configurations in EFSM
FORTE XII / PSTV XIX '99 Proceedings of the IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XII) and Protocol Specification, Testing and Verification (PSTV XIX)
TAPSOFT '95 Proceedings of the 6th International Joint Conference CAAP/FASE on Theory and Practice of Software Development
LOFT: A Tool for Assisting Selection of Test Data Sets from Algebraic Specifications
TAPSOFT '95 Proceedings of the 6th International Joint Conference CAAP/FASE on Theory and Practice of Software Development
Automating the Generation and Sequencing of Test Cases from Model-Based Specifications
FME '93 Proceedings of the First International Symposium of Formal Methods Europe on Industrial-Strength Formal Methods
An Approach to Symbolic Test Generation
IFM '00 Proceedings of the Second International Conference on Integrated Formal Methods
Unit Testing for C88 ASL Architectural Specifications
MFCS '02 Proceedings of the 27th International Symposium on Mathematical Foundations of Computer Science
Casl Reference Manual: The Complete Documentation Of The Common Algebraic Specification Language (LECTURE NOTES IN COMPUTER SCIENCE)
Proof-Guided Testing: An Experimental Study
COMPSAC '04 Proceedings of the 28th Annual International Computer Software and Applications Conference - Volume 01
International Journal on Software Tools for Technology Transfer (STTT) - Special section on high-level test of complex systems
GAST: generic automated software testing
IFL'02 Proceedings of the 14th international conference on Implementation of functional languages
Test selection criteria for quantifier-free first-order specifications
FSEN'07 Proceedings of the 2007 international conference on Fundamentals of software engineering
Functional testing in the focal environment
TAP'08 Proceedings of the 2nd international conference on Tests and proofs
Testing data types implementations from algebraic specifications
Formal methods and testing
Symbolic execution techniques for test purpose definition
TestCom'06 Proceedings of the 18th IFIP TC6/WG6.1 international conference on Testing of Communicating Systems
Test generation based on symbolic specifications
FATES'04 Proceedings of the 4th international conference on Formal Approaches to Software Testing
Symbolic test case generation for primitive recursive functions
FATES'04 Proceedings of the 4th international conference on Formal Approaches to Software Testing
Testing from algebraic specifications: test data set selection by unfolding axioms
FATES'05 Proceedings of the 5th international conference on Formal Approaches to Software Testing
Integration Testing from Structured First-Order Specifications via Deduction Modulo
ICTAC '09 Proceedings of the 6th International Colloquium on Theoretical Aspects of Computing
Hi-index | 0.00 |
This paper deals with test case selection from axiomatic specifications whose axioms are quantifier-free first-order formulas with equality. We first prove the existence of an ideal exhaustive test set to start the selection from. We then propose an extension of the test selection method called axiom unfolding, originally defined for algebraic specifications, to quantifier-free first-order specifications with equality. This method basically consists of a case analysis of the property under test (the test purpose) according to the specification axioms. It is based on a proof search for the different instances of the test purpose. Since the calculus is sound and complete, this allows us to provide a full coverage of this property. The generalisation we propose allows to deal with any kind of predicate (not only equality) and with any form of axiom and test purpose (not only equations or Horn clauses). Moreover, it improves our previous works with efficiently dealing with the equality predicate, thanks to the paramodulation rule.