净室软件工程中的旋进策略.pdfVIP

维普资讯 2厂 ， j： 期 青 岛 大 学 学 报 V1】j_ (’ ． 。。 日 JOURNALOFQINGDAOUNIVERSITY SeD !… 文章编号 2000 净室软件工程中的旋进策略 刘喜华 吴育华 弋 l 天津大学管理 学院。乏津 300072) 摘要 在阐述净室方法的基础上 ，始出了将旋进策略扩展到设计阶段细节的方法 。研究证明，旋 进策略不仅简化 了，一致性规约 ，而且还从局部上增强 了工程过程的灵活性 关键词些 望 旋进 文献标识码 件互 中图分类号 ：TP31l ：A。 J 缆 旋递笨畦 为 得到高质量 的软件 ，必须尽可能减少软件 1 软件开发过程所面临的问题 围失救和其他各种错误 其中测试是最常见的方法 静态排查是测试技术的一个重要方面，大量实践证 软件研发经常面临以下一些问题 ： 日月r其有效性 人们逐渐开始考虑是否可以证明程 (1)在项 目鉴定前草草测试 ，遗 留大量质量问 『部件的正确性 ，蛤出边界的约束条件和其它谜斤言， 题 ； 并逐步将这些约束和断言分割到程序的每一个细 (2)不稳定的、草率的项 目管理机制； 节 从此各种有坚实数学基础的形式化方法t例如： 3【)如果要保证质量 那么就很难估量项 目的完 Zj取得 r重大的成功 实际上有一些软件 产品的可 成 日期 ； 靠l生是毛关重要 的，其整体或 至少某个部分的失效 (4)为应付鉴定而草草集成软件的某些部分．以 是无法容忍的．或者是有广泛影响的 因此为了设计 组成可以演示的软件 ，以便通过鉴定 ； 出无错的程序部件 ，净室软件工程有机结合 丁一些 (5)软件的可靠性等可维护因素很差 ，加大 维 有坚实数学理论基础的严格 的形式化规格说明、设 护难度 ； 1}验证工程方法。与其它方法不 同之处在于它不是 (6)因文档质量较低，软件可靠性有限，因而各 试图在完成设计后通过测试将软件中的错误检测出 部件很难重用。 _罘．而是试图在被编译前歪少在其进行测试前就通 在 制造业的质量控制过程 中，质量 问题被尽可 过数字证明、尽可能保证其正确性 能地预先关注 而不是试图等到其引发某种后果、或 净室并不是 一种专门的关键代码设计方法、它 依赖人为引发的某种后果来探察和排 除问题来源 也 是表面上看上去的那样会增加成本 实际上、由 可以说．质量 自始至终被精心的度量和控制 l有效保障了质量 ，测试，排错 ，尤其是维护的成本 净室方法就是以预防为优先的方法 ． 会极大降低。净室软件工程的方法已经在许多工程 2 经典净室方法 应用中取得 了成功。实践 中、净室技术不仅是形式化 方法．它还是若干成功的软件工程技术的有机结合， 经典的净室方法中，程序员在没有编译器的情 它不是某种单一的纯粹 的形式化技术，而是一种降 况下进行程序设计 ，并雎形式化的方法证明碌代码 低成奉．提高效费比的方法 。