Practice of Model-Based Software Testing


Practice of Model-Based Software Testing Panel Session at COMPSAC 2005, July 25-28, Edinburgh
		Moderator: Aditya Mathur Professor, Department of Computer Science, Purdue University, West Lafayette, Indiana, USA
		Panelists: TBD
	Theme: Research in Model-based Software Testing (MBST) dates back at least to the 70's when Chow proposed the W-method for test generation from FSM based designs. Today MBST is in regular use in a variety of industrial applications, and especially so in critical applications. The objective of this panel session is to raise awareness regarding the strengths and limitations of MBST and share experiences derived in the industrial context. One outcome of the panel discussion will be the identification of critical research issues in MBST. This panel session will focus on the following topics in the context of MBST: Successful and not-so successful scenarios Training needs Evaluation of MBST in an application context Combining MBST with coverage metrics Use of finite state, combinatorial, and other models Research needs in MBST