第七届基于模型的测试研讨会论文集
软件工程
2012-02-28 v1
摘要
本卷收录了第七届基于模型的测试研讨会（MBT 2012）的论文集，该研讨会于2012年3月25日在爱沙尼亚塔林举行，作为欧洲软件理论与实践联合会议ETAPS 2012的卫星活动。研讨会致力于软件和硬件的基于模型的测试。基于模型的测试使用描述被测系统所需行为的模型来指导测试选择和测试结果评估等工作。测试验证真实系统行为与模型的一致性，并检查实现是否符合模型，同时也能发现模型本身的错误。首届MBT研讨会于2004年在巴塞罗那举行。当时MBT已成为热门话题，但MBT研讨会是首个主要专注于该主题的活动。自那时起，该领域引起了巨大的科学兴趣，如今已有多个专门的研讨会以及更广泛的关于软件和硬件设计与质量保证的会议涵盖基于模型的测试。MBT已成为最强大的系统分析工具之一，最新的热点之一是将MBT应用于安全分析和测试。MBT研讨会力求紧跟当前趋势。2012年，项目中增加了“工业论文”类别，程序委员会接收了两篇工业论文。
引用
@article{arxiv.1202.5826,
title = {Proceedings 7th Workshop on Model-Based Testing},
author = {Alexander K. Petrenko and Holger Schlingloff},
journal= {arXiv preprint arXiv:1202.5826},
year = {2012}
}