文章预览
今天介绍的论文来自于南京大学、南洋理工大学、新加坡管理大学合作完成并投稿的，已被软件工程顶会ICSE 2025接收的论文 SpecGen: Automated Generation of Formal Program Specifications via Large Language Models 。 本文聚焦于形式化程序规约生成问题。程序规约主要是用来描述程序的语义与行为，它们在软件开发的多个环节中均可发挥重要作用。根据规约所采用的语言，程序规约可分为自然语言规约与形式化规约。其中，由于形式语言的无歧义性与可解析性，用形式语言写就的形式化程序规约对各项自动化软件工程技术具有难以替代的重要价值。然而，形式语言繁杂晦涩，人工阅读并手动编写完善的形式化程序规约难度较高，这促成了自动化程序规约生成技术的诞生。传统程序规约生成技术一般采用基于模版与规则的方法，只能覆盖有限的规约模式，泛用性不足，难
………………………………
