Dagstuhl Seminar 10421 Model-Based Testing in Practice

Model-Based Testing in Practice

计算机科学;物理学;数学

Wolfgang Grieskamp ; Robert M. Hierons ; Alexander Pretschner

Others  :  http://drops.dagstuhl.de/opus/volltexte/2011/2925/pdf/10421.Report.2925.pdf
PID  :  40421

学科分类：计算机科学（综合）

来源: CEUR

【 摘 要 】

Software testing is one of the most cost-intensive tasks in the modern software production process. Model-based testing is a light-weight formal method which enables the automatic derivation of tests from software models and their environment. Model-based testing (MBT) has matured as a rich research area in the last decade, with a signicant body of research and applications. The academiccommunity is well established with many conferences, workshops, and research projects. Tools for model-based testing have been developed both as research prototypes and as commercial or semi-commercial applications brought to users by midsize and enterprise-level companies, and applied in large scale projects.[First Paragraph]