Using Formal Specifications to Support Model Based Testing ASDSpec: A Tool Combining the Best of Two Techniques
Formal methods and testing are two important approaches that assist in the development of high quality software. For long time these approaches have been seen as competitors and there was very little interaction between the two communities. In recent years a new consensus has developed in which they...
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Open Publishing Association
2014-03-01
|
| Series: | Electronic Proceedings in Theoretical Computer Science |
| Online Access: | http://arxiv.org/pdf/1403.7257v1 |
| _version_ | 1811292736080314368 |
|---|---|
| author | A.P. van der Meer R. Kherrazi M. Hamilton |
| author_facet | A.P. van der Meer R. Kherrazi M. Hamilton |
| author_sort | A.P. van der Meer |
| collection | DOAJ |
| description | Formal methods and testing are two important approaches that assist in the development of high quality software. For long time these approaches have been seen as competitors and there was very little interaction between the two communities. In recent years a new consensus has developed in which they are seen as more complementary. In this report we present an approach based on the ASD(Analytical Software Design) suite by Verum and the Microsoft Spec Explorer Model Based Testing(MBT) tool. ASD is a model-based design approach that can produce verified software components that can be combined into complete systems. However, ASD cannot verify existing components, nor complex component interactions involving data transfers. We have developed a tool that allows us to convert ASD models to Spec Explorer, allowing us to do more complete verification of software systems using dynamic testing at little additional cost and effort. We demonstrate this by applying our approach to an industrial-size case study. |
| first_indexed | 2024-04-13T04:50:45Z |
| format | Article |
| id | doaj.art-7d98c94ffa674d028b2bc5784895db48 |
| institution | Directory Open Access Journal |
| issn | 2075-2180 |
| language | English |
| last_indexed | 2024-04-13T04:50:45Z |
| publishDate | 2014-03-01 |
| publisher | Open Publishing Association |
| record_format | Article |
| series | Electronic Proceedings in Theoretical Computer Science |
| spelling | doaj.art-7d98c94ffa674d028b2bc5784895db482022-12-22T03:01:41ZengOpen Publishing AssociationElectronic Proceedings in Theoretical Computer Science2075-21802014-03-01141Proc. MBT 201411310.4204/EPTCS.141.1:1Using Formal Specifications to Support Model Based Testing ASDSpec: A Tool Combining the Best of Two TechniquesA.P. van der Meer0R. Kherrazi1M. Hamilton2 Nspyre Nspyre Nspyre Formal methods and testing are two important approaches that assist in the development of high quality software. For long time these approaches have been seen as competitors and there was very little interaction between the two communities. In recent years a new consensus has developed in which they are seen as more complementary. In this report we present an approach based on the ASD(Analytical Software Design) suite by Verum and the Microsoft Spec Explorer Model Based Testing(MBT) tool. ASD is a model-based design approach that can produce verified software components that can be combined into complete systems. However, ASD cannot verify existing components, nor complex component interactions involving data transfers. We have developed a tool that allows us to convert ASD models to Spec Explorer, allowing us to do more complete verification of software systems using dynamic testing at little additional cost and effort. We demonstrate this by applying our approach to an industrial-size case study.http://arxiv.org/pdf/1403.7257v1 |
| spellingShingle | A.P. van der Meer R. Kherrazi M. Hamilton Using Formal Specifications to Support Model Based Testing ASDSpec: A Tool Combining the Best of Two Techniques Electronic Proceedings in Theoretical Computer Science |
| title | Using Formal Specifications to Support Model Based Testing ASDSpec: A Tool Combining the Best of Two Techniques |
| title_full | Using Formal Specifications to Support Model Based Testing ASDSpec: A Tool Combining the Best of Two Techniques |
| title_fullStr | Using Formal Specifications to Support Model Based Testing ASDSpec: A Tool Combining the Best of Two Techniques |
| title_full_unstemmed | Using Formal Specifications to Support Model Based Testing ASDSpec: A Tool Combining the Best of Two Techniques |
| title_short | Using Formal Specifications to Support Model Based Testing ASDSpec: A Tool Combining the Best of Two Techniques |
| title_sort | using formal specifications to support model based testing asdspec a tool combining the best of two techniques |
| url | http://arxiv.org/pdf/1403.7257v1 |
| work_keys_str_mv | AT apvandermeer usingformalspecificationstosupportmodelbasedtestingasdspecatoolcombiningthebestoftwotechniques AT rkherrazi usingformalspecificationstosupportmodelbasedtestingasdspecatoolcombiningthebestoftwotechniques AT mhamilton usingformalspecificationstosupportmodelbasedtestingasdspecatoolcombiningthebestoftwotechniques |