一种约束制导的软件编程辅助方法.pdfVIP

一种约束制导的软件编程辅助方法 刘海文，孟娜，李进辉，王千祥 (北京大学 信息科学技术学院 软件研究所, 北京 100871) (高可信软件技术教育部重点实验室) 摘 要：软件的代码需要遵守各种各样的约束。这些约束有些是与业务逻辑无关的，有些是业务逻辑相关的。编 程语言的 BNF是最重要的业务逻辑无关的约束。除此之外，还有许多业务逻辑无关的约束，例如调用语句之间的 先后顺序等。如果能将这些约束进行形式化的描述，再根据这种描述在程序编写过程中由已输入的代码推出后面 输入的代码片段，就可以提高代码的编写速度与质量。本文为这类约束提出了一种描述方法，并实现了一个基于 该方法的辅助编程工具，它能够依据约束规则对编码过程进行实时制导。 关键字： 约束制导，约束描述，辅助工具 An Constraint-Directed Programming Assistant Approach LIU Hai-Wen, MENG Na, LI Jin-Hui, WANG Qian-Xiang (Institute of Software, School of Electronics Engineering and Computer Science, Peking University, Beijing 100871, China) (Key laboratory of High Confidence Software Technologies, Ministry of Education, China) Abstract The codes of software have to follow various kinds of constraints. Some of these constraints are business-logic-independent, and others are business-logic- related. BNF of programming language are the most important business-logic-independent constraints. Besides, there are also plenty of other business-logic-independent constraints, such as constraints on the location relationship between code components. Through providing a formal description for these constraints and drawing the following code snippet to be written from existing codes by this description, we can code more quickly with higher quality. In this paper, we proposed an approach to describe such kind of constraints on code components, and implemented a programming assistant based on such approach, which can immediately provide proposals according to the constraint rules in coding stage. Keywords Constraint-Directed, Constraint Description, Programming Assistant