Sunday, December 2, 2012

Fault injection and mutation as a means of ISO 26262 vV&V

Injecting faults and mutating programs  - towards a uniform method?
http://ieeexplore.ieee.org/ielx5/5260979/5260980/05261017.pdf?tp=&arnumber=5261017&isnumber=5260980

This paper shows a method for modeling fault injection environments and mutations in a uniform way. When modeling mutations, the method seems to support even the execution.

What I like about this paper is the fact that they try to use the same method for both injections and mutations. What is still to be done is the validation. Of this approach in an industrial context. Let us wait for that...


@MiroslawStaron

No comments: