|Title||:||Automation of Test Case Generation from Behavior Tree Requirements Models|
|Speaker||:||Paul Strooper (The University of Queensland, Australia.)|
|Details||:||Fri, 27 Nov, 2015 11:00 AM @ BSB 361|
|Abstract:||:||Behavior Trees (BTs) are a graphical notation for requirements capture that is easier to read than other formal notations, with direct traceability between individual functional requirements and their representation in the BT model. In this presentation, we explore whether this relationship can be extended to generation of test cases, using a symbolic model checker to ensure correctness and completeness of test cases with respect to the model. To do so it was necessary to provide mechanisms for test planner input and to control the combinatorial explosion of test cases that results from models containing parallel behaviour. The result is an automated process for generating a complete set of natural-language test cases, with tracing back to the original requirements and with correctness and completeness guaranteed by the model checker. The approach is illustrated on an Automated Teller Machine example and its application to a model from air traffic control with multi-threaded behaviour is discussed.
Brief Biography: Paul Strooper is the Head and a Professor in the School of Information Technology and Electrical Engineering at The University of Queensland. He received the BMath and MMath degrees in Computer Science from the University of Waterloo, and the PhD degree in Computer Science in 1990 from the University of Victoria. His main research interest is Software Engineering, especially software verification and testing, and model-based approaches to software development and verification. He has had substantial interaction with industry through collaborative research projects, training and consultation. He is the chair of the Steering Committee for the Asia-Pacific Software Engineering Conference and past chair and member of the Steering Committee for the Australian Software Engineering Conference. He is a member of the editorial board of the Journal of Software Testing, Verification and Reliability and was a member of the editorial board of IEEE Transaction of Software Engineering from 2008-2013. In 2015, he was selected a member of the ARC College of Experts in Engineering, Mathematics, and Informatics.