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

作为软件理解的手段之一,程序切片技术通过寻找程序内部的相关性来分解程序,再通过对分解所得程序切片的分析达到对整个程序的分析和理解。程序切片算法必须建立在对源程序信息正确、完整分析的基础上。详细地描述了一种基于分层切片模型思想的程序信息提取方案。该方案已成功运用到一种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的功能、算法和设计思想,给出了子对象识别以及可见方法、主导方法的确定算法,建立了可见方法类层次图;并且通过计算方法的继承集、改写集以及对方法改写边界的确定,生成程序的虚函数调用图,从而为理解面向对象程序中的虚函数调用问题提供了一种可行的解决方案.     

一种基于J2EE平台的MDA模型转换技术*

为了解决不同中间件平台的应用集成和互操作, OMG 提出了MDA 的概念。MDA 的一个重要思想就是将系统模型划分成与平台无关的模型( PIM) 和与平台有关的模型( PSM) , 并建立这两种模型之间的映射关系。给出了一个属于PIM 的Domain Model 和一个属于PSM 的Application Model, 并基于J2EE 架构描述了Do-main Model 到Application Model 的转换方法。     

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

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

塑料饮料瓶盖的替代试验

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

薏米发酵酸乳的研制

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

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

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

概率实时系统的确认

实时系统在运行过程中不可避免地会出现的部件故障的现象，此时它不可能完全满足系统的规约，因此实时系统中应充分考虑可靠性问题，本文以离散时段演算作为实时系统的逻辑，采用概率时间自动来描述实时系统的状态转换，通过构造向图的方法确认系统的正确性，同时报该确认方法的复杂性