黑盒测试技术方法在大气数据计算机软件测试中的应用

软件测试是保证软件产品质量的一个重要手段,其中测试用例的设计是软件测试的关键。以大气数据计算机软件测试为例,详细介绍了软件黑盒测试的几种方法,用黑盒测试技术来设计切实可行的测试用例。实践证明,应用黑盒测试技术在大气数据计算机软件测试中设计测试用例,提高了测试效率,发现了软件问题,取得了较好的效果。     

基于JUnit和元模型的模型存储测试设计与实现

在模型驱动测试中,针对测试模型的存储测试问题,提出了单元素、单个测试元模型、组合测试元模型等测试覆盖准则,并通过实例化的方法生成了测试用例,讨论了测试结果的判定方法.在Eclipse平台上,借助于JUnit框架实现了模型存储测试.通过分析不同数量级的测试用例对执行效率的影响以及不同测试覆盖准则和相应的JUnit测试代码规模之间的关系,为测试元模型的设计与存储提供了实践指导,并表明JUnit框架可以用于基于元模型的测试.提出了一个基于JUnit和元模型的自动测试框架——JMetamodel,可以用于模型存储以及模型转换的测试.      

基于数据挖掘和决策树的测试用例重用技术研究

通过应用数据挖掘和决策树算法,将测试专家分类重用测试用例的思想固化,并可以根据新采集的可重用的测试用例,不断扩充分类规则,使测试用例重用库具有不断自扩充和自完善的能力。通过使用测试用例重用库中可重用的测试用例和测试思想,可以提高测试人员对被测软件需求规格说明中功能和性能等指标的测试全面性和有效性,提高工作效率,减少工作量,并提高测试质量。     

基于回收测试数据特点的判读方案设计与实现

为解决载人航天器综合测试回收着陆分系统测试数据复杂、人工判读量大的问题,设计并实现了一种回收测试数据自动判读方法。该方法针对回收参数和测试数据的特点,在自动化测试软件中编写判读判据,测试计算机依据编写好的判据规则,实时监视和分析测试数据,自动进行数据的判读并给出判读结果,对异常数据进行提示和报警,实现对回收着陆分系统参数和测试数据的自动判读。通过回放测试历史数据和编写测试用例两种方式验证以及实际工程应用表明,该判读方法不仅能够减轻人工判读负担,而且在捕捉参数跳变和异常抖动等问题上具有很好效果,为进一步提高载人航天器回收着陆分系统测试准确性和有效性提供经验和借鉴。     

9基于聚类分析的软件多故障定位技术

故障定位的思想一般是通过对程序语句及其执行结果的分析，从而定位到存在缺陷的程序语句的位置.目前，软件单故障定位技术研究较多，多故障相关研究较少.本文根据程序语句覆盖执行信息构造程序谱，提出基于聚类分析的软件多故障定位技术方法，在Siemens测试程序集的基础上，和现有的一些基于程序谱的定位方法进行对比，在大部分的情形下，验证了本文提出的基于聚类分析的软件多故障定位技术在软件多故障定位方面的定位效率要优于这些方法，减少测试人员的工作开销.     

飞行控制软件测试用例辅助设计系统原型的设计与实现

BranchTCase原型是针对飞行控制软件中分支结构的测试用例辅助生成系统,它可以分析统计被测软件中的分支结构,生成覆盖所有可达分支的执行路径集合,从而辅助测试人员基于分支覆盖设计测试用例。BranchTCase采用纯静态技术,不依赖动态插装,通过扫描被测软件的源代码,得到软件的基本静态信息,并构造程序的执行流程图,最后遍历得到执行路径集合。本文阐述了BranchTCase原型的设计思路,讨论了其中的静态扫描分析、结构分析、分支结构遍历等主要算法。最后以某型号飞行控制软件为分析实例,得到了覆盖其所有分支结构的执行路径集合。     

航天测控软件测试用例设计与辅助分析系统

本文针对航天测控软件测试的特点，提出了研制综合性的航天测控软件测试用例设计与辅助分析系统的设想，给出了系统结构，简要论述了数据生成方法和技术途径。该系统能够多方面满足测控通信软件评测的需要。     

基于运行场景模型的测试用例生成和排序方法

大型民用飞机研制是一项多系统、多学科交联的复杂系统工程,民用飞机主制造商应在早期设计过程中进行需求的确认和验证工作,以找出设计中的缺陷,减少后续迭代设计成本,缩短设计周期,提高产品的竞争力。通过引入软件工程领域基于场景测试的方法,利用场景作为工具,以飞机在进近过程中触发TAWS模式1告警为实例,采用SysML活动图构建民机运行场景模型,基于场景模型生成测试用例,同时引入测试用例重要度对测试用例进行排序,用于指导后续的测试工作,为实现基于场景的需求确认和验证提供了支撑。     

基于程序变异的Simulink模型测试方法

为解决当前Simulink模型变异测试中测试执行开销大、测试用例生成效率低等问题,首先根据当前的Simulink模型变异算子集,基于程序变异技术提出了Simulink模型的变异测试过程和一组改进变异算子集.实验表明,在不影响测试用例集变异评分的情况下,该组变异算子集能够有效减少变异模型的生成数量,从而降低测试开销.其次,设计了一种基于搜索的Simulink模型变异测试用例生成方法,该方法将变异模型的测试用例生成问题转换为目标函数极小化问题,通过模拟退火算法对目标函数寻优,最终搜索出能够杀死该变异模型的测试用例.最后,将该方法应用于典型案例,验证了方法的正确性和有效性.      

卫星控制仿真数据库管理系统软件的自动化测试

介绍了“卫星控制仿真数据库管理系统”软件的自动化测试工作。重点分析了测试脚本生成方法,指出基于记录-回放的测试脚本生成技术的缺陷在于测试脚本与数据及实现细节的耦合。最后,应用基于数据驱动的脚本设计技术和模块化脚本设计思想实现了一个自动化测试脚本框架,解决了测试脚本与数据及实现细节的耦合问题,从而提高了脚本设计质量,降低了脚本维护成本。