曼弗雷德·布罗伊(编辑);本特·琼森(编辑);Joost-Pieter卡托恩(编辑);马丁·勒克(编辑);亚历山大·普雷施纳(编辑) [埃克塞尔·贝林芬特;特蕾莎·伯格;克尔斯滕·伯克科特;亨利克·比约克隆德;Brandán Briones,劳拉;斯特凡·D·布鲁达。;塞维琳·科林;戴振如;乔治·丁;穆罕默德·勒姆利;拉尔斯·弗兰岑;安吉洛·加甘蒂尼;克里斯托夫·加斯顿;马克·霍斯特曼;本特·琼森;Joost-Pieter卡托恩;雷蒙·科纳;莫伊斯·克里钦;Leucker,马丁;利瓦·卢西奥;莱昂纳多·马里亚尼;费边佩鲁克斯;菲利普斯,简;沃尔夫冈·普伦宁格;亚历山大·普雷施纳;哈拉尔德·拉菲尔特;马蒂亚斯·罗尔;马可·萨梅尔;斯文·桑德伯格;克里斯蒂安·夏尔哈特;德克·塞弗特;瓦列里Tschaen;马基尔·范德·比吉尔;维雷娜·沃尔夫] 反应系统的基于模型的测试。高级讲座。 (英语) 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页);Valéry Tschaen女士,基于预订单关系的测试生成算法(第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页)。第六部分,超越测试:Séverine科林和莱昂纳多·马里亚尼《运行时验证》(第525–555页);特蕾丝·伯格和哈拉尔德·拉菲尔特《模型检查》(第557-603页)。第七部分,附录:亚历山大·普雷施纳和马丁·勒克,基于模型的测试——术语表(第607-609页);本特·琼森《有限状态机》(第611-614页);Joost-Pieter Katoen公司《标记过渡系统》(第615-616页);文献(第617-651页);索引(第653-659页)。 引用于50文件 MSC公司: 60年第68季度 规范和验证(程序逻辑、模型检查等) 68米15 网络和计算机系统的可靠性、测试和容错 2002年8月 与计算机科学有关的研究展览会(专著、调查文章) 68-06 与计算机科学有关的会议记录、会议、收藏等 PDF格式BibTeX公司 XML格式引用 \textit{M.Broy}(编辑)等人,反应系统的基于模型的测试。高级讲座。柏林:施普林格出版社(2005;Zbl 1070.68088) 全文: 内政部