一种考虑专业的流水式批量维修任务调度模型

通过对不同专业设置方式下的维修任务调度问题进行分析,以最小化批量维修任务的维修时间为目标,将多专业、多维修小组的流水式批量维修任务调度问题分成2步进行求解:首先,在构造作战单元排序的启发式算法基础上,建立了批量维修任务在专业领域内的初始调度模型;其次,提出了在流水式作业模式下多专业的批量维修任务调度方法。最后,通过实例对模型和方法的正确性和可行性进行了说明和验证,实例结果表明,该方法更贴近于实际,实现了快速、有效地解决维修任务调度问题。     

基于XML的软件非功能需求建模研究

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

软件可靠性测试流程设计及其应用

科学、合理的软件可靠性测试流程有助于测试工作有条不紊地展开,而现有的可靠性测试流程普遍存在可靠性分配方法不明确、过程不完善等问题,针对此问题展开了软件可靠性测试流程的研究;在分析软件可靠性测试与软件测试的区别、并借鉴现有软件可靠性测试流程的基础上,提出了一个由可靠性测试准备、可靠性测试执行和可靠性测试结果分析三大部分构成的比较全面的可靠性测试流程,并详细阐述了流程中的每一步具体操作;在该流程的指导下进行"虚拟维修训练系统"可靠性测试,充分验证了该流程的可行性和实用性.     

基于SSM的软件体系结构开发过程研究

软件体系结构开发过程和软件体系结构产品是软件体系结构时空的外在表现,软件体系结构的开发过程直接影响着软件体系结构的质量;在基于SSM的SA开发过程循环图的指导下,文中系统分析了体系结构相关的设计、测试、评估等活动之间的联系,并设计出一种新的体系结构开发过程模型——多三角体系结构开发过程模型,充分体现出尽早测评、全面测评、全过程测评、独立的迭代测评的特点,从而以合理的过程指导优质体系结构的设计。     

基于可靠性增长模型的软件可靠性增长测试充分性准则

结合软件可靠性增长模型,扩充了基于可信度度量的软件可靠性增长测试充分性问题度量准则,提出了关于可靠性增长测试充分性问题新的度量准则：可靠性测试只有同时满足可靠性增量指标要求、可信度要求和每单位测试资源发现的故障数要求方可终止。然后,以一个真实数据集为例,应用所提出度量准则求出了测试应该停止的时间。实验证明,这样的度量准则,使得终止条件更加严格,可靠性测试更加充分,为可靠性测试充分性问题的解决提供了新的思路。     

嵌入式软件仿真测试环境实时任务调度的研究

Vxworks操作系统是一个功能强大、而且独立于处理器的实时操作系统,它具有多任务处理能力和保证软件实时性的各种通信机制;在分析嵌入式软件仿真测试环境的多任务性和实时性需求的基础上,基于任务权重优先调度算法和系统的功能模块的紧急度调度算法,对系统的各个模块进行了合理的任务划分,并提出了单处理器下的基于信号量通信的静态权重优先级抢占的任务调度算法;确定了需要调度的任务集合,并给出了测试环境任务总体关联图及具体实现方法,通过Windview工具对任务调度和实时性进行了验证。     

基于CMM的软件维护过程管理及其工具研究

本文介绍了基于CMM的软件维护过程,提出了一种软件维护过程模型,并介绍了一种纠错性维护工具的设计及开发过程.     

基于神经网络的软件关键模块的识别方法

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

基于维修流程框图的维修时间仿真研究

武器系统的维修性是一个重要的性能指标,维修时间是维修性的主要定量参数、是影响装备可用度、战备完好率的重要因素。通过分析常用的维修性指标和维修性预计方法,提出了基于维修流程框图的维修时间仿真方法。维修流程框图是用于表示维修活动的步骤,一般比较复杂,甚至有可能形成大的网络,基于这种情况,建立了基于维修流程框图的自动化维修时间仿真方法。其对武器系统的维修性设计、预计和分析有较好的作用,利用这种维修时间仿真方法开发的软件系统也有一定的实用价值。     

基于TestQuest的嵌入式软件可靠性测试环境框架研究

嵌入式软件是软件中最难测试的一种软件,该文提出了一种嵌入式软件可靠性测试环境框架,分析了嵌入式软件测试与普通软件测试的异同。针对嵌入式软件难于测试的问题,运用仿真测试和自动化测试方法,并利用TestQuest工具辅助构建环境,重点介绍了框架中各个模块的功能、实时控制器的分层结构实现、上位机与实时控制器的通信协议编写方法,最后通过实例验证该平台有良好的适应性和易操作性。