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

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

灰盒测试方法在软件可靠性测试中的应用

 阐述了软件可靠性测试的概念和灰盒测试方法在软件可靠性测试中生成测试数据方面的应用,给出了方法用于可靠性测试中的工作流程,分析了其与传统的可靠性测试方法相比的优越性以及尚未解决的局限性,展望了未来的研究方向。     

黑盒预处理功能可测试性的研究

通过对黑盒预处理功能可测试性的数学建模和理论证明,总结出可测试性黑盒预处理功能的判定步骤和测试方法,并通过一个实例进行详述。     

基于GJB 9433的FPGA软件测试环境平台研究与应用

针对FPGA测试方法不规范、测试流程不统一的问题,提出构建一种基于GJB9433的软件测试环境平台,通过对FPGA软件测试环境平台的需求分析,设计了基于GJB9433的软件测试环境平台的架构及组成,实现了FPGA软件的自动化测试,并在实际项目应用中对设计架构进行了验证,可为标准在工程项目中的落实提供高效的环境支撑。     

ARINC661服务器软件自动化测试的研究与实现

针对ARINC 661服务器软件测试的规模庞大、维护困难等问题,结合ARINC 661服务器软件标准部件库特点,本文提出了一种自动化测试方法,研究了自动化测试的关键技术,并完成了自动化测试工具的开发。实际测试结果表明,自动化测试方法以及自动化测试工具可以显著提高软件的测试水平,减少测试的成本。     

直升机机电管理系统软件测试方法研究

针对直升机机电管理系统软件测试存在的问题,结合W模型,使用Tesdbed测试工具,提出了一种嵌入式软件测试方案,提高了软件生产效率及其质量,为嵌入式软件测试提供了一个全面高效的测试方法。     

软件测试的控制论方法

 软件测试被认为是软件开发过程中理解最为不清的一环。部分原因是虽然有很多策略被定义和分析,但很少有策略被设计和优化。软件测试的反馈机制迄今尚未形成。基于此种情况,软件测试的控制论方法将软件测试问题当作控制问题,被测软件当作被控对象,软件测试策略当作相应的控制器,被测软件和测试策略构成一个闭环反馈控制系统。软件控制论是一门探讨软件理论和工程与控制理论和工程交叉的学科,软件测试的受控马尔可夫链方法利用受控马尔可夫链理论设计和优化软件测试策略,是软件控制论思想的体现。在受控马尔可夫链方法的框架内讨论软件系统的自适应测试,并与随机测试进行比较,发现自适应测试方法相对于传统的随机测试方法具有较大的优越性。     

某测试软件输入模块的可靠性测试方法研究

采用黑盒测试方法对某数据采集系统的测试软件进行了测试.通过对软件需求和性能的分析,建立了软件的运行剖面和测试案例,进行了可靠性测试,得到了该软件输入模块的可靠性测试结果.     

Bayesian图模型的化简及在软件测试中的应用

介绍了一种基于贝叶斯图模型的软件测试新方法,该方法为具有不确定性的软件测试问题的逻辑结构提供了形式化机制。分析了该方法的优点和不足,并进行了改进。提出了简化模型,给出了测试过程,通过实例介绍了该模型。表明通过基于贝叶斯图模型的测试方法所构造的模型可以作为软件测试的动态表示,并用于驱动测试设计,为测试者提供决策支持。     

随机测试与划分测试的比较

软件测试在软件工程中的地位和作用是非常重要的,本文简述了软件工程中的随机测试和划分测试。从测试评判标准出发,比较了这两种测试方法,给出了各自的适用情况,分析了各自的不足,给出了有意义的结论。     

满足适航要求的嵌入式操作系统测试方法

以被定义为DO-178C Level A级软件的自主版权嵌入式实时操作系统为应用模型，提出了一种基于DO-178C标准的嵌入式实时操作系统的测试方法。提出的测试模式解决了操作系统内核在目标机中难以测试的问题，同时对操作系统在目标机环境进行测试的一些具体问题给出了解决方案。方法既适合现阶段国军标对软件测试提出的要求，又保证了嵌入式操作系统软件测试活动与适航要求的符合性。     

基于在线调试的串口通信协议测试方法

以测试某型数据传输数字地图子系统中数字地图生成模块软件的RS485通信协议为例,提出了两种基于在线调试的串口通信协议的测试方法。这两种方法不仅简单易行地解决了某些测试环境中无法利用串口调试工具进行串口通信协议测试的问题,还为软件测试领域提出了一种通过在线调试技术解决问题的思路。     

一种基于组合覆盖的黑盒测试用例自动生成方法

给出了一种黑盒测试用例的自动生成方法,该方法基于组合覆盖测试,能够在保证测试质量的同时有效地减少测试用例的数目和测试成本,提高测试效率。本文给出了这种用例生成方法的算法,说明了其有效性,并介绍了该方法软件原型的实现。     

基于虚拟仪器的航空电气控制盒测试系统设计与实现

介绍了一种基于虚拟仪器的航空电气控制盒测试系统的设计和实现,该系统是一种针对各类飞机电气控制盒的开放式的综合测试系统。对系统中主要硬件的设计和上层测试软件的设计思想做了相关讨论,同时阐述了整个测试系统的实现功能和方法。利用该综合测试系统,可以开发出各类飞机电气控制盒的测试系统,克服了以往测试设备只能测试一个产品的缺点,提高了测试准确度和效率。     

分层结构的雷达告警设备软件测试方法

雷达告警设备是现代作战飞机不可或缺的雷达对抗设备,主要用于对敌方雷达威胁信号的告警.分析了分层结构的雷达告警设备软件的特点,借鉴集成测试中自底向上增量式集成策略,提出了一种综合运用调试、插桩和仿真的配置项测试方法.测试结果表明,方法对此类以数据处理功能为核心、分层结构设计的嵌入式软件测试,有很好的借鉴作用.     

基于模型的系统工程在民机领域的应用

介绍了在民用飞机系统顶层设计中基于模型的系统工程方法的应用.该流程由需求分析、功能分析和设计综合阶段构成.对每一个用例的功能分析中得到活动图、顺序图和可执行的状态机.执行状态机可验证需求的符合性,同时形成系统功能和非功能性需求.储存在数据库中的需求逐条与模型元素建立链接关系,保证可追溯性.黑盒模型完成之后,将功能与流程分配系统架构中,形成子系统白盒模型和子系统接口.相比传统设计方法,该流程更好地保证了系统可测试性、可追溯性和功能的完整性.     

无人机飞控软件测试方法研究

飞控软件是无人机飞行控制系统的控制神经中枢,对无人机飞控软件进行有效的测试是保证飞控系统质量的重要手段.根据某型无人机飞控软件及其开发特点,提出一种与软件开发过程同步的、基于多个测试环境的软件测试模型,重点阐述该模型涉及的单元和配置项测试方法.测试结果表明,提出的测试模型,测试工作能有效地发现无人机飞控软件在不同开发阶段引入的不同类型的软件缺陷,有效地保障了无人机飞控软件的安全性、可靠性和质量.     

Time Petri网在实时软件测试中的应用

针对实时软件传统测试方法的不足,提出了用Time Petri网生成测试方案的方法.该方法很好的处理了与时间有关的不确定性问题,具体例子说明了其在实时软件测试中的应用.     

一种任务规划地面站软件自动化测试框架设计

任务规划地面站软件是保障飞机安全飞行的重要软件，为解决该类软件测试时采用传统自动化测试工具测试脚本维护困难、复用率低，手工测试效率低下等问题，本文设计并提出了一种自动化测试框架。框架基于关键字驱动的思想，通过建立控件映射表，定义常用测试关键字，自动生成测试文档等设计，实现了测试用例与测试脚本的分离，使测试用例的设计、维护、复用更加灵活、简便，并能有效提高软件测试效率。     

星载软件测试用例设计方法的研究

主要针对航天型号星载软件,结合三种测试方法的各自特点,归纳整理出测试方法在实际测试用例设计中使用情况以及产生的典型案例。并通过三种测试方法的比较得到每种测试方法的适用情况以及在实际卫星型号星载软件测试工程实践中的运用。目的是通过对三种测试方法的研究和典型案例的分析进一步提高软件评测的技术能力。