适用于成组数据的Jelinski-Moranda模型研究

针对软件可靠性测试的成组测试数据，建立了适用于成组测试数据的软件可靠性Ｊｅｌｉｎｓｋｉ－Ｍｏｒａｎｄａ增长模型，并对其参数解特性进行了分析。通过分析得知，适用于成组测试数据的Ｊｅｌｉｎｓｋｉ－Ｍｏｒａｎｄａ模型的参数估计方程存在多个解，且只有在一定条件下才有合理解。最后给出了其参数解估计的有效数值算法。     

成组缺陷纠正的通用指数类软件可靠性模型

指数类软件可靠性模型是应用广泛的一类软件可靠性预测模型,其基本假设之一是缺陷一经发现立即纠正。该假设过于苛刻,与实际情况不符,影响了模型的应用和预测准确性。针对通用指数类软件可靠性模型,提出了成组缺陷纠正的指数类软件可靠性模型。同时以指数类模型中的J-M模型为例,利用实际工程数据对成组缺陷纠正的J-M模型进行了验证。     

基于指数环境因子函数的软件可靠性增长模型

绝大部分软件可靠性增长模型采取的软件可靠性标准都是测试可靠性,实际上,软件的测试剖面很难真实地反映运行剖面,软件运行环境和测试环境不可能一致。考虑测试环境与运行环境差别,根据经验数据拟合环境因子,提出一种随时间变化的指数环境因子函数;并建立基于指数环境因子的非齐次泊松过程类软件可靠性增长模型;利用一组公开发表的数据集对模型进行评估。结果表明,本文提出的环境因子函数计算复杂度低,基于该函数的软件可靠性模型具有更好的拟合和预测能力。     

软件可靠性模型及其参数估值技术

软件产品的可靠性评估主要取决于软件可靠性模型及其参数估值技术。本文探讨了六种软件可靠性增长模型的内在关系,提出了一个统一的软件可靠性增长模型,并从数理统计角度介绍了两种可靠性模型参数估值方法:最大似然估值法和最小均方误差估值法。最后,通过实例说明了软件可靠性模型及其参数估值技术在软件产品的可靠性评估方面的具体应用。     

软件可靠性模型评价方法与应用(Ⅰ)

本文讨论进行计算机软件可靠性模型评价工作的必要性及其实现方法,提出了软件可靠性模型评价的四条标准,并由此引入了一种进行软件可靠性模型评价的方法。在本文的(Ⅱ)中,我们将使用本方法和两组具体的软件失效数据,具体地评价两种软件可靠性增长模型:S-型模型和W-NHPP模型的性能,并讨论方法使用中的一些问题。     

软件测试费用及资源优化模型研究

软件测试是保证软件可靠性的主要手段 ,软件测试费用则是软件可靠性工程费用的重要组成部分。为对其进行研究 ,首先对Musa的软件可靠性的增长日历时间模型进行了简化 ,建立了软件测试日历时间模型。在此基础上 ,提出了软件测试费用模型 ,并结合软件开发的实际经验 ,对测试资源进行了优化     

软件可靠性模型评价方法与应用(Ⅱ)

本文探讨进行软件可靠性模型评价工作的必要性及其实现方法。我们在本文的(Ⅰ)中提出了一组进行软件可靠性模型评价的标准和相应的评价方法,这里我们应用上述方法,结合两组实际的软件产品失效数据,具体地评价两种软件可靠性增长模型:W-NHPP模型(包括NHPP模型)和S-型模型的性能,并讨论评价实施过程中的一些问题。     

软件可靠性评估的误差分析

软件可靠性模型是评估软件可靠性的重要工具，由于受一些不为模型所控制的随机因素的制约，软件可靠性评估结果中往往含有大量的误差，给工程应用带来许多困难。在对现代计算机应用系统的故障特征、软件可靠性模型的机理及引起误差的因素进行深入分析的基础上，提出了一种误差分析法，并用之校正软件可靠性模型的评估值。     

包含错误恢复的软件可靠性仿真研究

基于结构的软件可靠性分析模型虽然能够在构件可靠性、系统结构、系统可靠性三者之间建立联系并分析,但由于其模型中大多使用可靠性常量来刻画构件可靠性,忽略了实际软件开发过程中错误恢复对系统可靠性的影响.为此,利用离散事件仿真手段对构件失效行为、系统失效行为和错误恢复进行仿真,给出一种包含错误恢复的软件可靠性仿真分析方法,该方法在软件测试阶段能够反映构件可靠性增长对于系统可靠性的影响,同时具有软件可靠性增长模型和基于结构的软件可靠性分析模型的优点.通过对两个软件系统的可靠性仿真分析验证了该方法的有效性.     

考虑多种真实情况的软件可靠性增长模型

进行软件可靠性评估主要通过构建软件可靠性模型实现。软件可靠性模型通常给出被检出的故障可以立即被排除,并且不会有新的故障被引入的假设,这与实际的检错过程是不相符的。针对以上假设条件,提出了一种新的软件可靠性增长模型。该模型将软件的检错过程和排错过程作为两个独立的非齐次泊松过程分别进行建模,并将软件中存在的故障数看作是一个变化的函数,该函数包括软件中初始故障及引入的故障。在两个数据集上进行相应实验证明,较之其他模型,新建模型的拟合和预测效果更好。     

基于面向对象技术的软件可靠性预测模型

针对面向对象技术、面向对象软件工程的普遍应用 ,以前结构化程序设计理论下的软件可靠性模型解决目前的软件效果较差。提出并分析了面向对象技术软件的可靠性度量准则 ,综合可靠性理论和方法 ,给出了可靠性预测模型。结果表明可靠性度量准则提出合理 ,预测模型能较好地解决面向对象软件的可靠性预测问题。     

Intel8086软件仿真器的设计与实现

本文以软件仿真系统在航天、航空及其它领域的实际需求为背景，介绍了嵌入式软件仿真系统的工作原理，对其中一种层次化的软件仿真器模型进行了描述，并讨论了该模型在实现过程中遇到的一些关键性技术问题     

流体网络模块化图形建模软件FLOWNET在600MW仿真机中的应用

６００ＭＷ火电机组模拟培训装置中的流体网络模块化图形建模软件包ＦＬＯＷＮＥＴ适用于任意拓扑结构的热工流体网络系统，只需把系统的网络结构以图形方式输入，便能自动生成网络模型程序。软件包界面开放，使用方便、灵活，是电站仿真建模的强有力工具     

运动体系统仿真模型验证方法软件包的开发

本文对动态系统仿真模型验证方法软件包（ＭＶＶＳＰ）的功能作了简要说明，对各类验模方法的使用特点进行了详细的分析     

PDM应用环境探讨

产品数据管理 (ProductDataManagement,PDM)是当前国际上的热门技术 ,全面实施应用PDM技术已成为当前企业获取竞争优势的最佳途径。分析了PDM技术的基本功能、主要特点和作用、应用环境以及与其它应用技术 (CAD、MRP、CIMS和CE等 )的关系 ,提出了企业成功实施应用PDM技术应采取的主要对策。     

军用实时软件失效机理及可靠性提高途径初探

软件可靠性研究是一门正在发展的新兴学科 ,其实际应用也尚处于探索阶段。对军用实时软件的失效机理进行了初步分析 ,并就提高军用实时软件可靠性方面提出一些初步设想     

粗糙集中属性约简的一个贪心算法

利用单属性的逼近精度、由决策属性定义划分的粗糙逼近精度以及它们的均值和方差 ,给出了属性重要性程度的一种度量方式。在此基础上 ,提出了粗糙集中属性约简的一个贪心算法 ,将各属性按照重要性由大到小依次加入到约简属性集中 ,直到满足约简条件为止 ,其特点是简单、容易实现 ,在条件属性较多的情况下 ,往往能够迅速求得一个属性约简。     

非线性规划问题求解的遗传算法设计与实现

针对一般非线性规划 (NonlinearProgrammingProblem ,NPP)问题 ,采用遗传算法思想设计了通用求解算法 ,并用MATLAB语言实现 ,该软件可广泛运用于求解各种NPP问题。实例表明 ,该算法具有较高的计算效率。     

电站仿真建模图形化软件系统——GNET

ＧＮＥＴ是火电厂仿真机图形建模一体化环境。ＧＮＥＴ建模软件完全采用图形化用户接口，使建模人员能够通过友好、方便的图形界面和数据库、模块、模型程序进行联系，完成从建模到调试的全过程，从而大大地方便了仿真建模工作