Knowledge Commons of Institute of Automation,CAS
Ensuring the Correctness of Regular Expressions: A Review | |
Li-Xiao Zheng1; Shuai Ma2; Zu-Xi Chen1; Xiang-Yu Luo1 | |
发表期刊 | International Journal of Automation and Computing |
ISSN | 1476-8186 |
2021 | |
卷号 | 18期号:4页码:521-535 |
摘要 | Regular expressions are widely used within and even outside of computer science due to their expressiveness and flexibility. However, regular expressions have a quite compact and rather tolerant syntax that makes them hard to understand, hard to compose, and error-prone. Faulty regular expressions may cause failures of the applications that use them. Therefore, ensuring the correctness of regular expressions is a vital prerequisite for their use in practical applications. The importance and necessity of ensuring correct definitions of regular expressions have attracted extensive attention from researchers and practitioners, especially in recent years. In this study, we provide a review of the recent works for ensuring the correct usage of regular expressions. We classify those works into different categories, including the empirical study, test string generation, automatic synthesis and learning, static checking and verification, visual representation and explanation, and repairing. For each category, we revew the main results, compare different approaches, and discuss their advantages and disadvantages. We also discuss some potential future research directions. |
关键词 | Regular expressions correctness string generation learning static checking verification visualization, repairing |
DOI | 10.1007/s11633-021-1301-4 |
七大方向——子方向分类 | 其他 |
国重实验室规划方向分类 | 其他 |
是否有论文关联数据集需要存交 | 否 |
引用统计 | |
文献类型 | 期刊论文 |
条目标识符 | http://ir.ia.ac.cn/handle/173211/45061 |
专题 | 学术期刊_Machine Intelligence Research |
作者单位 | 1.College of Computer Science and Technology, Huaqiao University, Xiamen 361021, China 2.State Key Laboratory of Software Development Environment, Beihang University, Beijing 100191, China |
推荐引用方式 GB/T 7714 | Li-Xiao Zheng,Shuai Ma,Zu-Xi Chen,et al. Ensuring the Correctness of Regular Expressions: A Review[J]. International Journal of Automation and Computing,2021,18(4):521-535. |
APA | Li-Xiao Zheng,Shuai Ma,Zu-Xi Chen,&Xiang-Yu Luo.(2021).Ensuring the Correctness of Regular Expressions: A Review.International Journal of Automation and Computing,18(4),521-535. |
MLA | Li-Xiao Zheng,et al."Ensuring the Correctness of Regular Expressions: A Review".International Journal of Automation and Computing 18.4(2021):521-535. |
条目包含的文件 | 下载所有文件 | |||||
文件名称/大小 | 文献类型 | 版本类型 | 开放类型 | 使用许可 | ||
IJAC-2021-01-032.pdf(1076KB) | 期刊论文 | 出版稿 | 开放获取 | CC BY-NC-SA | 浏览 下载 |
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。
修改评论