The Library
Mutation testing based evaluation of formal verification tools
Tools
Tools
Tools
Chakrapani Rao, Arun, Raouf, A, Dhadyalla, Gunwant and Pasupuleti, Vijay S. (2018) Mutation testing based evaluation of formal verification tools. In: Fourth International Conference on Dependable Systems and Their Applications, Beijing, 31 Oct - 01 Nov 2017. Published in: 2017 International Conference on Dependable Systems and Their Applications (DSA) ISBN 9781538636916. doi:10.1109/DSA.2017.10
Research output not available from this repository.
Request-a-Copy directly from author or use local Library Get it For Me service.
Official URL: https://doi.org/10.1109/DSA.2017.10
Abstract
Model based development is the standard in most of today’s systems engineering processes within the automotive industry. Testing is predominantly used to verify and validate the functionality of the automotive embedded software-intensive systems. Formal verification (FV) based on model-checking promises rigor compared to traditional testing, because it is exhaustive in nature. Mutation testing is the method of inducing defects into the design to assess the quality of a test-suite. In this paper, we propose and present a new mutation testing based process to assess FV tools. Majority of this work was accomplished during the UK’s Advanced Manufacturing Supply Chain Initiative (AMSCII) funded Proving Integrity of Complex Automotive Systems of Systems (PICASSOS) project. To demonstrate our approach, we have utilized an advanced design process involving specific FV tools (General Technology Validation (GTV) and Simulink Design Verifier (SLDV)), to detect defects in (Simulink/Stateflow based) software specifications. The case-study examples involve applications across automotive and aerospace industry domains. The defects in specifications are induced mutations drawn from a set of known defects gathered from literature. Results from experiments indicate that mutation testing is an effective testing technique not only to improve test-suites in any testing effort, e.g., for the emerging Connected and Autonomous Vehicles (CAVs) within the automotive industry, but also to assess whether FV tools help testers identify defects effectively with confidence. In addition, the mutation testing technique has the potential to help identify any subtle differences between various FV tools.
| Item Type: | Conference Item (Paper) | ||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|
| Divisions: | Faculty of Science, Engineering and Medicine > Engineering > WMG (Formerly the Warwick Manufacturing Group) | ||||||||||
| Journal or Publication Title: | 2017 International Conference on Dependable Systems and Their Applications (DSA) | ||||||||||
| Publisher: | IEEE | ||||||||||
| ISBN: | 9781538636916 | ||||||||||
| Official Date: | 25 January 2018 | ||||||||||
| Dates: |
|
||||||||||
| DOI: | 10.1109/DSA.2017.10 | ||||||||||
| Status: | Peer Reviewed | ||||||||||
| Publication Status: | Published | ||||||||||
| Access rights to Published version: | Restricted or Subscription Access | ||||||||||
| Conference Paper Type: | Paper | ||||||||||
| Title of Event: | Fourth International Conference on Dependable Systems and Their Applications | ||||||||||
| Type of Event: | Conference | ||||||||||
| Location of Event: | Beijing | ||||||||||
| Date(s) of Event: | 31 Oct - 01 Nov 2017 | ||||||||||
| Related URLs: |
Request changes or add full text files to a record
Repository staff actions (login required)
 |
View Item |
