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

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

基于未确知理论的软件可靠性建模

将未确知理论应用于软件可靠性建模研究,采用其分析软件故障过程,用未确知数学描述软件失效特征计算软件可靠性参数,并在此基础上构建了一个基于未确知数学理论的软件可靠性模型.新模型改变了传统的建模思路,跳出了传统软件可靠性建模过程中关于失效强度变化的各种统计分布假设的束缚,具有较好的适用性,改善了模型应用中的不一致性问题.  

软件可靠性及其评估

介绍了软件可靠性问题的来源，阐述了软件可靠性的定义、软件的失效机理、及软件可靠性与硬件可靠性间的差异，并提出了基于模糊数算术运算的软件可靠性估计方法。  

基于UML的软件Markov链使用模型构造研究

软件统计测试要求基于软件使用模型产生测试例对软件系统进行测试,并根据测试结果评价软件可靠性,是高可靠软件测试的重要组成部分.由于统一建模语言(unified modeling language,简称UML)已经成为事实上的面向对象标准建模语言,因此,从软件UML模型构造软件使用模型就成为面向对象软件统计测试的关键.为此,定义了加入统计测试约束的UML用例图、序列图以及用例执行顺序关系,为基于UML的软件统计测试提供了一个形式化描述基础.在此基础上,给出一个从软件UML模型构造软件Markov链使用模型的算法,并给出了自动化支持工具UMGen的类图结构,基于一个卫星控制系统,说明了所提出方法的有效性.  

基于组件的软件可靠性模型

首先对不同的软件体系结构描述语言（ADL）进行分析，找出体系结构的共性，用抽象代数和一代阶逻辑理论对组件，连接器和软件体系结构的属性和动态行为进行讨论和描述，探讨不同连接形式下的软件体系结构，给出基于组件的软件可靠性模型，在此模型基础上，对基于组件的软件系统的可靠性计算模型进行研究，提出一种半Markov模型，并在理论上证明该模型的可用性，最后通过CORBA应用系统说明该可靠性模型在系统设计和可靠性计算方面的应用。  

软件可靠性混沌模型

在分析软件失效机理后认为：有些软件失效行为具有混沌性，所以可以用混沌方法来处理其软件可靠性推断问题。但在应用混沌方法前先要进行系统辨识，确定为混沌系统后，才能应用嵌入空间技术从软件失效时间序列重建系统相空间和吸引子，进而用吸引子的揭示的混沌属性来估计软件可靠性。文中在三个标准数据集的基础上对此进行了实证分析，结果表明其中两个数据来源于混沌机制，他们的吸引子具有低维的小数极限维数，而且预测与实际可靠性吻合较好。值得指出的是文中所提混沌方法突破了软件可靠性一贯使用随机分析的局限。  

软件缺陷及软件可靠性技术

近年来的研究表明，系统发生的失效更多的是由于软件缺陷引起的。因此软件可靠性成为系统可靠性的关键，也是高可靠性和高可用性系统的一个主要的研究内容。该文在描述了软件可靠性与硬件可靠性不同的基础上，对软件可靠性模型、软件缺陷，以及软件可靠性技术进行了总结和论述。  

Hanoi塔问题非递归算法的形式推导

本文从Hanoi搭本身的简要说明出发，深刻剖析了该问题的递归解法，揭示了其本质特性，形式化地找出了圆盘的移动规律，从而推导出一种全新的、逻辑结构非常清晰的、与递归解左圈舟鹩劫上完全等效的非递归算法，彻底解决了递归解中由于圆盘数增加使空间用量迅速膨胀而导致的死机问题。  

基于聚类思想的软件可靠性模型选择

软件可靠性模型应用的不同一致性一直是困扰软件可靠性研究人员的主要问题，模型选择和组合策略作为主要解决方法已成为模型应用的研究重点，该文主要探讨运用聚类思想进行软件可靠性模型选择的方法，根据针对实际失效和数据的可靠性模型评价准则值编码，该文采用斯昆合模型进行聚类分析，使用EM算法估计高斯混合模型的参数，贝叶斯准则进行模型选择，为验证此方法的有效性和可行性使用了多个实际项目中的失效数据进行试验，结果表明，此模型选择方法简单有效，有利地软件可靠性模型应用不一致性问题的解决。