Automatic Transformation from Formal Specifications to Functional Scenario Forms for Automatic Test Case Generation

Authors:
Shaoying Liu;Toshinori Hayashi;Kazuhiro Takahashi;Koichiro Kimura;Toshihiro Nakayama;Shin Nakajima
Affiliations:
Hosei University;The Nippon Signal Co. Ltd.;The Nippon Signal Co. Ltd.;Hosei University;The Nippon Signal Co. Ltd.;NII, Japan
Venue:
Proceedings of the 2010 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the 9th SoMeT_10
Year:
2010

Citing 13
Cited 0

A Framework for Specification-Based Testing

IEEE Transactions on Software Engineering
Generating test data from SOFL specifications

Journal of Systems and Software
Automating Formal Specification-Based Testing

TAPSOFT '97 Proceedings of the 7th International Joint Conference CAAP/FASE on Theory and Practice of Software Development
Automating Test Case Generation from Z Specifications with Isabelle

ZUM '97 Proceedings of the 10th International Conference of Z Users on The Z Formal Specification Notation
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
TestEra: Specification-Based Testing of Java Programs Using SAT

Automated Software Engineering
Model-Based Testing of Reactive Systems: Advanced Lectures (Lecture Notes in Computer Science)

Model-Based Testing of Reactive Systems: Advanced Lectures (Lecture Notes in Computer Science)
Practical Model-Based Testing: A Tools Approach

Practical Model-Based Testing: A Tools Approach
A relation-based method combining functional and structural testing for test case generation

Journal of Systems and Software
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
Model-based testing of object-oriented reactive systems with spec explorer

Formal methods and testing
Testing data types implementations from algebraic specifications

Formal methods and testing
A Decompositional Approach to Automatic Test Case Generation Based on Formal Specifications

SSIRI '10 Proceedings of the 2010 Fourth International Conference on Secure Software Integration and Reliability Improvement

Quantified Score

Hi-index	0.00

Visualization

Abstract

Functional scenario-based test case generation is an important technique for specification-based testing and it can be fully automated. The vital first step of achieving the automation is automatic transformation from a formal specification into an equivalent functional scenario form from which all functional scenarios are derived. In this paper, we first explain the concepts of the functional scenario form and the functional scenario in the context of a VDM operation specification, and then discuss the techniques for the transformation implemented in a software tool we have built. The techniques for discussion include (1) transformation from compound expressions into predicate expressions, (2) transformation from quantified expressions into non-quantified expressions, (3) replacing implications and equivalences in predicate expressions, (4) transformation from predicate expressions into functional scenario forms, and (5) the derivation of the testing condition from a functional scenario for test case generation. Based on these transformations, the tool can also automatically produce test cases to meet required conditions.