Software testing based on formal specifications: a theory and a tool
Software Engineering Journal
Precise Documentation of Well-Structured Programs
IEEE Transactions on Software Engineering
A Framework for Specification-Based Testing
IEEE Transactions on Software Engineering
Generating test data from SOFL specifications
Journal of Systems and Software
Software Inspection: An Industry Best Practice for Defect Detection and Removal
Software Inspection: An Industry Best Practice for Defect Detection and Removal
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
A framework and tool support for the systematic testing of model-based specifications
ACM Transactions on Software Engineering and Methodology (TOSEM)
Formal Engineering for Industrial Software Development
Formal Engineering for Industrial Software Development
A Tool and Case Study for Specification-Based Program Review
COMPSAC '05 Proceedings of the 29th Annual International Computer Software and Applications Conference - Volume 01
An automated approach to specification animation for validation
Journal of Systems and Software
A relation-based method combining functional and structural testing for test case generation
Journal of Systems and Software
An automated approach to specification-based program inspection
ICFEM'05 Proceedings of the 7th 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
A systematic mapping study on the combination of static and dynamic quality assurance techniques
Information and Software Technology
Integrating prototyping into the SOFL three-step modeling approach
ICFEM'11 Proceedings of the 13th international conference on Formal methods and software engineering
Hi-index | 0.00 |
Review and testing are the most practical verification techniques that complement each other, and their effectiveness can be enhanced by utilizing formal specifications. In this paper, we describe a verification method that integrates specification-based review and testing for detecting errors of programs in three phases. First, inspection is used to check whether all the relevant conditions defined in a specification are implemented in the corresponding program and whether there are any errors that may prevent the program from normal termination. Second, testing is carried out to detect errors through dynamic executions of the program and to build a useful relation between the specification and the program. Finally, walk through analysis is performed to check whether every functional scenario defined in the specification is correctly implemented by the traversed execution paths in the program and whether any untraversed paths exist and are desired. We present an example to show how our method is applied in practice.