Title :
Challenging formal specifications by mutation: a CSP security example
Author :
Srivatanakul, Thitima ; Clark, John A. ; Stepney, Susan ; Polack, Fiona
Author_Institution :
Dept. of Comput. Sci., York Univ., UK
Abstract :
When formal modelling is done we must validate both the model and the assumptions. Formal techniques tend to concentrate on the former. We examine how fault injection (specification mutation) and model checking can help address the latter, in particular, the effects of failure. We find that, in contrast with software testing, where they are a problem, "equivalent mutants" are valuable for specification validation.
Keywords :
communicating sequential processes; formal specification; formal verification; program testing; security of data; CSP security property; fault injection; formal modelling; formal specifications; formal techniques; model checking; mutation testing; software testing; Computer science; Computer security; Formal specifications; Genetic mutations; Government; Information security; Power system modeling; Power system security; Software testing; System testing;
Conference_Titel :
Software Engineering Conference, 2003. Tenth Asia-Pacific
Print_ISBN :
0-7695-2011-1
DOI :
10.1109/APSEC.2003.1254388
