|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
净室软件工程（净室方法）是软件开发的一种形式化方法，它可以生成高质量的软件。它使用盒结构规约进行分析和设计建模，并且强调将正确性验证（而不是测试）作为发现和消除错误的主要机制，使用统计的测试来获取认证被交付的软件的可靠性所必需的出错率信息。
|
|
|
|
净室方法从使用盒结构表示的分析和设计模型入手，一个“盒”在某特定的抽象层次上封装系统（或系统的某些方面），通过逐步求精的过程，盒被精化为层次，其中每个盒具有引用透明性：每个盒规约的信息内容对定义其精华是足够的，不需要信赖于任何其他盒的实现。这使得分析人员能够层次地划分一个系统，从在顶层的本质表示转向在底层的实现特定的细节。净室方法主要使用三种盒类型：
|
|
|
|
（1）黑盒。这种盒刻划系统或系统的某部分的行为。通过运用由激发得到反应的一组变迁规则，系统（或部分）对特定的激发（事件）作出反应。
|
|
|
|
（2）状态盒。这种盒以类似于对象的方式封装状态数据和服务（操作）。在这个规约视图中，表示出状态盒的输入（激发）和输出（反应）。状态盒也表示黑盒“激活历史”，即，封装在状态盒中的，必须在蕴含的变迁间保留数据。
|
|
|
|
（3）清晰盒。在清晰盒中定义状态盒所蕴含的变迁功能，简单地说，清晰盒包含了对状态盒的过程设计。
|
|
|
|
一旦完成了盒结构设计，则运用正确性验证。软件构件的过程设计被划分为一系列子函数，为了证明每个子函数的正确性，要为每个函数定义出口条件并实施一组子证明。如果每个出口条件均满足，则设计一定是正确的。
|
|
|
|
一旦完成了正确性验证，便开始统计的使用测试。和传统测试不同，净室软件工程并不强调单元测试或集成测试，而是通过定义一组使用场景、确定对每个场景的使用概率及定义符合概率的随机测试来进行软件测试（这种活动称为正确性验证）。将产生的错误记录和取样、构件和认证模型相结合使得可以数学地计算软件构件的可靠性（这种活动称为基于统计的测试）。
|
|
|
|
净室方法是一种严格的软件工程方法，它是一种强调正确性的数学验证和软件可靠性的认证的软件过程模型，其目标和结果具有非常低的出错率，这是使用非形式化方法难于或不可能达到的。
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
建模是在计算机上创造三维形体的过程，建模是三维动画的基础，没有一个好的模型，其他好的效果都难以表现。三维建模的基本方法主要有：利用二维形体的技术、直接进行三维物体建模、造型组合等。
|
|
|
|
利用二维形体进行建模的技术的主要思想是首先创建简单的二维形体，如样条线和形状等，然后对这些创建的二维形体进行挤压、旋转、放样等操作以创建三维造型。
|
|
|
|
直接进行三维物体建模的常用方法有多边形建模、面片建模、NURBS建模等。
|
|
|
|
造型组合是把已有的物体组合成新的物体，其中布尔运算是最重要的组合技术。
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
（5）可追溯性。可追溯性评价指标及测量，如下表所示。
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
为了消除软件危机，通过认真研究解决软件危机的方法，人们认识到软件工程是使计算机软件走向科学的途径，逐渐形成了软件工程的概念，并开辟工程学的新兴领域，即软件工程学。
|
|
|
|
|
|
|
|
|
|
|
|
（3）过程。将方法和工具综合起来以达到合理、及时地进行计算机软件开发的目的。
|
|
|
|
|
|
软件生命周期是指软件产品从考虑其概念开始到该软件产品交付使用，直至最终退役为止的整个过程，包括计划阶段、分析阶段、设计阶段、实现阶段、测试阶段和运行维护阶段。
|
|
|
|
|
|
比较经典的软件开发模型有瀑布模型、快速原型模型、演化模型、增量模型、螺旋模型、喷泉模型等。
|
|
|
|
|
|
|
|
（1）结构化软件开发（SASD）方法：采用结构化技术来完成软件开发的各项任务。它把软件生命周期划分成若干个阶段，依次完成每个阶段的任务。它与瀑布模型有很好的结合度，是与其最相适应的软件开发方法。
|
|
|
|
（2）面向数据结构的软件开发方法：从目标系统的输入、输出数据结构入手，导出程序框架结构，再补充其他细节，从而可得到完整的程序结构图。有Jackson方法和Warnier方法。
|
|
|
|
（3）面向对象的软件开发方法：随着OOP（面向对象编程）向OOD（面向对象设计）和OOA（面向对象分析）的发展，最终形成面向对象的软件开发方法OMT（Object Modelling Technique）。这是一种自底向上和自顶向下相结合的方法，而且它以对象建模为基础，从而不仅考虑了输入、输出数据结构，实际上也包含了所有对象的数据结构。
|
|
|
|
（4）基于构件化的开发方法：用预先建立的构件和模板，像"搭积木"一样进行建造。
|
|
|
|
|
|
|
|
|
|
|
|
|
