研究论文

重新生成：用于扩展正则表达式的语言生成器

作者:

加布里埃尔拉丹（Radanne）,

彼得蒂埃曼作者信息和声明

GPCE 2018：第17届ACM SIGPLAN生成性编程国际会议记录：概念和经验

页202-214

https://doi.org/10.1145/3278122.3278133

出版:2018年11月5日出版历史

获取访问权限

摘要

正则表达式是每个程序员工具箱的一部分。它们被用于各种与语言相关的任务，并且有许多用于操作它们的算法。特别是，检测单词是否属于正则表达式所描述的语言的匹配算法得到了很好的研究，但新的算法经常出现。然而，没有令人满意的方法来测试这种匹配器。我们提出了一种测试方法，该方法基于生成语言中单词的正面和负面示例。为此，我们提出了一种新的算法来生成由带有交集和补码算子的广义正则表达式描述的语言。补码操作符允许我们从给定的正则表达式中生成正负示例单词。我们在Haskell和OCaml中实现了生成器，并表明其性能足以进行测试。

工具书类

[1]

Margareta Ackerman和Erkki Mäkinen。2009.正则语言枚举的三种新算法。COCOON（计算机科学讲义），第5609卷。施普林格，178-191。

数字图书馆

[2]

玛格丽塔·阿克曼和杰弗里·沙利特。2009.常规语言中单词的有效枚举。西奥。计算。科学。410, 37 (2009), 3461– 3470.

数字图书馆

[3]

瓦伦丁·安蒂米洛夫（Valentin M.Antimirov）。1996.正则表达式的偏导数和有限自动机构造。理论计算机科学155，2（1996），291–319。

数字图书馆

[4]

Janusz A.Brzozowski。1964.正则表达式的导数。J.ACM 11，4（1964），481-494。

数字图书馆

[5]

科恩·克莱森和约翰·休斯。QuickCheck：一个轻量级工具，用于Haskell程序的随机测试。在2000年9月18日至21日举行的第五届ACM SIGPLAN功能编程国际会议（ICFP'00）的会议记录中，Martin Odersky和Philip Wadler（编辑）。加拿大蒙特利尔ACM，268-279。

数字图书馆

[6]

俄罗斯考克斯。2007.实施正则表达式。(2007). https://swtch。com/~rsc/regexp/。

[7]

俄罗斯考克斯。2010.野生正则表达式匹配。（2010年3月）。https://swtch.com网址/~rsc/regexp/regexp3.html。

[8]

斯蒂芬·多兰和明迪·普雷斯顿。2017年，使用撬棍进行测试。(2017).

[9]

塞巴斯蒂安·菲舍尔（Sebastian Fischer）、弗兰克·赫赫（Frank Huch）和托马斯·威尔克（Thomas Wilke）。2010年，正则表达式剧本：函数珍珠。2010年9月27日至29日，在美国马里兰州巴尔的摩举行的第15届ACM SIGPLAN功能编程国际会议上，Paul Hudak和Stephanie Weirich（编辑）。美国医学会，357–368。

数字图书馆

[10]

爱德华·弗雷德金。1960年，尝试记忆。3（1960年9月），490-499。第9版。

数字图书馆

[11]

贝诺·格罗兹和塞巴斯蒂安·马内斯。2017.高效测试和匹配确定性正则表达式。J.计算。系统。科学。89 (2017), 372–399.

[12]

约翰·霍普克罗夫特（John E.Hopcroft）、拉杰夫·莫特瓦尼（Rajeev Motwani）和杰弗里·乌尔曼（Jeffrey D.Ullman）。2003.自动机理论、语言和计算导论-国际版（2。d）。艾迪森·韦斯利。

[13]

拉尔夫·拉梅尔。2001.语法测试。《软件工程的基本方法》，第四届国际会议，FASE 2001，作为欧洲软件理论与实践联合会议的一部分，ETAPS 2001，Genova，意大利，2001年4月2日至6日，会议记录（计算机科学讲稿），Heinrich Hußmann（编辑），第2029卷。施普林格，201-216。

数字图书馆

[14]

胡丽、金茂忠、刘超和高忠义。2004.上下文无关语法测试标准。在第28届国际计算机软件与应用会议（COMPSAC 2004）上，《基于可信软件的系统的设计与评估》，2004年9月27-30日，中国香港，会议记录。IEEE计算机学会，300-305。

数字图书馆

[15]

埃尔基·梅基宁。1997年，关于规则语言和上下文无关语言的词汇枚举。《网络学报》。13, 1 (1997), 55–61.

数字图书馆

[16]

道格拉斯·麦克罗伊先生。2004.枚举正则语言的字符串。J.功能。程序。14, 5 (2004), 503–518.

数字图书馆

[17]

贾亚德夫·米斯拉。2000.枚举正则表达式的字符串。（2000年8月）。https://www.cs.utexas.edu/users/misra/Notes.dir/RegExp.pdf .

[18]

Max S.New、Burke Fetscher、Robert Bruce Findler和Jay A.McCarthy。2017.公平计数组合。J.功能。程序。27（2017），第19页。

[19]

克里斯·冈崎和安德鲁·吉尔。1998.快速可合并整数映射。在ML.77–86的In Workshop中。

[20]

A.M.Paracha和Frantisek Franek。2008年，测试自顶向下语法分析器的语法。《计算机科学和工程的创新与进步》，2008年国际系统、计算科学和软件工程会议（SCSS）会议记录第一卷，计算机、信息和系统科学与工程国际联合会议的一部分，CISSE 2008，美国康涅狄格州布里奇波特，Tarek M.Sobh（编辑）。施普林格，451-456。

[21]

弗朗索瓦·波蒂埃。2017.验证高阶分离逻辑中的哈希表及其迭代器。在2017年1月16日至17日于法国巴黎举行的第六届ACM SIGPLAN认证课程和证明会议记录中，Yves Bertot和Viktor Vafeiadis（编辑）。ACM，3–16岁。

数字图书馆

[22]

保罗·珀多姆。1972年，用于测试解析器的句子生成器。BIT 12，3（1972），366–375。

[23]

肯·汤普森（Ken Thompson）。1968.正则表达式搜索算法。Commun公司。ACM 11，6（1968），419-422。

数字图书馆

[24]

杰弗里·斯科特·维特。1987。一种有效的顺序随机抽样算法。ACM事务处理。数学。柔和。13, 1 (1987), 58–67.

数字图书馆

[25]

M.Zalewski。2014. http://lcamtuf.coredump.cx/afl/

[26]

郑丽晓和吴端义。2009.用于测试语法的句子生成算法。2009年7月20日至24日在美国华盛顿州西雅图举行的2009年第33届IEEE国际计算机软件和应用年会论文集。第1卷，谢赫·伊克巴尔·阿哈迈德（Sheikh Iqbal Ahamed）、伊丽莎·贝尔蒂诺（Elisa Bertino）、卡尔·张克伦（Carl K.Chang）、弗拉基米尔·盖托夫（Vladimir Getov）、林刘（Lin Liu）、华明（Hua Ming）和拉杰。IEEE计算机学会，130-135。

数字图书馆

引用人

郑L马斯（Ma S）陈Z罗X(2021)确保正则表达式的正确性：综述国际自动化与计算杂志2007年10月10日/11633-021-1301-4在线发布日期：2021年6月4日
https://doi.org/10.1007/s11633-021-1301-4
扎基·伊斯梅尔A奥萨马·M阿卜杜勒拉泽克M格兰迪J易卜拉欣A(2021)CORG：一个面向组件的综合文本需求生成器需求工程：软件质量的基础10.1007/978-3-030-73128-1_4(54-70)在线发布日期：2021年4月2日
https://doi.org/10.1007/978-3-030-73128-1_4

索引术语

重新生成：用于扩展正则表达式的语言生成器
1. 软件及其工程
  1. 软件创建和管理
    1. 软件验证和确认
      1. 软件缺陷分析
        软件测试和调试
  2. 软件符号和工具
    1. 通用编程语言
      1. 语言类型
        函数式语言
2. 计算理论
  1. 形式语言与自动机理论
    1. 语法和上下文无关语言
    2. 常规语言

建议

重新生成：用于扩展正则表达式的语言生成器
GPCE’18

正则表达式是每个程序员工具箱的一部分。它们被用于各种各样与语言相关的任务，并且有许多用于操作它们的算法。特别是，检测单词是否属于。。。
正则表达式和扩展正则表达式
CIAA'02：第七届自动机实现与应用国际会议论文集

Regex用于许多程序，如Perl、Awk、Python、egrep、vi、emacs等。众所周知，Regex不同于正则表达式。在本文中，我们对正则表达式进行了形式化处理。我们区分了正则表达式和扩展正则表达式。。。
使用SugarHaskell实现对布局敏感的语言扩展
哈斯克尔12：2012年哈斯克尔研讨会会议记录

程序员需要方便的语法来编写优雅简洁的程序。因此，Haskell标准为某些场景提供了语法糖（例如，为一元代码做标记），Haskel编译器的作者为更多。。。

评论

信息和贡献者

问询处

发布于

封面图片ACM会议

GPCE 2018：第17届ACM SIGPLAN生成性编程国际会议记录：概念和经验

2018年11月

214页

国际标准图书编号：9781450360456

内政部：10.1145/3278122

总主席：
埃里克·范·威克
美国明尼苏达大学
,
项目主席：
蒂亚克·隆普夫
美国普渡大学

ACM SIGPLAN通知第53卷第9期
GPCE’18年
2018年9月
214页
国际标准编号：0362-1340
EISSN公司：1558-1160
内政部：10.1145/3393934
编辑：
延斯·帕尔斯伯格
加利福尼亚大学，洛杉矶
期刊目录

版权所有©2018 ACM。

授权给ACM的出版权。ACM承认，这篇文章是由国家政府的雇员、承包商或附属机构撰写或共同撰写的。因此，政府保留非排他性、免版税的权利，仅为政府目的发布或复制本文章，或允许他人这样做。

发起人

SIGPLAN：ACM编程语言特别兴趣小组

出版商

计算机协会

美国纽约州纽约市

出版历史

出版：2018年11月5日

权限

请求对此文章的权限。

检查更新

作者标记

限定符

研究文章

会议

GPCE’18

赞助商：

SIGPLAN（SIGPLAN）

GPCE’18：第17届ACM SIGPLAN生成性编程国际会议：概念和经验

2018年11月5-6日

马萨诸塞州，美国波士顿

接受率

总体接受率180份提交文件中的56份，31%

即将召开的会议

GPCE’24

赞助商：
信号平面图

第23届ACM SIGPLAN生成性编程国际会议：概念和经验

2024年10月21日至22日

帕萨迪纳，加利福尼亚州，美国

贡献者

其他指标

查看文章指标

文献计量学和引文

文献计量学

文章指标

2
引文总数
查看引文
201
总下载次数

下载次数（过去12个月）7
下载次数（最近6周）0

反映截至2024年9月15日的下载量

其他指标

查看作者指标

引文

引用人

郑L马斯（Ma S）陈Z罗X(2021)确保正则表达式的正确性：综述国际自动化与计算杂志2007年10月10日/11633-021-1301-4在线发布日期：2021年6月4日
https://doi.org/10.1007/s11633-021-1301-4
扎基·伊斯梅尔A奥萨马·M阿卜杜勒拉泽克M格兰迪J易卜拉欣A(2021)CORG：一个面向组件的综合文本需求生成器需求工程：软件质量的基础10.1007/978-3-030-73128-1_4(54-70)在线发布日期：2021年4月2日
https://doi.org/10.1007/978-3-030-73128-1_4

视图选项

获取访问权限

登录选项

检查您是否可以通过登录凭据或您的机构访问本文。

完全访问权限

获取此出版物

查看选项

PDF格式

以PDF文件查看或下载。

电子阅读器

使用联机查看电子阅读器.

电子阅读器

媒体

数字

其他

桌子