拉尔斯·弗兰岑；特雷特曼，简；Tim A.C.Willemse。 基于符号规范的测试生成。 （英语） Zbl 1081.68570号 Grabowski，Jens（编辑）等人，软件测试的形式化方法。2004年9月21日，第四届国际研讨会，《命运2004》，奥地利林茨。修改选定的论文。柏林：施普林格出版社（ISBN 3-540-25109-X/pbk）。计算机科学讲座笔记3395，1-15（2005）。 摘要：经典的状态导向测试方法基于简单的机器模型，如标记转换系统（LTS），其中数据由具体值表示。为了实现这些理论，必须将具有无限宇宙的数据类型缩减为有限变量，然后枚举这些变量以适应模型。这导致状态空间爆炸。此外，在枚举之后，利用相关数据类型的语法和/或语义信息是非常重要的。为了克服这些问题，我们解除了测试关系家族{ioco}_｛\mathcal F｝\）到符号转换系统（STSs）的水平。我们提出了一种基于STS的算法，它可以在给定的系统上实时生成和执行测试。对于\（\文本来说，它是完整的{ioco}_{\mathcal F}\）测试关系。关于整个系列，请参见[Zbl 1069.68008号]. 引用于7文件 MSC公司： 68号30 软件工程的数学方面（规范、验证、度量、需求等） 软件：TorX公司；快速检查 PDF格式BibTeX公司 XML格式引用 \textit{L.Frantzen}等人，Lect。注释计算。科学。3395，1--15（2005年；Zbl 1081.68570） 全文： 内政部