×
曼弗雷德·布罗伊（编辑）;本特·琼森（编辑）;Joost-Pieter卡托恩（编辑）;马丁·勒克（编辑）;亚历山大·普雷施纳（编辑）
[埃克塞尔·贝林芬特;特蕾莎·伯格;克尔斯滕·伯克科特;亨利克·比约克隆德;Brandán Briones，劳拉;斯特凡·D·布鲁达。;科林，塞维琳;戴振如;乔治·丁;穆罕默德·拉姆利;拉尔斯·弗兰岑;安吉洛·加甘蒂尼;克里斯托夫·加斯顿;马克·霍斯特曼;本特·琼森;Joost-Pieter卡托恩;雷蒙·科纳;莫伊斯·克里钦;马丁·勒克;利瓦·卢西奥;莱昂纳多·马里亚尼;法比安·佩鲁克斯;菲利普斯，简;沃尔夫冈·普伦宁格;亚历山大·普雷施纳;哈拉尔德·拉菲尔特;马蒂亚斯·罗尔;马可·萨梅尔;斯文·桑德伯格;克里斯蒂安·夏尔哈特;德克·塞弗特;瓦列里察恩;马基尔·范德·比吉尔;维雷娜·沃尔夫]

反应系统的基于模型的测试。高级讲座。 （英语） Zbl 1070.68088号

计算机科学课堂讲稿3472.柏林：施普林格出版社（ISBN 3-540-26278-4/pbk）。viii，659页。(2005).
出版商描述：测试是当今业界使用的主要硬件和软件验证技术。通常，它是临时的、容易出错的，并且非常昂贵。然而，近年来，人们已经进行了许多尝试来开发更复杂的正式测试方法。这本连贯的书对这一新兴领域进行了深入的评估，重点放在反应系统的正式测试上。
本书基于2004年1月在德国达格斯图尔城堡举行的一次研讨会。它以平衡的方式介绍了19篇经过仔细审查和修订的讲座，确保了对所有相关方面的补充报道。附录提供了基于模型的测试术语表，以及有限状态机和标记转换系统的基础知识。讲座的主题部分包括有限状态机的测试、标记转换系统的测试、基于模型的测试用例生成、工具和案例研究、标准化测试符号和执行架构，以及超越测试。
本卷的文章不会单独编入索引。
内容：第一部分，有限状态机测试：斯文·桑德伯格，归位和同步序列（第5–33页）；莫伊斯·克里钦《国家识别》（第35-67页）；亨里克·比约克隆德《国家核查》（第69–86页）；安吉洛·加甘蒂尼一致性测试（第87–111页）。第二部分，标记过渡系统的测试：斯特凡·D·布鲁达《预订关系》（第117–149页）；瓦列里·柴恩，基于预订单关系的测试生成算法（第151–171页）；马基尔·范德比吉尔和法比安·佩鲁克斯基于I/O自动机的测试（第173-200页）；劳拉·布兰登·布里昂斯和马蒂亚斯·罗尔时间自动机的测试推导（第201–231页）；维雷娜·沃尔夫《概率系统测试理论》（第233-275页）。第三部分，基于模型的测试用例生成：亚历山大·普雷施纳和简·菲利普斯《基于模型的测试中的方法问题》（第281-291页）；克里斯托夫·加斯顿和迪尔克·塞弗特《评估基于覆盖率的测试》（第293–322页）；列维·卢西奥和马尔科·萨默《测试用例生成技术》（第323–354页）；克里斯汀·伯克科特（Kirsten Berkenkötter）和雷蒙德·科纳《实时和混合系统测试》（第355–387页）。第四部分，工具和案例研究：阿克塞尔·贝林芬特，拉尔斯·弗兰岑和克里斯蒂安·夏尔哈特，测试用例生成工具（第391–438页）；沃尔夫冈·普宁格，穆罕默德·埃尔·拉姆利和马克·霍斯特曼案例研究（第439-461页）。第五部分，标准化测试符号和执行架构：乔治·丁TTCN-3（第465-496页）；甄汝岱，UML 2.0测试概要（第497–521页）。第六部分，超越测试：塞维琳·科林和莱昂纳多·马里亚尼《运行时验证》（第525–555页）；特蕾丝·伯格和哈拉尔德·拉菲尔特《模型检查》（第557-603页）。第七部分，附录：亚历山大·普雷施纳和马丁·勒克《基于模型的测试——词汇表》（第607-609页）；本特·琼森《有限状态机》（第611-614页）；Joost-Pieter Katoen公司《标记过渡系统》（第615-616页）；文献（第617-651页）；索引（第653-659页）。

引用于50文件

MSC公司：

60年第68季度 规范和验证（程序逻辑、模型检查等）
68米15 网络和计算机系统的可靠性、测试和容错
68-02 与计算机科学有关的研究展览会（专著、调查文章）
68-06 与计算机科学有关的会议记录、会议、收藏等
PDF格式BibTeX公司 XML格式引用
\textit{M.Broy}（编辑）等人，反应系统的基于模型的测试。高级讲座。柏林：施普林格出版社（2005；Zbl 1070.68088）
全文： 内政部