摘要：关键软件要求极高的可靠性和安全性,然而当前的技术途径尚不能完全消除软件故障——软件测试不能保证软件正确性,模型检查等形式化验证技术也存在着诸多局限。文章提出了基于监控程序运行途径来捕获软件故障和验证程序性质正确性,构建了基于程序运行形式化分析的软件故障监控(SFMRFA)模型,在监控逻辑表达、程序插桩、multi-agent设计等关键技术的基础上开发计算机辅助工具来监控、分析和引导程序执行,使软件运行当中可测、可控,避免软件失效。

摘要：文章在叙述和分析可靠性工程(R)、维修性工程(M)和保障性工程(S)中的图形模型基础上,采用面向对象(OO———Object-Oriented)的方法,对R&M&S领域中的图形模型进行了系统的分析和设计,建立了关于R&M&S图形模型系统的OOA和OOD模型,并采用VB6.0面向对象语言进行了原型系统的开发,初步实现了R&M&S领域中图形模型的计算机辅助建模。

摘要：曝气技术是黑臭水体整治的一项有效措施。综述了曝气技术在国内外黑臭水体治理上的应用,研究了黑臭水体需氧量计算的三种方法,利用组合推流反应器模型思想,结合生物膜降解污染物机理,设计建立了一种适用于黑臭河道湖泊需氧量计算模型-改进型组合推流反应器。利用该模型计算商丘某河道需氧量,结果表明整治期间总需氧量为6 305 kgO2,黑臭水体整治前20天需氧量大,占总需氧量的83.1%,因此在黑臭河道治理前期需及时补充溶解氧,为微生物降解污染物提供溶解氧条件。

摘要：本文提出了将实验设计中的组合设计方法应用于软件可靠性测试用例设计。分析了组合设计方法在软件可靠性测试用例设计中应用的理论基础和基于组合设计的软件可靠性测试用例方法的基本思想。同时结合实例对这种方法的两个关键过程域操作剖面的开发和测试用例集的生成过程进行了描述。

摘要：研究了如何利用神经网络解决软件关键模块的识别问题。首先利用交叉确认改进了级联相关算法,设计了多层前馈神经网络作为模式分类器,以软件模块的复杂性度量作为特征向量识别软件中的关键模块。最后以自行开发的维修性分配与预计(MAP)软件为例说明了采用改进的级联相关算法确定软件关键模块的优势。

摘要：软件维护性是软件质量的重要属性之一,它在很大程度上决定了软件的后期维护成本。设计赋予软件良好的维护性是软件需求、设计和开发经常忽视的一个问题,也是一个难题。提出了一种基于场景的软件维护性需求分析方法,即通过对软件将来可能发生的维护场景进行分析以获取软件可维护性需求。

摘要：利用交叉确认改进了级联相关算法,随后利用改进的级联相关算法,设计了多层前馈网络作为分类器,以软件模块的复杂性度量作为特征向量确定软件中的关键模块。最后以自行开发的维修性分配与预计(MAP)软件为例说明了采用改进的级联相关算法确定软件中的关键模块的优势。

摘要：本文针对当前软件设计中非功能需求描述不清楚、难以实现等问题,对软件非功能需求建模方法进行了研究,提出了一个基于XML的软件非功能需求建模方法,构建了一个软件非功能需求元模型,该模型主要包括属性、约束和实现方法三个数据单元。在此基础上,利用XML Schema定义了软件非功能需求的数据模型结构,以一个通信系统的非功能需求建模为例说明了本模型的建模过程和方法,结果表明,该建模方法有助于设计人员对软件非功能需求进行清楚的定义。

摘要：将面向对象技术特别是UML中的建模要素应用到软件可靠性测试过程是一个值得研究的问题。对基于UML的操作剖面开发以及基于UML顺序图的测试用例生成方法进行了研究。重点讨论了测试用例生成方法的步骤、具体的建模活动以及自动生成测试用例的“基于模型的代码设计”方法,给出了相应的算法。最后对所讨论方法的有效性进行了分析,从理论上说明了方法的可行性。

摘要：软件体系结构设计改进是增强系统可维护性,使之适应可能的需求变化的一种有效手段。提出了一种基于CBR和XML的体系结构设计改进方法。以XML语言描述了反体系结构模式和相应的改进方案,研究了它们在案例库中的组织和索引机制。根据基于案例推理技术的4R过程,提出了组件依赖关系视图、组件结构视图、角色类型视图、连接器角色视图、行为交互视图和软件可维护性基本度量元的相似性度量方法。该方法实现了软件体系结构设计的自动化改进,进而提高了软件的可维护性。