增量式软件设计方法的条件

计算机工程与应用 ›› 2008, Vol. 44 ›› Issue (9): 10-12.

增量式软件设计方法的条件

王向云¹,蔡开元²,王三民³

1.天津师范大学计算机和信息工程学院，天津 300387
2.北京航空航天大学自动控制系，北京 100083

收稿日期:2007-11-08 修回日期:2007-12-21 出版日期:2008-03-21 发布日期:2008-03-21
通讯作者: 王向云

Condition of incremental software design approach

WANG Xiang-yun¹,CAI Kai-yuan²,WANG San-min³

1.College of Computer and Information Engineering，Tianjin Normal University，Tianjin 300387，China
2.Department of Automatic Control，Beihang University，Beijing 100083，China

Received:2007-11-08 Revised:2007-12-21 Online:2008-03-21 Published:2008-03-21
Contact: WANG Xiang-yun

摘要/Abstract

摘要： 增量式设计方法是软件开发中常用的一种设计方法，但是对其进行形式化研究的并不多。论文研究用多项式动态系统方法开发软件时是否可以用增量式设计方法。首先通过一个反例说明并不是在任何情况下都可以用增量式设计方法，然后通过定义软件需求的继承性，得到增量式软件设计的一个充分条件：当已经设计的软件需求具有继承性时，可以对新的软件需求采用增量式设计。

关键词: 软件控制论, 监控理论, 多项式动态系统, 增量式软件设计, 继承性

Abstract: Incremental design approach is widely used in software development practice，but few works studies the approach formally.This paper studies the incremental design approach formally with the polynomial dynamic system approach to software development.Firstly，an example is presented to show that the incremental design approach cannot be applicable to all cases.Then，a sufficient condition of incremental software design is introduced based on the concept of requirement’s heritability.That is all the requirements designed are heritable.

Key words: software cybernetics, supervisory control theories, polynomial dynamic systems, incremental software design, heritability

王向云¹,蔡开元²,王三民³. 增量式软件设计方法的条件[J]. 计算机工程与应用, 2008, 44(9): 10-12.

WANG Xiang-yun¹,CAI Kai-yuan²,WANG San-min³. Condition of incremental software design approach[J]. Computer Engineering and Applications, 2008, 44(9): 10-12.