从设计角度对净室技术的分析  

Analysis of Cleanroom Technology Through Angle of Design

作　　者：杨涛[1] 王铮[1] 谭歆 李镔[3] 

机构地区：[1]重庆大学计算机学院,重庆400030 [2]重庆邮电学院重庆,400065 [3]建设银行宜宾分行信息技术处,宜宾644000

出　　处：《重庆大学学报（自然科学版）》2004年第1期88-91,共4页Journal of Chongqing University

摘　　要：净室技术规范在实际实施中需要对大量细节问题作出决断,这些决断需要对净室技术本质的了解,并把握一定的原则,机械地套用规范是行不通的。笔者从本质上对净室的设计过程进行了研究,提出了分层次、由大化小的递归式问题分解、求解步骤,作为设计方法的总体构想,它与净室规范是有机地结合在一起的。净室的方法中包括了两大逻辑的引入:"选择"与"顺序",在此基础上就不难实现"循环";因此,净室方法具备了结构化程序的三个必备逻辑要素,是完备的。为了提高效率,规范的实施必须遵循大粒度激励响应集、小状态变量集、简约化明盒控制流实现的原则,这些正是归约点的所在。During the implementation of Cleanroom Model, there are a lot of particular problems need to be resolved, which make it indispensable to grasp the essence and the principles of CRM. The article is on the essential research work in the design procedure of the Cleanroom technology. Through the analysis, it proposes a general architecture, based on which the entry point of the solving process and the distribution of the reducing procedure are introduced.

关 键 词：软件工程 净室 归约 规范函数 

分 类 号：TP311.5[自动化与计算机技术—计算机软件与理论]