DocumentCode
2928101
Title
Testing robustness of communicating systems using ioco-based approach
Author
Rollet, Antoine ; Salva, Sébastien
Author_Institution
LABRI, Univ. of Bordeaux, Talence, France
fYear
2009
fDate
5-8 July 2009
Firstpage
67
Lastpage
72
Abstract
This paper deals with communicating system robustness testing by proposing a method for checking the correct behaviour of the Implementation Under Test (IUT) in unexpected situations. This formal method takes specifications written with IOLTS and generates robustness test cases by using the ioco theory. IOLTS are used to model many systems like distributed ones or Web service compositions. We present an algorithm permitting to generate sound test cases especially focusing on robustness aspects.
Keywords
formal specification; program testing; Web service compositions; communicating systems robustness testing; formal method; implementation under test; ioco theory; Acoustic testing; Automatic testing; Capability maturity model; Costs; Hazards; Programming; Robustness; Software quality; System testing; Web services; Formal testing; Hazards; Labelled Transition Systems; Robustness testing; ioco;
fLanguage
English
Publisher
ieee
Conference_Titel
Computers and Communications, 2009. ISCC 2009. IEEE Symposium on
Conference_Location
Sousse
ISSN
1530-1346
Print_ISBN
978-1-4244-4672-8
Electronic_ISBN
1530-1346
Type
conf
DOI
10.1109/ISCC.2009.5202405
Filename
5202405
Link To Document