净室软件工程在软件开发中作用

摘要：

净室软件工程是软件开发的一种形式化方法,它可以生成有非常高的质量的软件.它使用盒结构规约进行分析和设计建模,强调用正确性的验证,而不是测试,作为发现和消除错误的主要机制.

关键词： 净室工程 功能规约 测试 认证

作者: 唐云廷

作者单位: 浙江万里学院(宁波)

会议类型: 国内会议

会议名称: 企业信息化高级论坛暨全国第12届CAD/CG学术会议

会议地点: 贵阳

会议语种:中文

页码: 567-570

在线出版日期: 2002-08-20（万方平台首次上网日期，不代表论文的发表时间）