No Cover Image

Conference Paper/Proceeding/Abstract 683 views 57 downloads

Efficacy Measurement of Early Intervention Techniques

Dave Donaghy, Tom Crick Orcid Logo

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

Swansea University Author: Tom Crick Orcid Logo

Check full text

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 2023-01-11T14:20:31Z
id cronfa43776
recordtype SURis
fullrecord <?xml version="1.0"?><rfc1807><datestamp>2022-12-18T17:45:48.3674522</datestamp><bib-version>v2</bib-version><id>43776</id><entry>2018-09-12</entry><title>Efficacy Measurement of Early Intervention Techniques</title><swanseaauthors><author><sid>200c66ef0fc55391f736f6e926fb4b99</sid><ORCID>0000-0001-5196-9389</ORCID><firstname>Tom</firstname><surname>Crick</surname><name>Tom Crick</name><active>true</active><ethesisStudent>false</ethesisStudent></author></swanseaauthors><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 Paper/Proceeding/Abstract</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/><url/><notes>14th International Workshop on Automated Verification of Critical Systems (AVoCS'14)</notes><college>COLLEGE NANME</college><department>Education</department><CollegeCode>COLLEGE CODE</CollegeCode><DepartmentCode>EDUC</DepartmentCode><institution>Swansea University</institution><apcterm/><funders/><projectreference/><lastEdited>2022-12-18T17:45:48.3674522</lastEdited><Created>2018-09-12T06:25:43.3248217</Created><path><level id="1">Faculty of Humanities and Social Sciences</level><level id="2">School of Social Sciences - Education and Childhood Studies</level></path><authors><author><firstname>Dave</firstname><surname>Donaghy</surname><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:48.3630000</uploaded><type>Output</type><contentLength>90163</contentLength><contentType>application/pdf</contentType><version>Accepted Manuscript</version><cronfaStatus>true</cronfaStatus><embargoDate>2018-09-12T00:00:00.0000000</embargoDate><copyrightCorrect>true</copyrightCorrect><language>eng</language></document></documents><OutputDurs/></rfc1807>
spelling 2022-12-18T17:45:48.3674522 v2 43776 2018-09-12 Efficacy Measurement of Early Intervention Techniques 200c66ef0fc55391f736f6e926fb4b99 0000-0001-5196-9389 Tom Crick Tom Crick true false 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 Paper/Proceeding/Abstract 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 NANME Education COLLEGE CODE EDUC Swansea University 2022-12-18T17:45:48.3674522 2018-09-12T06:25:43.3248217 Faculty of Humanities and Social Sciences School of Social Sciences - Education and Childhood Studies Dave Donaghy 1 Tom Crick 0000-0001-5196-9389 2 0043776-12092018062648.pdf early-intervention-submission29.pdf 2018-09-12T06:26:48.3630000 Output 90163 application/pdf Accepted Manuscript true 2018-09-12T00:00:00.0000000 true eng
title Efficacy Measurement of Early Intervention Techniques
spellingShingle Efficacy Measurement of Early Intervention Techniques
Tom Crick
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_***_Tom Crick
author Tom Crick
author2 Dave Donaghy
Tom Crick
format Conference Paper/Proceeding/Abstract
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 Faculty of Humanities and Social Sciences
hierarchytype
hierarchy_top_id facultyofhumanitiesandsocialsciences
hierarchy_top_title Faculty of Humanities and Social Sciences
hierarchy_parent_id facultyofhumanitiesandsocialsciences
hierarchy_parent_title Faculty of Humanities and Social Sciences
department_str School of Social Sciences - Education and Childhood Studies{{{_:::_}}}Faculty of Humanities and Social Sciences{{{_:::_}}}School of Social Sciences - Education and Childhood Studies
document_store_str 1
active_str 0
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-24T03:55:07Z
_version_ 1763752759676370944
score 11.01409

Similar Items