软件规范方法比较

软件工程是应用计算机科学、数学及管理科学等原理,借鉴工程化原则与方法,解决软件向题的工程.软件开发过程可划分为若干个从概念直到实现的阶段。一个典型的阶段划分序列包括:问题定义、需求分析、(功能)规范、(层次)设计、详细设计、实现、测试、维护和退役等。各阶段的划分并非固定不变,且其间无一个严格界限。称为“规范”的这个领域可以被划分为更加细致的一个层次,包括从间题定义到层次(总体)设计这几个阶段。一般按规范所包的范围,将规范分为两种类型:一种是需求规范,粗略地对应于上述阶段划分中的问题定义和需求分析两个阶段;另一种是系统规范,粗略地对应于上述划分中的功能规范和层次设计两个阶段(如下图)。     

一种基于分层切片模型思想的源程序信息分析方案

作为软件理解的手段之一,程序切片技术通过寻找程序内部的相关性来分解程序,再通过对分解所得程序切片的分析达到对整个程序的分析和理解。程序切片算法必须建立在对源程序信息正确、完整分析的基础上。详细地描述了一种基于分层切片模型思想的程序信息提取方案。该方案已成功运用到一种Java程序切片工具模型JSTM（Java Slicing Tools Model)中。     

一个面向对象软件度量自动生成工具

面向对象软件度量技术是面向对象开发方法中不可缺少的环。但是以往适用于过程性和结构化软件开发的传统度量方式是不适用于面向对象程序设计的。本文分析了面向对象程序设计语言的特点及其对软件度量的影响,并介绍了一个具体的支持Ｃ＋＋软件度量的自动生成工具。     

一种从面向对象Z规约到代码的精化演算方法

COOZ(complete object-oriented Z)的优势在于精确描述大型程序的规约.COOZ本身的结构 不支持精化演算,这限制了COOZ的应用能力,使COOZ难以作为完整的方法应用于软件的开发. 将精化演算引入COOZ,弥补了COOZ在设计和实现阶段的不足,同时也消除了规约与实现之间在 结构和表示方法上的完全分离,使程序开发在一个完整的框架下平滑进行.该文提出了基于CO OZ和精化演算的软件开发模型,通过实例讨论了数据精化和操作精化问题.在精化演算实现技 术方面构造了一种数据精化算子,提出一     

基于程序窗口推理的精化演算

由于数据精化需要针对更大的程序块, 所以,它比一般的算法精化更加复杂.在精化演算中过程如何有效地进行数据精化是形式化 方法研究中的一个重要内容.该文介绍了相关的基本概念.在精化演算的基础上,构造了一种 数据精化算子,并提出一种基于数据精化演算和程序窗口推理的数据精化的方法.     

一种基于类层次图的分析面向对象程序的框架

从类层次图CHG(class hierarchy graph)出发,提出一个基于CHG的分析面向对象程序的框架OOAF(object-oriented analyzing framework),讨论了OOAF的功能、算法和设计思想,给出了子对象识别以及可见方法、主导方法的确定算法,建立了可见方法类层次图;并且通过计算方法的继承集、改写集以及对方法改写边界的确定,生成程序的虚函数调用图,从而为理解面向对象程序中的虚函数调用问题提供了一种可行的解决方案.     

GA-9700C型火灾探测器专业清洗机简介

GA- 970 0 C火灾探测器专用清洗设备 ,系北京国安防火保安有限公司 98年底推出的第三代定型产品 ,以该公司“长期进行火灾探测器清洗工作”积累的大量经验为依托 ,借鉴、吸收、消化了国外同类专业设备的优点设计、制造 ,并改进了原 A型机的庞大体积 ,优化了自控系统的电器设计 ,在最大程度上降低了成本和售价 ,是该公司向火灾探测器清洗和维修行业推出的普及性机型。一、清洗工艺简介1.标准清洗工艺流程1润洗→ 2超声温洗→ 3超声漂洗→ 4纯水超声漂洗→ 5纯水淋洗2 .清洗槽位示意图 :4纯水超声漂洗槽5纯水淋洗工位2超声温洗槽3超声漂洗槽…     

塑料饮料瓶盖的替代试验

对原有塑料饮料瓶盖进行分析、确定和选型。通过对塑料饮料瓶盖替代试验的过程和结果进行分析，说明塑料饮料瓶盖替代后可以保证产品的质量。在投入实际生产运营后可以降低包装材料的成本，为公司增加经济效益。     

薏米发酵酸乳的研制

薏米发酵酸乳是以优质薏米为主要原料，经酶水解取汁，再接种乳酸菌发酵而成。本文采用正交试验对其主要的工艺条件进行了探讨，确定了最佳工艺参数。     

一个支持软件需求测试任务分析方法的工具

需求定义模型测试的任务分析方法，把需求情形实例当作需求模型的测试用例，用任务活动序列描述情形，并提供给任务分析专家和用户进行对照分析。情形实例的活动序列描述以文字的形式描述系统行为的细节，表达清晰，较需求模型更容易被用户所理解。文章介绍支持该方法的一个需求模型测试自动化工具ＳＲＤＭＴｅｓｔ．