嵌入式软件仿真测试平台软件复用性研究

实现嵌入式软件仿真测试平台(ESSTP,embedded software simulationte8ting plafform)软件复用性的关键是获得ESSTP软件体系结构.给出了ESSTP的软件体系结构,并针对ESSTP各部件的可复用性作了具体的分析.     

基于SOA架构的嵌入式软件测试平台

随着嵌入式软件的性能越来越复杂,软件的质量对嵌入式产品的最终质量起到了决定性的作用.嵌入式软件测试是保证软件质量及嵌入式系统质量的重要技术手段,而嵌入式软件测试平台正是为提高测试效率、降低测试费用而提供的操作平台.论文介绍了面向服务的体系结构(Stervice-oriented,简称SOA)的概念及结构模型,着重阐述了如何采用SOA对DSTE(Distributed Simulation Testing Environment)进行架构,并解决了测试中各部分之间信息的传递问题,较好适应了嵌入式软件的交叉测试过程和嵌入式系统资源有限的特点.     

构件化嵌入式软件设计模型非功能性质验证的工具实现

嵌入式软件的非功能性质是系统高可靠性的重要构成部分.传统的嵌入式软件可靠性保障技术主要关注于系统开发后期,缺乏有效工具对系统设计的非功能性质进行分析与验证.对基于接口自动机模型的构件化嵌入式软件设计验证原型工具T-CBESD(Tool for Component-based Embedded Software Designs)进行了资源及能耗等非功能性质验证功能的扩展设计与实现,包括:资源接口自动机和能耗接口自动机模型的输入输出接口设计、UML顺序图模型的预处理、带非功能语义信息的组合系统状态空间数据结构的设计、非实时资源使用性质与实时相关能量消耗特征验证算法的实现,以及一个通信构件组合系统的实例应用分析.     

开放实时嵌入式软件平台TOPPERS的研究现状

嵌入式系统开发趋势之一是基于平台的开发,包括硬件平台和软件平台。开放实时嵌入式软件平台TOPPERS(Toyohashi Open Platform for Embedded Real-time System)是一个包含多种嵌入式实时操作系统、中间件以及软件开发工具在内的,可用于多个领域的综合性平台。本文介绍了TOPPERS的历史、现状及其下一个十年的发展计划和目标,以及TOPPERS在国内的发展情况和目前基于TOPPERS成果正在进行的工作。     

基于ARM嵌入式处理器的反汇编方法

从程序编制的角度,通过对ARM指令的特征及深层次机理的探索,结合嵌入式集成开发环境软件(Embedded IDE Software)开发中的实际经验,简明而深入地介绍了基于ARM嵌入式处理器的反汇编方法.     

基于Python的实时嵌入式软件测试脚本

基于Python语言设计一种实时测试脚本,开发扩展模块,实现测试脚本与嵌入式软件仿真测试环境（ESSTE）的接口。该测试脚本使用简便,实时性高、描述能力强、具有良好的可复用性,目前已成功应用到ESSTE中。对多个实时嵌入式软件进行测试,结果验证了该测试脚本的正确性和实时性。     

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

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

基于ADS2的嵌入式软件测试仿真建模方法研究

嵌入式软件通常运行于特定的物理环境中,外部设备接口种类多,功能差异大,实时性强,在进行测试时需要花费大量人力、物力来构建测试环境。针对这一问题,采用半实物仿真技术,利用ADS2测试工具对外部设备进行仿真建模,构建一个逼真的模拟环境来进行嵌入式软件测试。ADS2能够满足嵌入式软件仿真测试的通用化和实时性要求,可以有效支持数据源、交联设备等多种仿真模型的设计开发。测试实例表明,利用ADS2进行嵌入式软件半实物仿真测试,能够加快测试环境构建过程,降低测试成本,拓宽测试范围,提高嵌入式软件测试的质量和效率。     

Matlab/RTW EC面向MC9S12D64的自动代码生成

传统的电控软件开发模式已无法满足日益庞大、复杂的汽车电控系统的开发要求,基于模型的开发方法以及自动代码生成技术在汽车嵌入式软件开发中得到越来越广泛的应用。本文介绍使用Matlab/Real-Time Workshop Embedded Coder(Matlab/RTW EC)将Simulink控制模型生成C代码以及生成代码与Freescale MC9S12D64单片机底层代码的集成方法,通过测试验证了生成代码的有效性。     

T-CBESD:一个构件化嵌入式软件设计模型验证工具

现代复杂嵌入式软件系统的高可靠性需要有效的基于模型的设计与分析技术.传统的嵌入式软件可靠性保障技术主要关注于系统开发后期.本文在Eclipse平台上设计并实现了一个基于接口自动机模型的构件化嵌入式软件设计的形式化验证原型工具T-CBESD(Tool for Component-Based Embedded Software Designs).工具直接使用UML顺序图模型作为系统规约,可以检验系统设计模型与场景式规约之间多种行为一致性问题;并使用消息事件的时间约束不等式,检验实时接口自动机网络与带时间约束的顺序图模型之间的实时行为一致性问题.工具设计与实现内容包括:输入输出接口、顺序图模型的预处理转换、状态空间数据结构设计、抽象验证算法的实现以及通信构件组合系统的实例应用分析.     

浅谈软件测试和嵌入式软件测试

软件测试是保证软件质量,提高软件可靠性的关键。软件测试过程主要分为四个测试步骤:单元测试、集成测试、系统测试和验收测试。软件测试应该遵守其基本原则,包括尽早和不断地进行软件测试、避免由程序员检查自己的程序等。嵌入式系统是指以嵌入式应用为目的的计算机系统,具有其特殊功能。嵌入式软件测试主要有白盒测试与黑盒测试两种方法,有性能分析工具、内存分析工具等多种分析工具。     

自动化回归测试在Java项目中的实现

回归测试是软件测试中一种重要的测试。软件开发过程中出现的各种变化可能会给软件的质量带来副作用。回归测试就是用来监控软件的变化,及时反馈由变化带来的结果。回归测试的自动化可以提高较大规模软件测试的质量和效率。文中首先介绍了软件自动化测试和回归测试的概念,然后以一个用Java语言开发的项目CADS(CrossArchitectureDevelopmentSuite)为例,详细阐述了如何在Java项目中实现回归测试的自动化,最后总结了自动化回归测试的优点及其适用范围。     

.NET平台下的单元测试

"开发未动,测试先行。"这是现代的极限编程理论。这突出显示出测试在现代软件开发中的重要性,而单元测试又是软件测试中的第一阶段的测试,也是最重要的。该文将阐述并实现在.NET平台下进行的单元测试。     

基于RTOS的无人机发动机数控系统软件设计

针对某无人机发动机数控硬件系统,采用嵌入式实时操作系统VxWorks进行系统软件设计;首先介绍电子控制器硬件体系结构,然后根据发动机控制任务需求,进行任务模块划分,设计系统各任务在VxWorks中的调度管理方法以及各模块软件;系统设计完毕,在试车台上进行发动机数控试车验证,试验结果表明,所设计的控制软件与电子控制器配合良好,能实现发动机的电子控制要求。     

嵌入式软件结构化测试方法及其相关案例研究

嵌入式软件的测试是当今计算机软件测试领域的一个热点。该文首先分析了在嵌入式系统中进行软件测试的重要性以及目前进行嵌入式软件测试所面临的困难,接着介绍嵌入式软件的一种结构化测试方法——TEmb方法,并在此基础上根据一个实例——火控系统测试来具体应用嵌入式软件结构化测试方法。     

近期软件测试工具分析

软件测试工具是软件开发工具中非常重要的一个部分，国外的软件工具开发人员对此已做了大量的工作。本文在此择其若干进行介绍、分析，谨提供给国内的软件工具开发人员参考。     

嵌入式计算机软件测试技术探究

嵌入式计算机属于计算机技术的一种,这种技术比较先进。在科技迅速发展的背景下,嵌入式计算机实际适用范围变得越发广泛,对其软件进行测试,可以确保软件处于运行状态时的可行性以及稳定性,促进软件水平的发展与提升。展开测试时﹐需充分了解测试技术。     

Linux手机软件平台创建工具

随着手机功能的丰富和使用领域的拓广,手机软件平台技术越来越被重视。手机软件平台对手机开发和手机性能上的影响,已经使其成为技术领域内一个研究的热点。为了使基于Linux的嵌入式软件平台的建立、集成和分配更容易,需要一个手机软件平台创建工具,以提高手机软件平台的开发效率。手机软件平台创建工具是一个图形用户界面的系统集成和分配工具,功能覆盖了创建手机软件平台的全过程。分析了基于Linux的手机软件平台的优势,探讨了软件包管理方式,描述了平台创建工具的系统结构和相关技术,并讨论了该工具在手机软件开发过程中所起的重要作用。     

基于Linux的嵌入式汽车智能监控系统的设计

介绍了基于Linux的嵌入式汽车智能监控系统的功能和硬件选型,阐述了基于图元的组态软件的设计思想、方法,强调了图元库的管理,以及根据图元属性绘制图形的实现方式,最后作为一个应用给出了汽车智能监控系统的软件设计。