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

净室技术规范在实际实施中需要对大量细节问题作出决断,这些决断需要对净室技术本质的了解,并把握一定的原则,机械地套用规范是行不通的.笔者从本质上对净室的设计过程进行了研究,提出了分层次、由大化小的递归式问题分解、求解步骤,作为设计方法的总体构想,它与净室规范是有机地结合在一起的.净室的方法中包括了两大逻辑的引入:"选择"与"顺序",在此基础上就不难实现"循环";因此,净室方法具备了结构化程序的三个必备逻辑要素,是完备的.为了提高效率,规范的实施必须遵循大粒度激励响应集、小状态变量集、简约化明盒控制流实现的原则,这些正是归约点的所在.