Testing robustness of communicating systems using ioco-based approach
Antoine Rollet, Sébastien Salva · 2009
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.