第八届基于模型的测试研讨会论文集
软件工程
2013-03-05 v1
摘要
本卷收录了第八届基于模型的测试研讨会（MBT 2013）的论文集，该研讨会于2013年3月17日在意大利罗马举行，作为欧洲软件理论与实践联合会议（ETAPS 2013）的卫星活动。本次研讨会致力于软件和硬件的基于模型的测试。基于模型的测试使用描述待测系统所需行为的模型来指导测试选择和测试结果评估等工作。测试验证真实系统行为与模型的一致性，并检查实现是否符合模型，同时也能发现模型本身的错误。首届MBT研讨会于2004年在巴塞罗那举行。当时MBT已成为热门话题，但MBT研讨会是首个主要专注于该领域的活动。自那时起，该领域引起了巨大的科学兴趣，如今已有多个专门的研讨会和更广泛的软件与硬件设计及质量保证会议涵盖基于模型的测试。MBT已成为最强大的系统分析工具之一，最新的前沿课题之一是将MBT应用于安全分析和测试。MBT研讨会力求紧跟当前趋势。
引用
@article{arxiv.1303.0379,
title = {Proceedings Eighth Workshop on Model-Based Testing},
author = {Alexander K. Petrenko and Holger Schlingloff},
journal= {arXiv preprint arXiv:1303.0379},
year = {2013}
}