软件测试中的路径划分技术

路径覆盖测试准则要优于其它已知的覆盖准则,但由于对一般的软件,路径数目太大,以至实际难以实现。路径划分是路径覆盖技术的一个折中方法。给定的程序Ｐ和给定模块的最大路径数目ｋ,按就近原则,现给出了一种划分Ｐ的算法,使得每个划分后的模块所包含的路径数目都少于等于ｋ。同时也给出了最佳划分的度量标准和最佳划分方法。     

目标识别跟踪系统的图像收集处理软件流程设计

详细介绍了目标识别跟踪系统中图像收集处理软件的设计流程。首先介绍了目标识别跟踪系统,然后从视频图像显示到目标图像获取和发送的整个流程进行详细阐述,并针对流程节点中获取目标图像的两种方式加以深入研究。     

并行程序调试中的环境再现技术

为解决调试并行程序碰到的第一个困难:并行程序的不确定性,文中提出了环境再现技术。文中叙述了环境再现技术的思想和实现这一技术需要的数据结构,并用CCNPASCAL语言进行了描述,最后给出了一个典型的应用例子。     

基于UML的航天发射指挥控制软件建模研究

指挥控制软件是影响SLC2S高效运行的重要因素之一。为了提高航天发射指挥控制软件的综合效能,基于统一建模语言(UML)建模技术,从软件需求分析出发,对航天发射指挥控制软件开发进行了静态和动态建模,增强了软件的一致性和可复用性,为软件开发奠定了良好基础。     

军用飞机可用度概念模型及仿真

使用可用度是军用飞机战备完好性的重要度量标准.运用传统的解析法计算使用可用度有其弊端.以军用飞机使用及维修保障过程中各个系统要素为基础建立了使用可用度概念模型;根据概念模型运用仿真软件Extend建立了仿真模型.仿真结果表明模型运行稳定可靠,模型中各模块算法合理有效,实现了模型解算目标,可信度高.从而为飞机可用度研究提供了一种新方法.     

“心脏出血”漏洞的特点分析和对策建议

概括介绍＂心脏出血＂漏洞的基本概念、发现和公布、攻击和演变、处理和防范等有关情况,从安全通信协议软件、开源软件地位作用、开源软件代码管理和开源软件分析运用等方面分析特点并提出对策建议。     

某高炮连集成指挥平台的设计与实现

介绍了一种基于USB技术的便携式高炮连集成指挥平台,叙述了设计构想及工作原理.详细描述其硬件电路设计,包括:主控机、通信控制电路及各接口电路的设计;然后给出了相应的软件设计,包括单片机通信控制软件及主控机各主要工作模块的软件设计.实验证明该集成指挥平台具有良好的性能,且充分考虑系统工作环境电磁环境复杂、无间断工作的特点...     

灭火救援对消防人员心理的影响研究

系统地研究灭火救援过程对消防人员造成的各种心理问题,改善消防人员的心理健康水平,对提高消防部队的战斗力具有重要意义。在总结消防人员灭火救援中心理应激反应特点的基础上,设计制作了《消防人员心理行为调查问卷表》,运用SPSS软件对长春市消防人员在灭火救援中不同火灾经历、特殊环境、心理训练以及参军年限对消防人员心理应激反应的影响等方面进行了统计分析,归纳影响心理应激反应的主要因素,并有针对性地提出了心理应激干预措施。为正确分析消防人员的心理状况,提高消防人员调节心理压力的能力和技巧提供理论依据,为探索新形势下心理健康工作的新方法、新手段提供参考。     

小样本装备软件成本估算相关向量机建模

针对装备软件成本估算时面临的历史数据少的小样本难题,提出把机器学习理论运用到装备软件成本估算研究领域,构建了基于相关向量机的小样本装备软件成本估算模型,采用COCOMO模型数据库中的数据对所构建模型进行训练和验证。为进一步验证所构建模型的合理性,在机器学习领域分别运用支持向量机模型和神经网络模型对相同数据进行估算,实验结果证明了基于相关向量机估算模型在小样本装备软件成本估算时比其他两种模型更精确。     

WinCC与Matlab的软件接口方法研究

为了充分利用WinCC开发周期短、可靠性高及可维护性强等优点和Matlab丰富的数据分析处理函数库,解决WinCC开发系统调用Matlab函数库的问题,提高应用系统的数据分析处理能力,研究了WinCC与Matlab的软件接口方法,提出了可使应用系统脱离Matlab环境运行的基于可执行文件的混合编程方法,并以油罐泄漏检测...