μXL与子系统PLC通信

本文对横河公司的集散控制系统μＸＬ及Ａ－Ｂ公司ＰＬＣ为例，讨论了实现ＤＣＳ与子系统ＰＬＣ通信的系统配置，通信协议，软件编程及装载与实现技术。     

分布式软件系统交互行为建模、验证与测试

为了确保分析与设计阶段分布式软件系统中模块之间交互行为的正确性,提出了一种分布式软件系统模块交互的抽象方法,分别通过系统状态机图和对象状态机图对各模块状态变迁进行建模,使用UML2．0序列图对模块之间交互行为进行描述．采用基于命题投影时序逻辑的模型检测技术,将对象状态机图转换为 Promela 模型,系统交互性质转换为命题投影时序逻辑公式,通过模型检测器验证交互模型是否满足于系统的性质,若不满足于该性质,则能够获得反例执行的路径．给出了一个分布式软件系统测试框架,在验证后的序列图模型基础上,使用基于模型的测试用例自动生成方法得到测试用例集合,该集合能够实现对交互行为的有效测试．实例结果表明,该方法可以提高分布式软件系统中模块交互行为的有效性和可靠性．     

基于粗糙集的软件项目风险管理研究

软件项目的复杂性导致软件风险涉及的数据具有很大的不确定性和模糊性。由此基于粗糙集理论,分析了软件项目风险管理的历史数据:利用等价类和分辨矩阵等概念提出软件项目风险分析系统,在此基础上给出了两个风险因子的相关性系数以及不可分辨矩阵的计算方法。此项工作能为风险控制提供策略,有助于发现风险管理活动中的薄弱环节,达到改进过程的目的。     

一种辅助软件过程管理的集成化方案

软件过程管理是一项包含多项内容和复杂流程的管理活动,统一、有效的管理流程能够提高企业的生产效率,保证产品的品质.在整个软件过程管理活动中,使用辅助工具可以使整个过程自动化.现有的很多辅助工具都是独立运行的,只支持整个活动中的某一个阶段,不能保证各个阶段中数据信息的共享.提出了一种辅助软件过程管理的集成化方案SPMI,它能够将复杂的软件过程管理流程统一起来,并集成了一些现有的工具,实现了集成化的软件过程管理环境.     

基于GQ(I)M模型的度量计划定义方法研究

GQ(I)M模型是一种面向目标的定义度量的方法,在软件过程度量中被广泛采用.但是,由于定义度量时没有依赖具体的开发过程,且往往忽略了过程成熟度的考虑,定义的度量元不合理,使度量计划的制定很困难,并使度量的结果难以解释度量活动.本文提出了一种在GQ(I)M模型定义度量计划的方法基础上结合成熟度与过程建模的新的方法,最后对进一步的研究方向做了展望.     

一般建筑安全事故处理机制研究

建筑安全已经成为当今社会的热点问题,安全事故的处理是安全管理的重要内容。概括了一般建筑安全事故的研究现状,通过分析一般建筑安全事故处理的原则和目标,建立了一般建筑安全事故处理机制,并从运行、保障、约束和激励四个方面进行了说明。同时,从事故处理的具体流程出发,建立了一般建筑安全事故处理机制的运行模式．为项目管理者在实际处理安全事故提供指导。     

CMMI的软件测量

本文从CMMI的体系结构出发,对CMMI中的软件测量进行了研究,分析了其测量的演进过程,总结分析了目前组织在实施CMMI时对测量的误解和存在的问题,最后,为帮助实施CMMI,给出了对实施效果进行评估的评价标准。     

利用SCM工具辅助功能点分析

在软件开发过程中，要管理、监控项目进展，很重要的一点就是要对软件的规模及生产率进行量化。介绍了常用的测量软件规模和生产率的功能点方法，及如何利用SCM工具中提取的元数据来辅助软件功能点分析，并介绍了如何利用程序实现该方法。该方法可以提高功能点分析法的数据来源可靠性、实时性，而且当软件功能增加或减少时能及时反应，使分析人员能做出相应调整。通过改进功能点分析出发，进而能改进基于功能点分析的软件测量。     

软件度量中的数据分析技术

从统计学的角度出发，分析比较了软件度量常用的数据分析技术以及它们的异同，对影响数据分析的因素也作了进一步说明。为软件度量实践中正确地选用数据分析技术提供指导，从而为软件开发的管理决策、项目过程监控提供了客观有效的支持。     

关于GOM+组件边界和同步的研究与分析

引入了围绕在COM+对象周围的三种边界环境进程、套间和上下文,分析了实现跨越这些边界调用的机制,同时论述了COM+在不同环境中实现并行保护的策略.