On the Relationship between Model Coverage and Code Coverage Using MATLAB's Simulink

Yunwei Dong, Zhe Li, Dave Towey

Research output: Chapter in Book/Conference proceedingConference contributionpeer-review

1 Citation (Scopus)

Abstract

Software Testing is an approach to ensuring the quality of software systems. Testing of safety-critical systems often requires conformance to certain code coverage criteria, including for example, in aviation, Modified Condition/Decision Coverage (MC/DC). In some situations, however, access to the actual code may be restricted with black Box approaches, and testers may only be able to use models of the system, such as those in MATLAB's Simulink. Without access to the code, exact code coverage measurement may not be possible. This paper presents a method of identifying and using the Simulink model's constraints to generate test cases which can achieve high coverage of the actual source code. A case study confirming the relationship between the model's coverage and the code coverage is also presented.

Original languageEnglish
Title of host publicationProceedings - 2015 IEEE International Conference on Software Quality, Reliability and Security, QRS 2015
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages213-218
Number of pages6
ISBN (Electronic)9781467379892
DOIs
Publication statusPublished - 21 Sept 2015
Externally publishedYes
EventIEEE International Conference on Software Quality, Reliability and Security, QRS 2015 - Vancouver, Canada
Duration: 3 Aug 20155 Aug 2015

Publication series

NameProceedings - 2015 IEEE International Conference on Software Quality, Reliability and Security, QRS 2015

Conference

ConferenceIEEE International Conference on Software Quality, Reliability and Security, QRS 2015
Country/TerritoryCanada
CityVancouver
Period3/08/155/08/15

Keywords

  • Code Coverage Analysis
  • Model-Based Testing
  • Simulink

ASJC Scopus subject areas

  • Computer Networks and Communications
  • Software

Fingerprint

Dive into the research topics of 'On the Relationship between Model Coverage and Code Coverage Using MATLAB's Simulink'. Together they form a unique fingerprint.

Cite this