Test-based model generation for legacy systems

We study the extension of applicability of system-level testing techniques to the construction of a consistent model of (legacy) systems under test, which are seen as black boxes. We gather observations via an automated test environment and systematically extend available test suites according to learning procedures. Testing plays two roles here: (i) as an application domain and (ii) as the enabling technology for the adopted learning technique. The benefits include enhanced error detection and diagnosis, both during the testing phase and the online test of deployed systems at customer sites.

[1]  T. Margaria,et al.  Efficient Regression Testing of CTI-Systems : Testing a complex Call-Center Solution , 2001 .

[2]  Tiziana Margaria,et al.  Model Generation for Legacy Systems , 2002, RISSEF.

[3]  Tiziana Margaria,et al.  System level testing of virtual switch (re-)configuration over IP , 2002, Proceedings The Seventh IEEE European Test Workshop.

[4]  Armin Biere,et al.  Bounded Model Checking Using Satisfiability Solving , 2001, Formal Methods Syst. Des..

[5]  Tiziana Margaria,et al.  A Practical Approach for the Regression Testing of IP-based Application , 2002 .

[6]  Nancy A. Lynch,et al.  Using simulated execution in verifying distributed algorithms , 2003, International Journal on Software Tools for Technology Transfer.

[7]  Tiziana Margaria,et al.  Automated regression testing of CTI-systems , 2001, IEEE European Test Workshop, 2001..

[8]  Hardi Hungar,et al.  Behavior-based model construction , 2002, International Journal on Software Tools for Technology Transfer.

[9]  Dana Angluin,et al.  Learning Regular Sets from Queries and Counterexamples , 1987, Inf. Comput..

[10]  Hardi Hungar,et al.  Behavior-Based Model Construction , 2003, VMCAI.

[11]  Nancy A. Lynch,et al.  Using Simulated Execution in Verifying Distributed Algorithms , 2003, VMCAI.

[12]  Hardi Hungar,et al.  Model Generation by Moderated Regular Extrapolation , 2002, FASE.