基于TestQuest的软件测试自动化方法研究

随着软件开发规模的增大以及复杂程度的增加,自动化测试工具在提高软件测试的效率及准确度上越来越重要,而现有的软件测试存在自动化程度不高、测试过程不完善等问题,针对此问题展开了软件测试自动化的研究。在分析了软件自动化测试的重要性及软件自动化测试的周期、技术的基础上,提出了基于TestQuest测试工具的一套软件测试自动化方法和测试流程,最后针对“虚拟维修训练系统”具体结合工具展开实例验证。     

新型装备中的软件保障问题研究

软件是现代战争的灵魂，软件保障问题已成为装备保障发展过程中的重点与难点。该文针对软件保障总是这个难点，描绘了软件保障整体方案，针对传统软件维护模型的局限性，构建了一个基于过程软件保障模型，为软件堆护提出了题解有效的途径；研究了软件维护性评估等关键软件保障技术，目的在于减少软件寿命周期费用、提高软件质量，最终解决武装备中软件难于保障的问题。     

基于组合设计的软件可靠性测试用例设计方法

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

基于CMM的软件维护过程研究

针对软件维护组织维护能力成熟度展开研究,引入CMM分级改进的思想,围绕软件维护过程改进的5个方面展开描述,循序渐进地提出软件维护过程改进模型。     

基于Multi-agent的实时系统运行故障监控研究

软件密集型装备中常常包含着许多担负监测和控制作用的嵌入式实时系统,它们常常属于安全关键或者任务关键系统(safety-critical/mission-critical system)。为了能够有效解决该类系统中的软件故障检测、诊断与修复任务,本文提出了基于Multi-agent的实时系统运行故障监控框架,旨在利用在多agent的协作构建运行故障监控系统来在系统运行当中验证系统是否满足时序逻辑描述的性质规约,并采用具体的算法进行故障定位和修复。     

对软件测试过程模型的思考

在深入分析传统软件测试过程模型特点的基础上,提出了一种新的软件测试过程模型——并行"与"模型,并详细描述了各阶段的具体任务,更贴切地描绘出软件测试活动的复杂关系,充分反映出软件测试活动与开发活动之间的时序性、层次性、迭代性和并行性。     

软件发布周期费用估算方法研究

本文对软件维护过程中的发布周期费用估算方法进行了研究,提出了基于发布规划的估算原则,并对整个基于发布规划的费用估算的抽象过程进行分析。     

拉力型锚杆锚固力学性能试验研究

对不同锚固深度、灌浆配合比、孔径的锚固体进行了拉拔试验。对锚固体的承载能力及破坏形态进行了深入分析,并利用实时采集数据分析了锚固体拉拔荷载下的P-S曲线。结果表明,锚固力的大小与锚固长度有关,但并不是成比例关系,当锚固长度达到一定值时,再进一步增加锚固长度对锚杆承载力的增加效果是有限的;锚杆承载力的大小与灌浆体的力学特性有关,具体表现为,在一定范围内通过提高灌浆体的强度有助于增大锚杆承载能力;锚杆锚固效果与锚孔孔径有一定的相关性,增大锚孔孔径在一定程度上有助于增大锚杆承载能力。     

用低熔点合金浇灌法固定砂箱销套

湖北省竹溪县机械厂在固定砂箱销套时,改掉了原来经机加工后镶嵌的工艺,而采用低熔点冷胀合金浇灌固定的新方法。该合金由铋(48％),铅(28.5％)、锡(14.5％)、锑(9％)组成,具有凝固膨胀的特性,合金熔点低(约120℃),因此熔炼方便,操作简单。销套淬火后外圆不磨     

一种考虑任务的维修专业组合优化模型

以保障任务为纲,以装备类型为领,建立了任务-专业的映射模型。在此基础上,运用灰色关联聚类方法建立了维修专业动态组合优化模型,并通过全面考察维修人员的专业技术水平,提出了组合专业维修人员的配置方法,为平时维修人员进行跨专业的交叉训练和战时维修专业组合优化提供一种有效的方法。