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

• 作者: 李镔 杨涛 王铮 谭歆
• 来源期刊: 重庆大学学报(自然科学版)
• 学科: 工学
• 关键词: 软件工程 净室 归约 规范函数
• 年，卷（期）: 2004,（1）
• 页码范围: 88-91
• 页数: 4页
• 分类号: TP311.5
• 字数: 4390字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-582X.2004.01.023

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	谭歆		11	47	4.0	6.0
2	杨涛	重庆大学计算机学院	46	415	13.0	18.0
3	王铮	重庆大学计算机学院	49	388	9.0	17.0