相关推荐

【系统架构】第五章-软件工程基础知识（软件测试、净室软件工程、基于构件的软件工程、 软件项目管理）

软考-系统架构设计师知识点提炼-系统架构设计师教程（第2版）

净室软件工程

净室软件开发，一个保证安全的软件开发方法

软考高级：净室软件工程概念和例题

明明如月学长， CSDN 博客专家，大厂高级 Java 工程师，《性能优化方法论》作者、《解锁大厂思维：剖析《阿里巴巴Java开发手册》》、《再学经典：《Effective Java》独家解析》专栏作者。

系统分析师：七、软件工程(含系统规划)

瀑布模型也称为生命周期法，它仅适用于需求明确或变更非常少的项目。系统规划步骤有：1、对现有系统进行初步调查；2、分析和确定系统目标；3、分析子系统的组成和基本功能；4、拟定系统的实施方案；5、进行系统的可行性研究；6、制定系统建设方案。

系统架构师学习笔记-系统开发基础知识（一）

目录     软件开发方法 软件开发模型   软件开发方法 净室方法：净室软件工程（净室方法）是软件开发的一种形式化方法，它可以生成高质量的软件。 净室方法主要使用三种盒类型： 1. 黑盒：刻划系统或系统的某部分的行为； 2. 状态盒：以类似于对象的方式封装状态数据和服务(操作)； 3. 清晰盒：在清晰盒中定义状态盒所蕴含的变迁功能；   结构化方法：结构化方法属于自顶向...

软件测试的基础知识概要介绍

一、概述二、软件测试的目的三、软件测试的基本方法四、软件测试的复杂性与经济性五、软件测试的心理学问题六、好的测试工程师应具备的素质七、参考文献一、概述信息技术的飞速发展，使软件产品应用到社会的各个领域，软件产品的质量自然成为人们共同关注的焦点。不论软件的生产者还是软件的使用者，均生存在竞争的环境中，软件开发商为了占有市场，必须把产品质量作为企业的重要目标之一，以免在

净室软件认证

　软件测试 的统计方法首先由 Harlan Mills（Mills，Dyer，and Linger 1987）和他 IBM 的 同事开发出来，后来，John Musa（1993）和他 AT＆T的同事也开发了相似的方法。Mills和 Musa所用的术语虽有细微的差别，但它们都是运用成熟的工程准则对产品进行测试和验证的科学方法。在工业界，典型地采用一组产品抽检协议 （protocol）进行合...

净室软件工程-

使用盒模型规约进行分析和建模，并将正确性验证作为发现和排除错误的主要机制，采用统计测试来获取验证软件可靠性所需要的信息 强调在规约和设计上的严格性，以及使用基于数学的正确性来证明对设计模型的每个元素进行形式化验证 ...

净室软件工程：技术与过程

净室软件工程：技术与过程 （cleanroom software engineer: technology and process）

净室软件工程随笔 ----《零缺陷程序设计》读书笔记

今天终于看完了《零缺陷程序设计》,这可能是我看的计算机书中,按时间/页来算时间最长的一本了.薄薄200页看了一个半月.期间主要是因为放假了就懒得翻书了.不过更长的时间间隔可以让我有充足的时间去体会净室工程的实质. "净室软件工程",作为程序员应该都听说过这个名字吧,但真正了解他的却真的不多(有点像我喜欢的python).不了解同时还带来了偏见,这个随笔的最后我打算就别人的一些见解发表一下自己的看法

净室软件工程及发展

净室软件工程及发展  本文转载自软件工程专家网http://www.21cmm.com/ 　　净室是一种以合理的成本开发高质量软件的基于理论、面向工作组的方法。净室是基于理论的，因为坚实的理论基础是任何工程学科所不可缺少的。再好的管理 也代替不了理论基础。净室是面向工作组的，因为软件是由人开发出来的，并且理论必须简化到实际应用才能引导人的创造力和协作精神。净室...

净室软件工程及发展 (转)

净室软件工程及发展 (转)[@more@]净室软件工程及发展 未经允许，严禁转载本栏目内容 本文经许可转载自软件工程专家网www.21cmm.com， 未经CSDN许可，请勿随便转载，谢谢合作 ASP?page=/...

净室过程 (转)

净室过程 (转)[@more@]净室过程未经允许，严禁转载本栏目内容 本文经许可转载自软件工程专家网www.21cmm.com， 未经CSDN许可，请勿随便转载，谢谢合作ASP?page=/bbs/index.asp?Ty...

测试中使用SecureCRT的经验归纳

测试中使用SecureCRT的经验归纳 在DVR测试过程中，我们常常需要使用NetTerm、SecureCRT之类的工具软件来进行串口调试或者是记录串口及Telnet的信息。NetTerm功能较为简单，且一个串口或Telnet连接就需要占用一个窗口。在测试间拷机等连接数较多的场合，采用NetTerm连接DVR设备，就会产生大量的窗口，使用中有所不便。实际应用中，我们更倾向于使用SecureCRT，它可以把多个连接以标签页的形式显示在同一个窗口，善用其中一些辅助功能的话，还能让串口调试与信息记录更加...

净室规范和设计的盒子结构（1）

净室规范和设计的盒子结构（1）未经允许，严禁转载本栏目内容本文经许可转载自软件工程专家网www.21cmm.com，未经CSDN许可，请勿随便转载，谢谢合作　　盒子结构是在规范和设计中对现实系统的外在基本属性的功能描述。图3.1描绘了三种盒子：黑盒、状态盒、明盒。这些盒子不仅展示了外部行为，而且还提高了内部可见度。黑盒确定了一个系统或系统组件的外

软件工程(三)-统一过程与敏捷方法

统一过程也叫或者。这种开发方法是在的方法发展而来，也是基于构建化的思想发展而来。在进行软件开发过程中，是用什么驱动力去推动整个过程用例驱动就是一开始会构建用例，然后一步一步将用例实现出来，测试时也依据用例设计一些测试用例。测试驱动会在开发的一开始，就引入测试相关的东西，整个流程中的每一步衔接都都利用测试去推动流程。比如建房子时需要先把框架建立起来，这就是架构的思想。整个开发过程不是一次性完成的，而是走多轮迭代，一轮一轮完成的，每次迭代都有新的东西加进来。初始：该做什么，不该做什么，要做鉴定。

净室方法

shi净室方法是软件开发的一种形式化方法，它可以生成高质量的软件。它使用盒结构规约进行分析和设计建模，并且强调将正确性验证(而不是测试)作为发现和消除错误的主要机制，使用统计的测试来获取认证被交付的软件的可靠性所必须的出错率信息。 净室方法从使用盒结构表示的分析和设计模型入手，一个“盒”在某特定的抽象层次上封装系统(或系统的某些方法)。通过逐步求精的过程，盒被精化为层次，其中每个盒具有引用透明性...