No Cover Image

Conference contribution 18 views 1 download

Efficacy Measurement of Early Intervention Techniques / Dave Donaghy; Tom Crick

Proceedings of 14th International Workshop on Automated Verification of Critical Systems

Swansea University Author: Crick, Tom

Abstract

Compiler technology has, for some considerable time, been sufficiently advanced that individual programmers are able to produce, in reasonably short periods of time, tools that might aid with the development process in novel ways: for example, one can easily produce a C compiler tool that will detec...

Full description

Published in: Proceedings of 14th International Workshop on Automated Verification of Critical Systems
ISSN: 0929-0672
Published: Enschede, Netherlands University of Twente 2014
Online Access: Check full text

URI: https://cronfa.swan.ac.uk/Record/cronfa43776
Tags: Add Tag
No Tags, Be the first to tag this record!
first_indexed 2018-09-12T12:59:42Z
last_indexed 2018-10-15T19:18:02Z
id cronfa43776
recordtype SURis
fullrecord <?xml version="1.0"?><rfc1807><datestamp>2018-10-15T14:51:33Z</datestamp><bib-version>v2</bib-version><id>43776</id><entry>2018-09-12</entry><title>Efficacy Measurement of Early Intervention Techniques</title><alternativeTitle></alternativeTitle><author>Tom Crick</author><firstname>Tom</firstname><surname>Crick</surname><active>true</active><ORCID>0000-0001-5196-9389</ORCID><ethesisStudent>false</ethesisStudent><sid>200c66ef0fc55391f736f6e926fb4b99</sid><email>9971fd6d74987b78a0d7fce128f8c721</email><emailaddr>z93Ri4T5hwMLTfh+6XG11n2HZhUyFASdV1DFdgIIhKs=</emailaddr><date>2018-09-12</date><deptcode>EDUC</deptcode><abstract>Compiler technology has, for some considerable time, been sufficiently advanced that individual programmers are able to produce, in reasonably short periods of time, tools that might aid with the development process in novel ways: for example, one can easily produce a C compiler tool that will detect uncommon uses of integer arithmetic (such as the rare multiplication of values that are commonly only added) and flag such uses as potential errors.However, there is currently no convenient way to measure the efficacy of such techniques: where one might assume that uncommon uses of integer arithmetic might be erroneous, we do not have a way of measuring the cost saving associated with the potential early detection of occurrences of such things.We present a method of measuring the efficacy of a single early intervention, based on the replaying of previous executions of a compile-build-test cycle. This measurement process allows us to identify the software errors that were introduced during an original development and subsequently fixed; additionally, it allows us to identify the subset of such errors that would have been identified by the early intervention. By these means, we can take an existing historical record of a development, and extract from it meaningful information about the value of a proposed new early intervention technique.</abstract><type>Conference contribution</type><journal>Proceedings of 14th International Workshop on Automated Verification of Critical Systems</journal><volume/><journalNumber/><paginationStart/><paginationEnd/><publisher>University of Twente</publisher><placeOfPublication>Enschede, Netherlands</placeOfPublication><isbnPrint/><isbnElectronic/><issnPrint/><issnElectronic>0929-0672</issnElectronic><keywords>Verification, software engineering, efficiency, version control systems, repository mining</keywords><publishedDay>24</publishedDay><publishedMonth>9</publishedMonth><publishedYear>2014</publishedYear><publishedDate>2014-09-24</publishedDate><doi></doi><url></url><notes>14th International Workshop on Automated Verification of Critical Systems (AVoCS'14)</notes><college>College of Arts and Humanities</college><department>School of Education</department><CollegeCode>CAAH</CollegeCode><DepartmentCode>EDUC</DepartmentCode><institution/><researchGroup>None</researchGroup><supervisor/><sponsorsfunders/><grantnumber/><degreelevel/><degreename>None</degreename><lastEdited>2018-10-15T14:51:33Z</lastEdited><Created>2018-09-12T06:25:43Z</Created><path><level id="1">College of Arts and Humanities</level><level id="2">College of Arts and Humanities</level></path><authors><author><firstname>Dave</firstname><surname>Donaghy</surname><orcid/><order>1</order></author><author><firstname>Tom</firstname><surname>Crick</surname><orcid>0000-0001-5196-9389</orcid><order>2</order></author></authors><documents><document><filename>0043776-12092018062648.pdf</filename><originalFilename>early-intervention-submission29.pdf</originalFilename><uploaded>2018-09-12T06:26:48Z</uploaded><type>Output</type><contentLength>90163</contentLength><contentType>application/pdf</contentType><version>AM</version><cronfaStatus>true</cronfaStatus><action>Updated Copyright</action><actionDate>15/10/2018</actionDate><embargoDate>2018-09-12T00:00:00</embargoDate><documentNotes/><copyrightCorrect>true</copyrightCorrect><language>eng</language></document></documents></rfc1807>
spelling 2018-10-15T14:51:33Z v2 43776 2018-09-12 Efficacy Measurement of Early Intervention Techniques Tom Crick Tom Crick true 0000-0001-5196-9389 false 200c66ef0fc55391f736f6e926fb4b99 9971fd6d74987b78a0d7fce128f8c721 z93Ri4T5hwMLTfh+6XG11n2HZhUyFASdV1DFdgIIhKs= 2018-09-12 EDUC Compiler technology has, for some considerable time, been sufficiently advanced that individual programmers are able to produce, in reasonably short periods of time, tools that might aid with the development process in novel ways: for example, one can easily produce a C compiler tool that will detect uncommon uses of integer arithmetic (such as the rare multiplication of values that are commonly only added) and flag such uses as potential errors.However, there is currently no convenient way to measure the efficacy of such techniques: where one might assume that uncommon uses of integer arithmetic might be erroneous, we do not have a way of measuring the cost saving associated with the potential early detection of occurrences of such things.We present a method of measuring the efficacy of a single early intervention, based on the replaying of previous executions of a compile-build-test cycle. This measurement process allows us to identify the software errors that were introduced during an original development and subsequently fixed; additionally, it allows us to identify the subset of such errors that would have been identified by the early intervention. By these means, we can take an existing historical record of a development, and extract from it meaningful information about the value of a proposed new early intervention technique. Conference contribution Proceedings of 14th International Workshop on Automated Verification of Critical Systems University of Twente Enschede, Netherlands 0929-0672 Verification, software engineering, efficiency, version control systems, repository mining 24 9 2014 2014-09-24 14th International Workshop on Automated Verification of Critical Systems (AVoCS'14) College of Arts and Humanities School of Education CAAH EDUC None None 2018-10-15T14:51:33Z 2018-09-12T06:25:43Z College of Arts and Humanities College of Arts and Humanities Dave Donaghy 1 Tom Crick 0000-0001-5196-9389 2 0043776-12092018062648.pdf early-intervention-submission29.pdf 2018-09-12T06:26:48Z Output 90163 application/pdf AM true Updated Copyright 15/10/2018 2018-09-12T00:00:00 true eng
title Efficacy Measurement of Early Intervention Techniques
spellingShingle Efficacy Measurement of Early Intervention Techniques
Crick, Tom
title_short Efficacy Measurement of Early Intervention Techniques
title_full Efficacy Measurement of Early Intervention Techniques
title_fullStr Efficacy Measurement of Early Intervention Techniques
title_full_unstemmed Efficacy Measurement of Early Intervention Techniques
title_sort Efficacy Measurement of Early Intervention Techniques
author_id_str_mv 200c66ef0fc55391f736f6e926fb4b99
author_id_fullname_str_mv 200c66ef0fc55391f736f6e926fb4b99_***_Crick, Tom
author Crick, Tom
author2 Dave Donaghy
Tom Crick
format Conference contribution
container_title Proceedings of 14th International Workshop on Automated Verification of Critical Systems
publishDate 2014
institution Swansea University
issn 0929-0672
publisher University of Twente
college_str College of Arts and Humanities
hierarchytype
hierarchy_top_id collegeofartsandhumanities
hierarchy_top_title College of Arts and Humanities
hierarchy_parent_id collegeofartsandhumanities
hierarchy_parent_title College of Arts and Humanities
department_str College of Arts and Humanities{{{_:::_}}}College of Arts and Humanities{{{_:::_}}}College of Arts and Humanities
document_store_str 1
active_str 1
description Compiler technology has, for some considerable time, been sufficiently advanced that individual programmers are able to produce, in reasonably short periods of time, tools that might aid with the development process in novel ways: for example, one can easily produce a C compiler tool that will detect uncommon uses of integer arithmetic (such as the rare multiplication of values that are commonly only added) and flag such uses as potential errors.However, there is currently no convenient way to measure the efficacy of such techniques: where one might assume that uncommon uses of integer arithmetic might be erroneous, we do not have a way of measuring the cost saving associated with the potential early detection of occurrences of such things.We present a method of measuring the efficacy of a single early intervention, based on the replaying of previous executions of a compile-build-test cycle. This measurement process allows us to identify the software errors that were introduced during an original development and subsequently fixed; additionally, it allows us to identify the subset of such errors that would have been identified by the early intervention. By these means, we can take an existing historical record of a development, and extract from it meaningful information about the value of a proposed new early intervention technique.
published_date 2014-09-24T12:13:08Z
_version_ 1634049236826849280
score 10.810247