@inproceedings{331c7cd1ddf548a9a6e799050e12e7f7,
title = "On the Relationship between Model Coverage and Code Coverage Using MATLAB's Simulink",
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.",
keywords = "Code Coverage Analysis, Model-Based Testing, Simulink",
author = "Yunwei Dong and Zhe Li and Dave Towey",
note = "Publisher Copyright: {\textcopyright} 2015 IEEE.; IEEE International Conference on Software Quality, Reliability and Security, QRS 2015 ; Conference date: 03-08-2015 Through 05-08-2015",
year = "2015",
month = sep,
day = "21",
doi = "10.1109/QRS.2015.39",
language = "English",
series = "Proceedings - 2015 IEEE International Conference on Software Quality, Reliability and Security, QRS 2015",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
pages = "213--218",
booktitle = "Proceedings - 2015 IEEE International Conference on Software Quality, Reliability and Security, QRS 2015",
address = "United States",
}