Program
|
Keynote by Rob Hierons, Brunel UniversityComplete 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. BioRob 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 day9:00 - 9:15 Opening and welcome – A-MOST Chairs9: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 |
Maintained by Levi Lúcio. | Last Modified: 2015/03/17 19:31:06. |