Keynote by Rob Hierons, Brunel University

Complete Controllable Test Suites for Distributed Testing

A test suite is m-complete for finite state machine (FSM) M if it distinguishes between M and all faulty FSMs with m states or fewer. While there are several algorithms that generate m-complete test suites, previous results show that there is no general method for generating an m-complete test suite for use in distributed testing. This talk will look at a slightly different problem in distributed testing, which is to generate what we call c(m)-complete test suites: controllable test suites that distinguish an FSM N with no more than m states from M if this is possible in controllable testing. Thus, under the hypothesis that the system under test has no more than m states, a c(m)-complete test suite achieves as much as is possible given the restriction that testing should be controllable.

Bio

Rob Hierons received a BA in Mathematics (Trinity College, Cambridge), and a Ph.D. in Computer Science (Brunel University). He then joined the Department of Mathematical and Computing Sciences at Goldsmiths College, University of London, before returning to Brunel University in 2000. He was promoted to full Professor in 2003. Rob Hierons’ main research largely concerns the automated generation of efficient, systematic test suites on the basis of program code, models or specifications. He also has a significant interest in program analysis and automated transformation techniques such as program slicing. He is joint Editor of the Journal of Software Testing, Verification, and Reliability (STVR). He has organised or been on the steering committee of several international conferences and workshops. He has published over 150 papers in international workshops, conferences and journals including in top journals such as SIAM Journal of Computing, IEEE Transactions on Computers, IEEE Transactions on Software Engineering, and ACM Transactions on Software Engineering and Methodology.

Schedule for the day

9:00 - 9:15  Opening and welcome – A-MOST Chairs 

9:10 - 10:30  Keynote: "Complete Controllable Test Suites for Distributed Testing"
Rob Hierons, Brunel University

10:30 - 11:00  Coffee Break

Session 1

11:00 - 11:20  A Test Automation Language Framework for Behavioral Models
Nan Li, Medidata Solutions, USA
Jeff Offutt, George Mason University, USA

11:20 - 11:50  On Model-Based Testing Advanced GUIs
Valéria Lelli, INSA Rennes, France
Arnaud Blouin, INSA Rennes, France
Benoit Baudry, Inria Rennes, France
Fabien Coulon, Inria Rennes, France

11:50 - 12:20  Test Generation from Timed Pushdown Automata with Inputs and Outputs
Hana M’Hemdi, University of Franche-Comté, France
Jacques Julliand, University of Franche-Comté, France
Pierre-Alain Masson, University of Franche-Comté, France
Riadh Robbana, University of Franche-Comté, France

11:20 - 12:35  Model-based Approach for Automated Test Case Generation from Visual Requirement Specifications
Kapil Singi, Accenture, India
Dipin Era, Accenture, India
Vikrant Kaulgud, Accenture, India

12:35 - 14:00  Lunch break

14:00 - 15:00  Panel Discussion: "Model-based Testing for Next Generation Systems"
Rob Hierons, Brunel University, United Kingdom
Jeff Offutt, George Mason University, USA
Franz Wotawa Graz University of Technology, Austria
Bernhard Aichernig Graz University of Technology, Austria

15:00 - 15:30  Coffee break

Session 2

15:30 - 15:55  Covering both Stack and States while Testing Push-down Systems
P.-C. Héam, Université de Franche Comté - CNRS - INRIA, France
H. M’Hemdi, Université de Franche Comté - CNRS - INRIA, France

15:55 - 16:20  A Model-Based Testing Technique for Component-Based Real-Time Embedded Systems
Jing Guan, George Mason University, USA
Jeff Offutt, George Mason University, USA

16:20 - 16:45  State Machine Flattening, a Mapping Study and Tools Assessment
Xavier Devroey, University of Namur, Belgium
Maxime Cordy, University of Namur, Belgium
Pierre-Yves Schobbens, University of Namur, Belgium
Axel Legay, INRIA Rennes Bretagne Atlantique, France
Patrick Heymans, University of Namur, Belgium

16:45 - 17:00  Towards Generation of Adaptive Test Cases from Partial Models of Determinized Timed Automata
Bernhard K. Aichernig, Graz University of Technology, Austria
Florian Lorber, Graz University of Technology, Austria