几种特定判定形式的MC／DC评估分析

介绍了对几种特殊形式的判定进行修正的条件／判定覆盖评估分析的方法。这些形式包括比较运算判定、带短路逻辑的判定、顺序if结构、位运算判定、带反馈判定和带屏蔽判定。     

软件评测技术研究与实践

从软件评测工作实际出发,对软件评测方案进行了介绍,包括评价模型的建立,评价环境、测试用例的设计,测试过程的管理,对软件评测工作具有一定的指导意义。     

嵌入式汇编程序静态分析研究

在航天领域,嵌入式应用软件必须具备高可靠性,而测试是保证软件质量的重要手段,静态分析技术是一种重要的测试技术.文章介绍了静态分析技术的相关概念,实现工具的发展和现状,指出了出嵌入式汇编语言静态分析工具的研究重点和方向,为更深入地研究和使用这些工具提供了参考.     

软件复用在航空嵌入式软件测试中的应用研究

伴随航空嵌入式软件市场近些年不断动荡与激烈竞争的局面,商业化的第三方软件测试正面临质量、进度、开发效率等急待解决的问题,而软件复用技术是解决这些问题的有效手段。首先对软件复用的概念、理论和方法进行了论述,而后对航空嵌入式软件测试领域进行了深入分析,指出了其中复用的可行性。在此基础上,提出了面向航空嵌入式软件测试的过程复用、产品复用、测试程序产品线方法。最后,结合具体工程实践指出所提出方法在使用中的剪裁及推广。     

灰盒测试方法的实践与研究

从测试是否针对系统的内部结构和具体实现的角度来看,软件测试可分为白盒测试和黑盒测试。而灰盒测试是近年来提出的一种新的软件测试方法,它兼顾了白盒测试和黑盒测试方法的优点。本文在实践的基础上,对灰盒测试方法进行了研究,介绍了灰盒测试基本知识和一种灰盒测试方法的实现过程。     

提升人工智能装备软件测试效能研究

随着信息技术的飞速发展,人工智能已被广泛应用在装备的智能环境感知、智能信息处理、智能指挥控制等方面,为装备的智能化提供了基础。但由于人工智能装备软件本身独有的逻辑性差,与硬件强耦合,需要学习训练,具有可成长性和与大数据、物联网联系密切等特点,导致现有常用的软件测试方法在测试输入空间确定、测试结果有效性验证、测试环境构建等方面面临极大的挑战。文章从强化软件测试综合评价,智能化测试场景和用例生成,一体化硬件试验和软件测试,加强开源软件测评,围绕可成长性开展训练和测试,强化装备数据分析和运用等六个方面对提升人工智能装备软件测试效能给出了相应对策。