| dc.contributor.advisor | Martin Rinard and Nikola Valerjev. | en_US |
| dc.contributor.author | Saha, Sagnik,M. Eng.Massachusetts Institute of Technology. | en_US |
| dc.contributor.other | Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science. | en_US |
| dc.date.accessioned | 2019-07-15T20:33:38Z | |
| dc.date.available | 2019-07-15T20:33:38Z | |
| dc.date.copyright | 2019 | en_US |
| dc.date.issued | 2019 | en_US |
| dc.identifier.uri | https://hdl.handle.net/1721.1/121681 | |
| dc.description | This electronic version was submitted by the student author. The certified thesis is available in the Institute Archives and Special Collections. | en_US |
| dc.description | Thesis: M. Eng., Massachusetts Institute of Technology, Department of Electrical Engineering and Computer Science, 2019 | en_US |
| dc.description | Cataloged from student-submitted PDF version of thesis. | en_US |
| dc.description | Includes bibliographical references (pages 49-50). | en_US |
| dc.description.abstract | This thesis presents the design and implementation of Modified Condition / Decision Coverage (MC/DC) instrumentation in the Green Hills C/C++ compiler. When a specfic option is enabled, the compiler now identied each boolean expression and annotates the generated binary with special instructions. When a test suite is run, these extra instructions emit logging information. A separate program then uses that information to determine and display the degree of coverage achieved. Taken together, my tools allow a user to run any program and determine the extent of MC/DC coverage achieved by their tests. | en_US |
| dc.description.statementofresponsibility | by Sagnik Saha. | en_US |
| dc.format.extent | 50 pages | en_US |
| dc.language.iso | eng | en_US |
| dc.publisher | Massachusetts Institute of Technology | en_US |
| dc.rights | MIT theses are protected by copyright. They may be viewed, downloaded, or printed from this source but further reproduction or distribution in any format is prohibited without written permission. | en_US |
| dc.rights.uri | http://dspace.mit.edu/handle/1721.1/7582 | en_US |
| dc.subject | Electrical Engineering and Computer Science. | en_US |
| dc.title | Adding Support for MC/DC instrumentation in the Green Hills C/C++ compiler | en_US |
| dc.title.alternative | Adding Support for Modified Condition/Decision Coverage instrumentation in the Green Hills C/C++ compiler | en_US |
| dc.type | Thesis | en_US |
| dc.description.degree | M. Eng. | en_US |
| dc.contributor.department | Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science | en_US |
| dc.identifier.oclc | 1102057138 | en_US |
| dc.description.collection | M.Eng. Massachusetts Institute of Technology, Department of Electrical Engineering and Computer Science | en_US |
| dspace.imported | 2019-07-15T20:33:34Z | en_US |
| mit.thesis.degree | Master | en_US |
| mit.thesis.department | EECS | en_US |
