Conference item

Assisted coverage closure.

Abstract:: Malfunction of safety-critical systems may cause damage to people and the environment. Software within those systems is rigorously designed and verified according to domain specific guidance, such as ISO26262 for automotive safety. This paper describes academic and industrial co-operation in tool development to support one of the most stringent of the requirements - achieving full code coverage in requirements-driven testing. We present a verification work flow supported by a tool that integrates the coverage measurement tool RapiCover with the test-vector generator FShell. The tool assists closing the coverage gap by providing the engineer with test vectors that help in debugging coverage-related code quality issues and creating new test cases, as well as justifying the presence of unreachable parts of the code in order to finally achieve full effective coverage according to the required criteria. We illustrate the tool's practical utility on automotive industry benchmarks. It generates 8X more MC/DC coverage than random search.

Publication status:: Published

Peer review status:: Peer reviewed

Actions

Email

Email this record

Send the bibliographic details of this record to your email address.

Your Email
Please enter the email address that the record information will be sent to.

-
Your message (optional)
Please add any additional information to be included within the email.
Share
Cite

Cite this record

APA Style

Nellis, A., Kesseli, P., Conmy, P., Kroening, D., Schrammel, P., & Tautschnig, M. (2016). Assisted coverage closure. (S. Rayadurgam & O. Tkachuk, Eds.; Vol. 9690, pp. 49–64). Springer.

MLA Style

Nellis, A, et al. “Assisted Coverage Closure.” Edited by S Rayadurgam and O Tkachuk, vol. 9690, Springer, 2016, pp. 49–64.

Chicago Style

Nellis, A, P Kesseli, P Conmy, D Kroening, P Schrammel, and M Tautschnig. 2016. “Assisted Coverage Closure.” Edited by S Rayadurgam and O Tkachuk. Vol. 9690. Springer.
Print

Access Document

Files:: Kroening et al, Assisted coverage closure.pdf

(Preview, Accepted manuscript, pdf, 410.0KB, Terms of use)

Publisher copy:: 10.1007/978-3-319-40648-0_5

Authors

+ Nellis, A More by this author

Role:: Author

+ Kesseli, P More by this author

Institution:: University of Oxford
Oxford college:: St Cross College
Role:: Author

+ Conmy, P More by this author

Role:: Author

+ Kroening, D More by this author

Institution:: University of Oxford
Division:: MPLS
Department:: Computer Science
Role:: Author

+ Schrammel, P More by this author

Role:: Author

More authors...

Contributors

+ Rayadurgam, S

Role:: Editor

Role:: Editor

+ ARTEMIS Joint Undertaking More from this funder

Grant:: 295311

Publisher:: Springer
Host title:: NASA Formal Methods Symposium 2016
Journal:: NASA Formal Methods 2016 More from this journal
Volume:: 9690
Pages:: 49-64
Publication date:: 2016-06-01
Acceptance date:: 2016-04-08
DOI:: 10.1007/978-3-319-40648-0_5
ISBN:: 9783319406473

Pubs id:: pubs:628612
UUID:: uuid:29164be5-7e79-4d95-8976-f72d729eb78e
Local pid:: pubs:628612
Source identifiers:: 628612
Deposit date:: 2017-01-28
ARK identifier:: ark:/29072/ora_29164be57e794d958976f72d729eb78e

Terms of use

Copyright holder:: Springer International Publishing Switzerland
Copyright date:: 2016
Notes:: © Springer International Publishing Switzerland 2016

Licence:: Terms and Conditions of Use for Oxford University Research Archive

Views and Downloads

About views and downloads

If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP