Assuring the Model Evolution of Protocol Software Specifications by Regression Testing Process Improvement

Title: Assuring the Model Evolution of Protocol Software Specifications by Regression Testing Process Improvement
Speaker: Bo Jiang (姜博)
Time: 3:00pm, April 21th (Thursday), 2011.
Venue: Lecture Room, Level 3, Building No. 5, State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences

Abstract: Model-based testing helps test engineers automate their testing tasks so that they are more cost-effective.
When the model is changed owing to the evolution of the specification, it is important to maintain the test suites up to date for regression testing.A complete regeneration of the whole test suite from the new model, although inefficient, is still frequently used in the industry, including Microsoft.To handle specification evolution effectively, we propose a test case reusability analysis technique to identify reusable test cases of the original test suite based on graph analysis.
We also develop a test suite augmentation technique to generate new test cases to cover the change-related parts of the new model.The experiment on four large protocol document testing projects shows that our technique can successfully identify a high percentage of reusable test cases and generate low-redundancy new test cases.

Bibliography:
Bo Jiang is a Ph.D candidate at Department of Computer Science in the University of Hong Kong.He is in the software engineering group at HKU under the guidance of Prof. T.H. Tse.His research interests include regression testing, statistical fault localization, model-based testing, and concurrent applications testing.He has published 14 papers in various Journal and conferences.He also serves as the organizing committee of QSIC 2010 and reviewer of various journals and conferences.