关于正则语言有理集的结构与复杂性
摘要：对于测试覆盖率准确性，我们引入了FQL这个精确的规范语言并开发了适用于ANSI C的测试用例生成引擎FShell。简单来说，FQL测试规范就是一组需要至少有一个测试执行与之匹配的正则语言。为了描述这种正则语言的集合，FQL语义使用了一个自动机理论概念，即有理正则语言集合（RSRLs）。RSRLs是由正则表达式构成字母表的自动机，因此被自动机接受的语言是一个正则表达式的集合。 在本文中，我们从理论角度研究了RSRLs。具体而言，我们分析了RSRLs在常见集合操作下的闭包性质，以及成员检查的复杂性，即一个正则语言是否为RSRL的元素。对于所有问题，我们研究了一般情况和有限正则语言集的情况。尽管有少数性质仍然是开放问题，但本文为测试规范语言FQL提供了一个系统的语义基础。
作者：Andreas Holzer, Christian Schallhart, Michael Tautschnig, Helmut Veith
论文ID：1305.6074
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2013-05-28