Conference item icon

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 integr...

Expand abstract
Publication status:
Published
Peer review status:
Peer reviewed

Actions


Access Document


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

Authors


More by this author
Institution:
University of Oxford
Oxford college:
St Cross College
Role:
Author
More by this author
Institution:
University of Oxford
Division:
MPLS
Department:
Computer Science
Role:
Author
Expand authors...

Contributors

Role:
Editor
Role:
Editor
Publisher:
Springer Publisher's website
Journal:
NASA Formal Methods 2016 Journal website
Volume:
9690
Pages:
49-64
Host title:
NASA Formal Methods Symposium 2016
Publication date:
2016-06-01
Acceptance date:
2016-04-08
DOI:
Source identifiers:
628612
ISBN:
9783319406473
Pubs id:
pubs:628612
UUID:
uuid:29164be5-7e79-4d95-8976-f72d729eb78e
Local pid:
pubs:628612
Deposit date:
2017-01-28

Terms of use


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