基于模型的嵌入式软件测试

针对嵌入式软件开发中的问题,在嵌入式软件测试中应用基于模型的软件测试策略,可以极大的降低开发成本,保证软件质量.阐述了该测试策略,着重讨论和分析了基于UML模型的嵌入式软件测试技术,并介绍了UML模型指导嵌入式软件测试在实际开发环境中的应用.     

实时嵌入式软件测试脚本技术研究

根据当前软件测试脚本技术的发展，结合实时嵌入式软件的特点，提出了脚本化的实时嵌入式软件测试的实现机制，并分别针对嵌入式软件测试脚本语言的设计及其相应解释器的实现进行了阐述。     

嵌入式软件测试技术研究与应用

嵌入式软件测试技术被应用于多种领域,它与一般软件的测试相比有所差异,嵌入式系统具有实时性、通道少、内存小、开发工具昂贵、与硬件联系紧密、种类繁多等显著特点,这些特性极大地增加了软件测试的难度。本文从软件测试的基础着手,阐述了软件测试的目的、技术和嵌入式软件系统的自身特点对软件测试的影响等问题,并介绍了嵌入式软件测试技术在石油开采中的应用。     

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

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

嵌入式软件仿真测试脚本语言的设计与实现

软件测试中,脚本技术的引入是实现软件测试自动化技术的有效手段。软件测试脚本化可以减少测试人员的工作量,提高软件测试的可维护性。另外,脚本语言具有较好的移植性,有利于实现跨平台,可提高脚本代码的可重用性和测试的可重复性。结合嵌入式软件测试的特点,提出了针对嵌入式软件仿真测试的通用测试脚本语言ESSTSL,并对该语言的设计以及在测试环境中的实现机制进行了阐述,并将其应用于实际的软件测试中。     

基于LDRA的嵌入式软件覆盖率测试方法

基于实时嵌入式软件的测试经验,针对实时嵌入式软件特点,研究了基于LDRA的嵌入式软件覆盖率测试方法,分析了程序插装BITMAP技术应注意的问题．提出了单文件和多文件两种方式的覆盖率测试方法。对于嵌入式软件测试,具有实际参考价值。     

基于LDRA的嵌入式软件覆盖率测试方法

基于实时嵌入式软件的测试经验,针对实时嵌入式软件特点,研究了基于LDRA的嵌入式软件覆盖率测试方法,分析了程序插装BITMAP技术应注意的问题,提出了单文件和多文件两种方式的覆盖率测试方法。对于嵌入式软件测试,具有实际参考价值。     

星载嵌入式软件自动化测试技术研究

作为软件工程学科的一个重要分支,软件测试随着软件技术的发展而不断进步;目前,软件测试技术的研究主要向网络化、大型化和自动化方面发展;由于星载嵌入式软件具备实时性好、环境依赖性强、可靠性高、测试重复性强等特点,其测试也与一般软件的测试有很大不同,需要投入更多的资源;如果采用自动化测试,则可以更好地利用资源,大大地节约测试时间,提高测试质量,保证型号研发进度;文章在分析自动化测试技术的基础上,针对星载嵌入式软件的特点,着重对不同测试阶段的星载嵌入式软件自动化测试技术进行了研讨。     

基于模块化设计的嵌入式软件测试方法

分析嵌入式软件的特点,综述传统的软件测试方法;针对嵌入式软件的特点,提出嵌入式软件的四级测试流程和集成测试的测试模型,并结合开发数控系统的实例进行分析。     

嵌入式软件测试方法与技术

随着嵌入式技术的发展，如何对它进行快速有效的测试已经成为现在的一大热点。本文介绍了软件测试的基本概念，重点介绍了嵌入式软件的测试方法和关键技术。在此基础上给出了现在一般嵌入式软件测试系统的基本框架图。     

面向实时嵌入式机载软件的测试技术研究

文章对实时嵌入式机载软件的测试方法进行了研究，地对机载计算软件的时空约束，面向机器和容错计算每一系列特点，提出了一个适用于实时嵌入式机载系统的ＲＥＡＳＴ软件测试模型，并地该模型实现中的４个核心技术进行了简要的阐明，最后，介绍了以上软件测试方法在实际工程项目中的应用情况。     

嵌入式软件测试的数据获取技术

测试数据获取是嵌入式软件测试的关键技术,其准确性.实时性和可靠性对测试质量有决定性影响.嵌入式软件测试需要根据软件特性和测试要求对数据获取方法进行定制设计.针对侵入式的软件插桩测试技术,着重研究了硬件采集、硬件收发、纯软件方式的插桩实现过程.对非侵入式的边界扫描技术和虚拟仿真技术的数据获取原理进行了分析,并提出了嵌入式开发测试一体化集成应用和全生存周期嵌入式软件开发,测试与管理的思想,指出了嵌入式软件测试的新方向.     

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

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

嵌入式软件仿真测试平台实时数据处理研究

实时数据处理在嵌入式软件仿真测试平台中起着要目标和实时数据处理的要求,提出了一种实时数据处理体系的逻辑模型,并对实时数据管理、事务调度、实时接口映射机制等关键技术进行了深入探讨.     

关键字驱动的嵌入式实时软件自动化测试框架研究

为了提高嵌入式实时软件的测试效率,提出了基于关键字驱动脚本技术的嵌入式实时软件自动化测试框架。首先指出嵌入式实时软件测试存在的问题,对比分析了目前常用的自动化测试框架;然后针对DCS控制器嵌入式软件设计了自动化测试框架,并描述用到的相关技术;最后给出控制器版本验证的例子,结果表明自动化测试的可行性。     

基于嵌入式软件实时运行和测试的仿真环境的研究与设计

测试环境在嵌入式软件测试过程中起着重要作用,一些软件测试人员拥有好的测试软件,却苦于没有好的测试环境来支持。该文提出了一种基于嵌入式软件实时运行的通用仿真测试环境。在测试过程中,主要应用于系统测试,适用于一般嵌入式软件和容错软件的实时测试。采用了总线上的故障注入和数据采集方法。环境的实现利用了现代微机的高性能、多任务多线程,以及FPGA、PCI等技术。     

基于RTW ERT／VxWorks的实时仿真方法实现

介绍了一种基于PTW Embedded Coder和嵌入式操作系统VxWorks的实时仿真方法。在一些实时性要求较高的仿真系统中,怎样能够在不加大开发难度的情况下提高仿真的实时性是一个需要解决的问题。Mathb中的RTW是专门为实时仿真设计开发的,VxWorks是一个非常实时的嵌入式开发系统,利用代码生成工具将ERT嵌入式目标自动生成优化的嵌入式实时C代码,下载到VxWoks嵌入式实时操作系统下运行。主机运行Simulink模型,目标机运行实时代码．保证了实时性。同时提供了利用C—API接口实现在线调参的方法,与传统的基于Tornado实时目标和VxWorks的实时仿真方法相比,更加利于对模型参数进行访问。     

Basic research in computer science and software engineering at SKLCS

The State Key Laboratory of Computer Science (SKLCS) is committed to basic research in computer science and software engineering. The research topics of the laboratory include: concurrency theory, theory and algorithms for real-time systems, formal specifications based on context-free grammars, semantics of programming languages, model checking, automated reasoning, logic programming, software testing, software process improvement, middleware technology, parallel algorithms and parallel software, computer graphics and human-computer interaction. This paper describes these topics in some detail and summarizes some results obtained in recent years.     

Basic research in computer science and software engineering at SKLCS

The State Key Laboratory of Computer Science (SKLCS) is committed to basic research in computer science and software engineering. The research topics of the laboratory include: concurrency theory, theory and algorithms for real-time systems, formal specifications based on context-free grammars, semantics of programming languages, model checking, automated reasoning, logic programming, software testing, software process improvement, middleware technology, parallel algorithms and parallel software, computer graphics and human-computer interaction. This paper describes these topics in some detail and summarizes some results obtained in recent years.     

基于覆盖与故障注入的飞控软件测试技术研究

无人机飞控软件是典型的实时嵌入式软件系统,其可靠性、安全性测试与评估是军用软件保障工作与无人机技术发展中的重点与难点。针对飞控软件的特点,介绍基于覆盖与故障注入的测试方法．分析其测试与可靠性评估中的关键技术,并简要介绍应用于测试数据分析过程的软件可靠性建模工具MEADEP的构成与建模方法。实践证明对安全关键软件严格的测试与评估可大大降低错误隐藏数,减少不必要的经济损失与灾难性事件发生。