论文标题
使用搜索辅助代码规范
Assisted Specification of Code Using Search
论文作者
论文摘要
我们描述了一个基于挖掘现有软件存储库的智能助手，以帮助开发人员交互创建代码可检查规格。为了最有用，我们将其应用于子系统级别，即可以独立或集成到现有应用程序中以提供其他功能或功能的1000-10000行的代码。最初的规格包括应编写的内容的句法描述，以及最初以测试用例的形式进行的语义规范。生成的规范旨在使用已提出的各种技术（包括机器学习，代码搜索和程序合成）进行自动代码生成。我们的研究目标是使这些技术有效地用于创建子系统，而无需开发人员从头开始编写详细的规格。
We describe an intelligent assistant based on mining existing software repositories to help the developer interactively create checkable specifications of code. To be most useful we apply this at the subsystem level, that is chunks of code of 1000-10000 lines that can be standalone or integrated into an existing application to provide additional functionality or capabilities. The resultant specifications include both a syntactic description of what should be written and a semantic specification of what it should do, initially in the form of test cases. The generated specification is designed to be used for automatic code generation using various technologies that have been proposed including machine learning, code search, and program synthesis. Our research goal is to enable these technologies to be used effectively for creating subsystems without requiring the developer to write detailed specifications from scratch.
