伯恩哈德·艾切尼格（Bernhard K.Aichernig）。 代数语义、指称语义和操作语义的测试视角。 （英语） Zbl 07168632号 Ribeiro，Pedro（编辑）等人，《统一编程理论》。2019年10月8日，在托尼·霍尔85岁生日之际，在葡萄牙波尔图举行了第七届UTP 2019国际研讨会。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11885, 22-38 (2019). 摘要：在本文中，我们从测试的角度讨论了形式语义的作用。我们的重点是一致性测试，在这里我们测试给定的系统欠测是否符合其预期行为的抽象描述。我们展示了主要的语义范式，即代数语义、指称语义和操作语义，如何支持系统测试过程，并从我们自己的自动测试用例生成工作中给出了示例。关于整个系列，请参见[Zbl 1419.68018号]. MSC公司： 68号30 软件工程的数学方面（规范、验证、度量、需求等） 关键词：语义学;统一程序设计理论;测试用例生成;基于模型的测试;SMT解决方案;符号执行;快速检查 PDF格式BibTeX公司 XML格式引用 \textit{B.K.Aichernig}，莱克特。注释计算。科学。11885，22-38（2019；Zbl 07168632） 全文： 内政部