嵌入式软件自动化测试及管理系统研究

随着嵌入式软件技术的发展,嵌入式软件规模日益扩大、复杂程度越来越高,给软件测试提出了挑战。针对复杂嵌入式软件,设计一种软件自动化测试及管理系统,融入软件工程化管理过程,将自动化测试与测试管理过程相结合,打造一个无缝连接的系统。自动化测试及管理系统包括：接口设计、测试策划、测试设计、测试执行、测试结果显示与记录、缺陷管理和回归测试,以及数据分析和知识库等。在此基础上,设计并实现了自动化测试及管理系统,并在某测试项目中进行了应用。实践证明,使用自动化测试及管理系统开展嵌入式软件测试可以有效提高测试效率和质量。     

IOTEST在某型模拟对抗终端嵌入式软件测试中的应用

由于嵌入式系统对功能和性能的高要求,对嵌入式软件进行测试存在一定难度。嵌入式系统通过各种不同类型的接口与外界实现交互,故而对嵌入式系统的接口进行测试,是保证嵌入式软件质量的重要途径。以某型模拟对抗终端嵌入式软件为例,根据该型终端的特点,对基于IOTEST实现嵌入式软件测试的自动化进行研究。依照测试需求分析、测试环境搭建、测试建模、变量配置、测试脚本编写、测试执行的测试步骤和方法,通过测试实现过程详细说明了IOTEST在嵌入式软件测试中的应用。测试结果表明,IOTEST能够对嵌入式系统接口的正确性、实时性和可靠性进行有效地测试,该工具在测试过程中具备良好的实用性和通用性。在嵌入式软件的测试过程中合理使用IOTEST,可以有效提高测试效率,保证软件质量。     

基于LabVIEW的嵌入式软件黑盒测试系统的研究

为提高嵌入式软件测试的效率,介绍了一种用LabVIEW开发嵌入式软件黑盒测试系统的设计方案,阐述嵌入式软件仿真测试平台的特点及其实现方法。详细说明了本设计方案的测试用例的设计和编排方法,提出了一个解决使用LabVIEW软件产生的实时性问题的方法。     

面向船舶软件的仿真测试平台研究

软件仿真测试是嵌入式软件黑盒测试领域行之有效且具有广泛应用前景的方法,为解决船舶软件利用仿真测试环境进行自动化测试问题,文中分析了舰船作战指挥控制系统中的嵌入式软件的交联环境,研究了软件测试交联环境协同管理技术;利用将测试模型转化为XML文件并解析驱动的方法实现测试用例的自动执行;对仿真测试中数据类别分析,提出了测试数据的自动收集与分析技术.设计并开发了舰船嵌入式软件仿真测试系统,有效提高了船舶软件测试效率和测试准确性.     

嵌入式Linux软件测试框架的研究

嵌入式Linux软件是最难测试的一类软件。在测试过程中通过使用有效的测试框架,可以显著提高测试效率,最终确保软件质量。通过对嵌入式软件测试方法、测试工具与测试流程的深入研究,一种通用的嵌入式Linux软件的测试框架被提出,利用该框架可有效改善软件质量。     

基于使用模型的嵌入式软件测试用例生成研究

基于Markov链使用模型的软件统计测试是产生高效测试用例,实现软件可靠性定量评估的有效方法。介绍了基于使用模型的统计测试方法,论述了使用模型的概念和特点,以及从使用模型中可以计算出的静态参数和它们在统计测试和软件开发中所起的作用。提出Markov链使用模型用于嵌入式软件的测试,从理论上得到嵌入式软件的可靠性。具体阐述了嵌入式软件的Markov链使用模,型自动生成测试模型的方法。同时使用改进的Kullback判别式探讨测试的可靠性问题,从理论上证明了测试链到使用链收敛的必然性。理论分析和初步的实例证明该方法是可行的和有前途的。     

嵌入式软件的测试方法和工具

随着嵌入式系统中软件的比重越来越大,复杂程度越来越高,嵌入式软件的测试正面临前所未有的挑战.一般的软件测试方法和工具都可以直接或间接地用于嵌入式软件的测试,但是同非嵌入式软件相比,嵌入式软件的测试也有其自身特点.本文对可用于嵌入式软件的测试方法进行讨论,并对现有的嵌入式软件测试工具加以分析和介绍.     

基于使用模型的嵌入式软件测试用例生成研究

基于Markov链使用模型的软件统计测试是产生高效测试用例,实现软件可靠性定量评估的有效方法.介绍了基于使用模型的统计测试方法,论述了使用模型的概念和特点,以及从使用模型中可以计算出的静态参数和它们在统计测试和软件开发中所起的作用.提出Markov链使用模型用于嵌入式软件的测试,从理论上得到嵌入式软件的可靠性.具体阐述了嵌入式软件的Markov链使用模,型自动生成测试模型的方法.同时使用改进的Kullback判别式探讨测试的可靠性问题,从理论上证明了测试链到使用链收敛的必然性.理论分析和初步的实例证明该方法是可行的和有前途的.     

嵌入式软件的测试方法和工具

随着嵌入式系统中软件的比重越来越大,复杂程序越来越高,嵌入式软件的测试正面临前所未有的挑战,一般的软件测试方法和工具都可以直接或间接地用于嵌入式软件的测试,但是同非嵌入式软件相比,嵌入式软件的测试也有其自身特点,本文对可用于嵌入式软件的测试方法进行讨论,并对现有的嵌入式软件测试工具加以分析和介绍。     

一种基于Linux平台的嵌入式软件测试工具

详述了软件测试工具K7在Linux环境下对嵌入式软件进行代码测试的过程。结果表明,测试嵌入式Linux程序时,使用该工具能使被测程序从目标平台脱离,在宿主机RedHat9环境下完成代码静态分析,从而有效降低了嵌入式软件测试的复杂度,能够帮助程序员迅速查找软件的设计缺陷,提高软件可靠性。     

嵌入式实时系统软件测试实践

软件质量是软件的生命,软件测试是保证软件产品质量的重要手段。本文从嵌入式系统的特点出发,阐述了嵌入式系统软件测试的实现方法。并结合某无线通信电台软件测试的实例,详细叙述了如何利用Testbed和RTInsight搭建嵌入式实时系统的软件测试平台,说明了在此平台上进行软件覆盖率测试和性能分析的全过程,同时给出了部分测试结果。     

通用嵌入式软件测试环境在武器装备软件测试中的应用

阐述了武器装备嵌入式软件的系统测试的重要性,论述了利用通用嵌入式软件测试环境(GESTE)对武器装备嵌入式软件进行系统测试的方法和过程,最后给出了一个实例应用.     

嵌入式实时系统软件测试实践

软件质量是软件的生命,软件测试是保证软件产品质量的重要手段。本文从嵌入式系统的特点出发,阐述了嵌入式系统软件测试的实现方法。并结合某无线通信电台软件测试的实例,详细叙述了如何利用Testbed和RTInsight搭建嵌入式实时系统的软件测试平台,说明了在此平台上进行软件覆盖率测试和性能分析的全过程,同时给出了部分测试结果。     

星载设备嵌入式软件可靠性仿真测试系统设计

在分析了嵌入式软件可靠性仿真测试环境的功能需求和组成结构的基础上,设计了一种嵌入式软件可靠性仿真测试系统,专用于星载设备嵌入式软件的可靠性测试.阐述了星载嵌入式软件可靠性仿真测试系统的设计实现目标,设计了系统的组成结构,详细介绍了各个部分的具体实现.系统的实现采用了现代微机的高性能、多线程以及USB技术.最后通过一个星载设备嵌入式软件的可靠性仿真测试验证了所设计的仿真测试系统对于嵌入式软件可靠性仿真测试是适用的,并且是完善、灵活并极具实用价值的.     

Automatic testing environment for multi-core embedded software—ATEMES

Software testing during the development process of embedded software is not only complex, but also the heart of quality control. Multi-core embedded software testing faces even more challenges. Major issues include: (1) how demanding efforts and repetitive tedious actions can be reduced; (2) how resource restraints of embedded system platform such as temporal and memory capacity can be tackled; (3) how embedded software parallelism degree can be controlled to empower multi-core CPU computing capacity; (4) how analysis is exercised to ensure sufficient coverage test of embedded software; (5) how to do data synchronization to address issues such as race conditions in the interrupt driven multi-core embedded system; (6) high level reliability testing to ensure customer satisfaction. To address these issues, this study develops an automatic testing environment for multi-core embedded software (ATEMES). Based on the automatic mechanism, the system can parse source code, instrument source code, generate testing programs for test case and test driver, support generating primitive, structure and object types of test input data, multi-round cross-testing, and visualize testing results. To both reduce test engineer's burden and enhance his efficiency when embedded software testing is in process, this system developed automatic testing functions including unit testing, coverage testing, multi-core performance monitoring. Moreover, ATEMES can perform automatic multi-round cross-testing benchmark testing on multi-core embedded platform for parallel programs adopting Intel TBB library to recommend optimized parallel parameters such as pipeline tokens. Using ATEMES on the ARM11 multi-core platform to conduct testing experiments, the results show that our constructed testing environment is effective, and can reduce burdens of test engineer, and can enhance efficiency of testing task.     

嵌入式软件测试数据处理系统的研究

嵌入式软件测试已成为当前测试领域的热点之一,由于嵌入式软件一般具有实时性强、接口数据复杂的特点,使得每次测试都会产生海量的测试数据,如何有效地分析、处理这些测试数据,从而获取有效的数据信息是测试分析工作的难点.给出了海量测试数据处理的关键技术和解决途径,并实现了嵌入式软件测试数据处理系统的开发.最后,通过一个实例应用验证了该系统的正确性和有效性.     

基于故障注入的仿真测试方法过程框架

在嵌入式系统组成特性和嵌入式软件测试抽象分析基础上,提出了一种基于故障注入的嵌入式软件仿真测试方法.结合故障注入试验过程特点,将故障分析、故障建模和故障注入技术有效地应用于嵌入式软件仿真测试过程中,并对该方法的测试过程框架进行了探讨.     

Systematic reliability analysis of a class of application-specific embedded software framework

Dramatic advances in computer and communication technologies have made it economically feasible to extend the use of embedded computer systems to more and more critical applications. At the same time, these embedded computer systems are becoming more complex and distributed. As the bulk of the complex application-specific logic of these systems is realized by software, the need for certifying software systems has grown substantially. While relatively mature techniques exist for certifying hardware systems, methods of rigorously certifying software systems are still being actively researched. Possible certification methods for embedded software systems range from formal verification to statistical testing. These methods have different strengths and weaknesses and can be used to complement each other. One potentially useful approach is to decompose the specification into distinct aspects that can be independently certified using the method that is most effective for it. Even though substantial-research has been carried out to reduce the complexity of the software system through decomposition, one major hurdle is the need to certify the overall system on the basis of the aspect properties. One way to address this issue is to focus on architectures in which the aspects are relatively independent of each other. However, complex embedded systems are typically comprised of multiple architectures. We present an alternative approach based on the use of application-oriented-frameworks for implementing embedded systems. We show that it is possible to design such frameworks for embedded applications and derive expressions for determining the system reliability from the reliabilities of the framework and the aspects. The method is illustrated using a distributed multimedia collaboration system.     

基于覆盖的软件测试技术在实时嵌入式软件中的应用研究

基于覆盖软件测试技术在实时嵌入式软件中的应用进行的研究，针对实时嵌入式软件测试的特点，文中提出了一个适用于实时嵌入式系统覆盖测试的软件测试模型。并对该模型实现中的核心技术进行了阐明。最后介绍了以上软件测试技术在实际工程项目的应用情况。     

嵌入式API测试套生成方法和技术

随着嵌入式计算机系统应用的不断扩展,嵌入式系统的可靠性引起了学术界和工业界的广泛关注,也提出了很多增进可靠性的方法和技术.然而,现有的方法和技术在测试套生成方面论述不多,所以在处理大批量嵌入式系统测试工作中遇到了挑战.讨论抽象测试套生成方法和适配技术,提出了LTS(labeled transition system)到BT(behavior tree)的转换算法,从而使TTCN(test and testing control notation)测试套可以通过转换嵌入式软件的LTS描述产生.还介绍了基于上述转换算法的嵌入式软件测试工具包,以及一个嵌入式物联网识读器测试案例研究.