基于构件软件的可靠性通用模型

工作流管理的最终目的是实现适当的人在适当的时间执行适当的活动.企业要获得竞争力,需要在工作流模型中考虑与业务过程相关的时间约束.一个考虑时间因素的工作流模型,需要在投入运行前进行时间规范与验证,以保证工作流执行的时间协调.通过为工作流网元素扩展时间属性,得到集成业务过程时间约束的工作流模型??时间约束工作流网(TCWF-nets).基于对业务活动的可调度性分析,提出了时序一致性验证方法,确保工作流执行中活动之间时间交互的安全性.在所附加的时间约束下,该可调度分析方法不仅能够检测某一给定工作流调度的时间可行性,还能对特定的实例给出一个最优调度,使工作流执行延迟最小.研究结果表明,该方法支持业务过程的时间建模与分析,对于丰富现有工作流系统的时间管理功能以及增强现存工作流软件对动态业务环境的适应性具有重要意义.  

一种软件可信分级模型

软件可信评估是软件可信研究中的一个新方向,相关的理论和方法还处在研究阶段。在分析软件可信内涵的基础上,提出了一种分层的软件可信分级模型。该模型定义了软件可信属性模型与软件可信等级,建立了软件可信证据参考模型,并描述了可信属性、可信等级、可信证据以及可信评价指标之间的内在联系。软件可信分级模型为建立软件可信评估机制提供了一种有效的方法。  

软件可靠性评估系统的智能化实现

软件可靠性评估系统的智能化有利于避免评估人员水平和经验上的差距赞成的评估结果的不一致性，有利于保证评估结果的准确性。文章从专家系统辅助模型预选、各软件可靠性模型的自动比较判优和组合模型（包括其基模型的参数估计方法）的自动确定等方面对可靠性评估系统的智能化实现了作了探讨，并给出了其实施框架。  

软件可靠性工程框架和评估系统实现

给出了软件可靠性工程的实施框架,它规范了软件可靠性评估的过程.文章还提出一个软件可靠性评估系统的体系结构,并给出了实现所需要的一些关键技术.已经依此实现了一个软件可靠性评估系统CaSoR(Computer aid Software of Reliability),并已经被实际  

基于构件软件的可靠性通用模型及系统实现

本文给出了基于构件软件中的函数抽象,依据该抽象提出了基于构件软件的一个可靠性通用模型,并介绍了相应的可靠性分析原型系统的实现。通过此系统可以在软件开发的各个阶段对软件进行可靠性分析,实现基于构件软件开发全过程的可靠性跟踪和监控。  

基于OCL的面向方面监控框架

基于面向方面编程技术提出一种软件性质监控框架。该框架根据对象约束语言的约束条件生成监控方面，对监控方面与被监控软件进行编织，使软件在运行时具备发现约束违背的能力。使用模型约束检查工具USE可以进一步分析违约信息，实现其在模型上的可视化呈现。  

方面单元测试框架的设计与实现

缺乏成熟的方面测试和方面冲突检测技术是阻碍面向方面软件编程大规模应用的瓶颈性问题。针对方面单元测试,提出了无需与基模块编织的方面单元的独立测试框架AJUnit。该框架运用Java注释和源码与字节码映射等技术实现编译细节的透明化。基于控制流和数据流分析,AJUnit综合运用随机测试数据生成、相对测试充分性准则的优化和指定路径的测试数据生成等技术实现测试过程的自动化。文中也介绍了以AJUnit为基础的方面单元测试工具的设计和实现。  

面向程序自动修复的缺陷分类方法研究*

程序自动修复是近年软件工程的研究热点,但其发展难以满足工业应用的要求。分析了自动修复技术的局限性,引入了缺陷分类的思想,并与正交缺陷分类方法相结合,提出了面向软件自动修复的缺陷分类方法(APRDC)。基于APRDC提出了自动修复技术集成的思想。实验中将基于APRDC与基于随机的自动修复技术集成工具作了比较。实验结果表明基于APRDC方法的自动修复技术的集成提高了修复效果,同时也表明了APRDC方法的有效性。  

“操作系统”国家精品课程建设总结

本文重点介绍国防科大计算机学院"操作系统"课程特色及主要建设成果,全面总结了我院"操作系统"教学实施的经验。  

混合系统剖析,描述与建模

混合系统是一种离散和连续构件交织的系统。通常以微分方程为连续模型，以离散事件系统或自动机为离散模型。通过分析混合系统的微观结构，文中提出了面向系统设计的描述语言ＤＤＬ。它能直观、精确刻画混合现象，方便设计决策描述，而且通过控制器符号与系统指称约束的延迟，为系统设计带来很大的灵活性。由ＤＤＬ描述的混合系统，经内部通信隐藏和系统单步协调积，可转换为混合变迁系统。