实时嵌入式系统测试脚本模型化研究

为进一步提高实时嵌入式系统仿真测试平台的实时性能,研究分析了仿真模型与测试脚本的关系和特点,提出了脚本模型化的思想,通过将测试脚本转化为模型行为,以取代测试脚本耗时的解释执行机制,加快代码执行速度。基于该思想,为GESTE平台设计了一个脚本转换器,并通过实际测试,定量地对比分析了脚本模型化对代码运行速度的提升。     

测试脚本自动生成器的设计与实现

分析了现有的几种测试脚本生成技术,按照Mosley的同步数据驱动测试框架(CSDDT)框架设计并实现了一个针对面向对象程序的测试脚本生成器,通过实例验证了方法的可行性和工具的有效性,降低了产生测试脚本的工作量,对已知测试脚本产生过程中的弱点有很好的改进作用.生成脚本可以从单元测试开始应用,重用性良好,可同时测试多个类与方法,无须特定脚本开发语言.     

一种基于XML脚本技术的嵌入式系统测试方法

针对嵌入式系统内存不丰富、开发测试工具贵、与硬件相关性等特点,为实现嵌入式测试平台的快速搭建和通用性,文章设计出一种层次结构的嵌入式测试平台,该平台能够被快速创建且独立于嵌入式系统,并利用XML(eXtensible Markup Language,可扩展标记语言)脚本技术实现了与嵌入式编程语言的无关性。     

嵌入式系统模型驱动设计方法

提出基于模型驱动构架的嵌入式系统模型驱动设计方法．首先建立UMLforSystemC语言元模型，以扩充UML对硬件平台相关模型的描述能力；然后分析模型变换的映射规则；最后基于系统平台结构模型和软硬件划分提供模型变换实现．该方法能自动地生成不同实现的SystemC系统模型，以加速系统设计空间搜索效率。支持嵌入式系统的快速开发和验证．     

.Net框架下测试脚本自动生成技术研究

软件测试自动化的目的是通过自动执行测试脚本,使测试人员在更短的时间内能够更快地完成更多的软件测试,降低测试成本、提高测试效率。因此,自动化测试工具的脚本自动化创建能力和可维护性,就成了衡量自动化测试工具的重要因素。本文利用在.NET框架下提供的反射及代码文档对象模型命名空间,以及数据驱动脚本技术实现了测试脚本的自动生成,从而实现了整个软件测试过程的自动化,提高了软件测试效率。     

UML模型驱动的划分测试用例生成方法研究

测试用例的自动生成是软件测试研究的主要方向之一。针对现有的UML模型驱动测试方法在测试数据生成方面存在低效、无目的性、冗余等问题,提出了基于UML活动图模型驱动的划分测试用例自动生成方法。该方法将测试场景归为五种类型,并为每种类型规划了测试数据取值范围和选择方法。构建了基于该方法的原型工具软件,提供被测软件原模型和数据约束即可生成测试用例。实验结果表明,该方法能够在不降低测试覆盖率的情况下,能生成数量少、针对性强的测试用例集。     

嵌入式系统测试的发展

目前,我国的嵌入式系统测试技术处于起步时期的快速发展阶段,本土厂商自主研发的产品拥有良好的应用前景.本文围绕嵌入式系统测试的概念、应用领域和国内发展状况进行了综合阐述.     

模型驱动的Web应用测试

为了保证Web应用软件的质量,需要系统化的方法支持其测试。模型驱动的Web应用测试方法以模型为中心,通过建立Web应用模型描述被测系统,基于该模型产生测试用例,并且使用模型驱动的测试执行工具自动化执行测试,将测试结果返回到各个模型上。该文通过总结比较该领域的研究现状,讨论了实现模型驱动的Web应用测试的关键技术,并提出了目前研究的不足之处及潜在的研究方向和重点。     

关键字驱动脚本技术的应用

关键字脚本驱动技术是一种利用脚本中包含的关键词句来驱动测试事件的脚本技术.基于关键字驱动脚本技术的思想,从简化脚本书写的角度,开发出了软件测试自动化工具KAT.介绍了KAT的构架,并且给出了脚本模型和主要模块的算法.KAT结构简练,模块间松散耦合,易于扩展,充分体现了易开发、易阅读、易维护的自动化测试理念,并且具有良好的跨平台性.KAT投入使用后,以较高的测试准确率为基础,大大减少了测试成本,收到了很好测试效果.     

模型驱动下的数据库自动生成

为提高软件开发效率,提出模型驱动下的数据库自动生成方法.该方法以MetaEdit+作为元建模工具,由领域专家建立领域元模型和模型,通过生成器定义语言MERL,软件开发人员可以很方便地设计代码生成器,直接从领域专家所建立的图形领域模型生成Java程序代码,并运行已生成的程序代码进而生成数据库.通过一个实例详细介绍了数据库概念模型元模型设计、E-R模型设计并给出从E-R模型到Java代码的生成器设计.经测试,所生成的Java程序代码可以在Windows操作系统环境的Java平台上运行,并能正确生成Oracle 10g数据库实例.     

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

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

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

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

嵌入式系统中软件的测试用例生成研究

探讨了软件测试中常见的几大误区,并利用黑盒测试和白盒测试相结合的测试策略,针对嵌入式系统中电机矢量控制方法中的空间矢量脉宽调制(SVPWM)算法进行测试,详述了各个测试方法的原理及其对应测试用例的设计过程.     

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

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

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

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

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

在当今社会随着经济和科学技术的发展,UML也逐渐应用于诸多领域,其中最常用的是建立软件系统的模型。同时伴随着UML的推广,对于在其基础之上的测试用例生成发法的研究也逐渐得到了人们的关注。本文通过介绍UML的发展及具体相关内容,来探讨基于UML测试用例生成法的研究。     

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

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

一种基于面向对象测试模型的测试代码生成方法与工具

在大规模的采用面向对象技术的软件开发过程中,自动化测试能起到重要作用.面向对象的程序设计方法对软件的自动化测试提出了新的问题.例如,多态、继承和动态绑定等在过程式的程序设计中不存在的问题.提出了一种支持面向对象软件测试的自动化测试方法.其中,首先提出了一种面向对象测试模型;对一个被测软件,基于该模型描述其测试特征,并基于反射机制获得对象的结构,可自动生成测试代码;并在此基础上实现了一个微软平台上的对象测试自动化工具.     

支持脚本嵌入的Web工作流的研究与实现

分析了预编译工作流与Web表单工作流模型的优缺点,提出了两者相结合的支持在活动中嵌入解释性脚本的Web工作流模型,实现了活动业务逻辑与工作流系统的分离,使用户可以在不修改工作流基础设施的情况下,实现对流程活动的用户界面、业务逻辑及活动流向的完全自定义。实践证明,该模型具有较高的可扩展性和可重用性。     

嵌入式软件外部质量度量方法的研究与实现

随着信息技术的快速发展,嵌入式软件被广泛应用于各个行业,软件的质量也成为软件用户最关心的问题之一;但由于软件质量量化评价没有统一的标准,因此无法对软件质量给予一个科学、客观的评价.为此,文章根据国家相关标准,针对嵌入式软件的质量模型,提出一种以测试数据为依据、基于层次分析法的嵌入式软件外部质量评价方法.通过对某嵌入式软...