摘要
净室技术规范在实际实施中需要对大量细节问题作出决断,这些决断需要对净室技术本质的了解,并把握一定的原则,机械地套用规范是行不通的。笔者从本质上对净室的设计过程进行了研究,提出了分层次、由大化小的递归式问题分解、求解步骤,作为设计方法的总体构想,它与净室规范是有机地结合在一起的。净室的方法中包括了两大逻辑的引入:"选择"与"顺序",在此基础上就不难实现"循环";因此,净室方法具备了结构化程序的三个必备逻辑要素,是完备的。为了提高效率,规范的实施必须遵循大粒度激励响应集、小状态变量集、简约化明盒控制流实现的原则,这些正是归约点的所在。
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.
出处
《重庆大学学报（自然科学版）》
EI
CAS
CSCD
北大核心
2004年第1期88-91,共4页
Journal of Chongqing University
关键词
软件工程
净室
归约
规范函数
software engineering
cleanroom
reduction
normalized function P
