一种有效的约简测试用例的方法

软件测试是软件开发过程中的一个重要组成部分,是贯穿整个软件开发生命周期、对软件产品(包括阶段性产品)进行验证和确认的活动过程;测试用例的质量和数量将直接决定软件测试的科学性和有效性,测试用例约简算法是在满足测试需求的前提下生成较少的测试用例;文章先对测试需求做了初步简化,然后在剩下的测试需求基础上进行划分,从而得到约简后的测试用例集;结果表明,对于有较多测试需求的系统,此方法有助于快速有效地生成规模较小的测试用例。     

基于SCADE的航空发动机FADEC软件开发

机载软件开发面临复杂性、安全性和成本等方面的巨大挑战.针对某航空发动机数控系统的研制,结合FADEC软件的开发特点和目标,探索SCADE基于模型开发在FADEC软件开发中的应用.探索了两种不同的SCADE基于模型开发解决方案,基于这两种方案分别完成两个FADEC软件配置项的应用软件开发.通过模型测试、模型覆盖率分析和软件硬件集成测试验证了开发结果的正确性.提出了联合SCADE和Simulink的基于模型开发流程并明确其注意事项.分析SCADE的两种基于模型开发解决方案的适用范围以及方案选择时的考虑因素,总结分析了SCADE用于机载软件开发的优势和不足.     

基于UML的测试用例生成方法研究

基于模型的软件测试是由软件需求分析模型与设计模型中生成一套测试用例的技术.随着基于UML模型的软件开发与RUP(Rational Unified Process)开发过程的广泛应用,基于UML模型的软件测试逐渐成为基于模型软件测试的主要研究方向.结合UML模型中的测试信息,结合并改进了传统的测试用例生成方法,如场景法、判定表法等,提出了一套较合理的基于UML的测试用例生成方法,使得基于UML的测试用例生成方法的流程更加规范,更加易于生成满足很高覆盖要求的测试用例,并运用实例对其进行了验证.     

基于MBD模型自动生成测试用例的软件测试方法

在安全关键软件领域应用基于模型的开发技术时,存在着软件测试充分性的问题。提出了一种基于MBD模型自动生成测试用例、对航空发动机控制软件进行测试的新方法。通过使用MathWorks提供的自动生成测试用例工具箱(SLDV),基于FADEC控制软件的Simulink模型,自动生成满足控制软件模型MC/DC覆盖率100%的测试用例,并在Cppunit测试框架下执行测试用例;通过对比模型输出和测试输出来发现被测对象的问题,确保软件代码与模型的一致性。项目实践表明,该测试方法是软件集成测试的有益补充,提升了软件测试的充分性。     

基于分支插桩的改进型评价模型及其应用

软件测试是软件开发过程中极其重要的一环,提高软件测试的自动化程度对于确保软件开发质量、降低软件开发成本非常重要,而提高生成测试用例的自动化程度又是提高测试自动化程度的关键.当今用遗传算法生成测试数据是一种行之有效的方法,Korel 所提出的“分支函数”插装法在一定程度上优化了算法的执行效率.文中在此基础上,结合节点覆盖的思想,设计出一个能更好指导算法执行过程的模型.实验证明该适应度模型比单纯的插桩方式的遗传算法生成测试用例更加高效.     

具有不确定需求的软件测试用例生成方法研究

软件测试是软件开发重要的一部分,是保证软件质量,提高软件可靠性的重要途径。测试在需求分析阶段就开始介入,而在现实中很多需求是不确定的,在软件测试的过程中会面临许多不确定性的挑战。主要研究具有不确定需求的软件测试用例生成方法,利用基于标记迁移系统的Partial Models（部分模型）对不确定的需求进行建模,进而基于建立的模型生成有效的测试用例。针对模型中具有的不确定性引入概率,对不确定的部分进行概率表示,进一步基于标记迁移系统和Partial Models的特点提出测试用例生成方法。由于模型中具有不确定信息,由此生成的测试用例具有一定的概率,基于此对测试用例进行优先级排序。     

协议一致性冒烟测试系统的设计

协议一致性冒烟测试是在协议软件开发过程中进行的突显功能测试．冒烟测试系统需要解决测试功能选择、测试用例设计、测试系统实现以及二次开发接口等问题，本文在协议形式化描述模型上使用贪心算法进行测试功能选择，将测试需求转换成测试目的后自动生成测试用例，设计并实现了一个测试系统和一套完整的二次开发接口，并使用该系统对IP协议栈的一些协议进行了测试。     

基于BDI的测试用例生成Agent模型

在某些软件测试过程中，是由人工设计黑盒测试中的测试用例，这种方法人工重复劳动多、测试效率低。基于Agent理论中的BDI Agent的思想，给出了黑盒测试中自动生成测试用例的一个Agent模型，提出了一个使用该模型生成测试用例的算法。该模型能够依据黑盒测试中测试用例生成的基本原则和待测功能模块的功能说明，自动设计出相应的测试用例。使用该模型和算法生成了一个登录窗口的测试用例，解决了传统黑盒测试中的不足，具有重要的理论和实际意义。     

基于时间自动机模型的测试用例生成方法优化

为了减少测试产生、执行,存储以及维护测试用例的代价,提出了一种基于时间自动机模型的测试用例生成方法的优化技术.针对实时系统中不同的时间尺度,为了加快基于模型的测试用例生成的速度,通过对原时间自动机模型的结构进行改进,对这类实时系统进行测试产生优化.实验结果表明,优化后产生的测试用例集的大小及所用时间相对于优化之前有较大程度的约减,为进一步减少测试执行的时间,提高测试效率,加快软件开发进程提供了可行的解决途径.     

面向MVC + +的测试驱动开发研究

测试驱动开发是以测试作为软件开发过程中心的编程技术.由于其有助于提高产品代码质量,近几年来受到软件开发人员的推崇.然而,测试驱动开发在许多系统中应用还存在一定的难度,比如具有图形用户界面和多层架构的系统.本文提出了在MVC + +架构下进行测试驱动开发的过程模型和测试用例的设计策略,最后介绍了该模型在具体项目中的应用.     

FADEC系统软件非相似技术容错结构设计

随着航空发动机控制技术的发展,全权限数字电子控制（FADEC）系统的可靠性设计变得越来越重要;面对目前国内关于航空发动机高可靠性FADEC软件系统研究工作相对滞后的现状,针对硬件层基于相似余度技术,软件层基于非相似余度技术构成高可靠性FADEC系统的相关软件技术进行了研究;在提出FADEC系统软件非相似技术容错结构设计方案后,论文就此容错结构设计方案中的主要技术问题进行了研究。     

航空发动机FADEC系统双机时钟级同步技术研究

随首航空发动机控制技术的发展,全权限数字电子控制（FADEC）系统的可靠性设计变得越来越重要;在FADEC系统中,同步设计对于提高航空发动机全权限数字式电子控制器的可靠性具有重要的意义;为了解决如何在FADEC系统中实现双机时钟缓同步设计,简要的分析了应注意的问题;随限介绍了设计中采取软硬件相结合来同步两计算机实时时钟的基本方法,在实践中证明了该方法是行之有效的。     

航空发动机FADEC双冗余嵌入式实时计算机系统架构设计

全权限数字控制——FADEC,是高性能航空发动机以及推进系统综合控制采取的控制形式,是许多国家的发展和研制重点;作为其核心的计算机系统硬件、软件设计的优劣,直接影响着FADEC及航空发动机的整体性能;文中通过对比传统FADEC,提出了一种基于硬件相似余度、软件非相似余度的FADEC计算机系统架构体系,重点分析了操作系统的选择方案,在该操作系统的基础上,可进行用户平台的搭建、应用程序的开发;采用此种架构,可提高FADEC的实时性、可靠性。     

故障树分析方法在FADEC控制软件中的应用研究

故障树分析方法已被广泛应用在工业系统中,但在软件行业中的应用比较少,在航空发动机全权限数字电子控制系统的控制软件中的应用更是不多见。首先介绍了软件故障树分析方法的原理,并结合某型航空发动机数控系统控制软件出现的故障依据故障树分析方法进行实例化建模、分析。分析结果表明：故障树分析法在定位方面具有简明、直观等特点,在航空发动机控制软件故障定位过程中使用该方法,有助于提高问题定位的效率,提升软件可维护性。     

基于Simulink的航空发动机控制律设计与仿真

在航空发动机数控系统设计过程中,计算机仿真技术得到了广泛应用。基于计算机仿真技术,利用Matlab/simulink软件开发数字仿真平台,在某型涡桨航空发动机数控系统方案设计过程中,进行了模型的响应分析,设计了控制规律并进行仿真验证;根据仿真结果,改进设计了前馈补偿环节,并进行了仿真验证;搭建了该型发动机的全数字仿真环境,对控制规律进行仿真验证。通过数字仿真验证了控制规律的可行性,指导了数控系统方案设计。     

航空发动机FADEC系统软件浮点数计算精度分析

航空发动机FADEC系统控制软件的计算精度和运行效率是一对不可缺少的特性.为提高航空发动机FADEC系统控制软件的浮点计算的计算精度和运行效率,从IEEE 754浮点数格式、浮点数的表示形式、浮点数四则运算的精度方面展开分析,并结合FADEC系统控制软件项目实际应用案例的数据结果,验证了精度分析结果的正确性,并以此为基础针对FADEC系统控制软件的浮点算法设计提出了设计准则,有助于提高控制软件的可靠性和安全性,可推广至其他行业的控制领域应用.     

基于UML类图的软件预测模型

针对面向对象软件开发过程中对软件进行复杂性预测的问题,提出一种在面向对象软件开发的初期阶段通过统一建模语言（UML）类图对软件的复杂性进行度量的模型,该模型运用多元线性方程和统计学原理。对比实验结果表明,为UML类图的可理解性和可修改性所生成的预测模型能建立在由关联和泛化所组成的早期度量标准上。     

航空发动机FADEC系统软件故障分析

航空发动机的全权限数字电子控制(FADEC)系统具有体积小、重量轻,其控制软件易于编写和修改,并可以实现复杂的控制规律和许多现代控制算法等特点。软件的可靠性是系统可靠性的重要组成部分。本文研究了航空发动机FADEC系统中软件故障问题,并对软件故障问题的分类及其性质进行了研究和分析,为以后的软件可靠性设计做了较好的准备性工作。     

UML用例图在软件工程中的步骤设计研究

用例图作为uml的一种建模图形广泛应用在面向对象软件系统开发过程中,首先,界定了用例图在软件开发周期模型中的应用,接着,以“中国证券交易系统”中“上市公司股票发行”子用例图设计为例,详细描述了功能用例子图的绘制过程,然后,对整个软件系统的用例图的绘制过程进行了描述,给出了待开发系统的整体用例图.