DocumentCode
2416866
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
fYear
2003
fDate
10-12 Dec. 2003
Firstpage
340
Lastpage
350
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Software Engineering Conference, 2003. Tenth Asia-Pacific
Print_ISBN
0-7695-2011-1
Type
conf
DOI
10.1109/APSEC.2003.1254388
Filename
1254388
Link To Document