用于GUI软件的测试工具

为提高GUI软件测试的效率、降低软件成本,提出一种针对GUI软件的测试工具.该工具由测试配置设定模块、测试用例设计模块和测试用例执行模块组成.首先根据测试需求进行测试配置设定生成INI文件,然后根据INI文件内容将测试对象窗体中需要测试的控件及属性设定到测试用例设计界面中,在界面中进行测试用例设计,并将设计数据保存到XML文件中,测试用例执行模块通过读取XML文件中的数据完成测试用例的自动执行,同时进行测试结果判断,最后生成测试报告.测试人员只需输入数据,不用编写测试脚就能实现测试用例的自动执行,能减轻测试人员负担,提高软件测试效率.     

关于嵌入式应用开发技术

在阐述嵌入式系统概念和特性的基础上,介绍嵌入式系统设计中的硬件和软件协同设计、实时理论算法模型、实时设计表示、实时设计过程、实时软件设计方法等。文中还对应用软件开发的最小编程环境和实时操作系统、实时数据库以及软件的应用测试进行了阐述。     

关于嵌入工应用开发技术

在阐述嵌入式系统概念和特性的基础上,介绍嵌入式系统设计中的硬件和软件协同设计、实时理论算法模型、实时设计表示、实时设计过程、实时软件设计方法等。文中还对应用软件开发的最小编程环境和实时操作系统、实时数据库以及软件的应用测试进行了阐述。     

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

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

基于PEFSM行为模型的黑盒测试用例生成方法

随着计算机软件在医疗、航天、金融等领域的广泛应用,人们对软件系统可靠性的要求越来越严格。软件测试是保证软件安全可靠的有效手段,测试用例的优劣会直接影响测试效果及测试成本。针对嵌入式系统黑盒测试问题,提出了基于概率扩展有限状态机(PEFSM)行为模型的测试用例生成方法,通过两个假设给出了该方法的适用场景,设计了正则表达式转化和展开算法,并将该方法应用于Android智能电视的黑盒测试。该方法的特点是:1)根据用户对待测系统各类操作的使用频率信息,优先测试用户常用操作,从而缩减测试用例的数量和长度;2)可人为指定测试用例的初始状态和结束状态,设置闭包循环次数和迁移之间的等待时长,从而保证测试方法的灵活性和适用性。对比实验结果表明,该方法能够降低软件测试成本,提高测试用例的错误探测效率。     

基于全数字的航空机载软件验证平台研究

为解决机载软件验证与开发环境冲突、软件验证独立性及软件联合仿真验证的问题,提出了一套基于全数字仿真技术的航空机载软件验证平台设计方案。即基于企业内各专业已有的全数字仿真系统、多学科仿真模型,设计了一套以数据分发服务为基础的架构,实现系统之间的互联互通;考虑软件测试要求及测试用例的可读性、可维护性需求,提出了基于测试场景的测试用例设计方法,实现测试场景与测试用例数据的分离,对验证工作的分工安排、工作交接维护具有较大的意义;对已有的企业级测试管理系统进行扩展,打通软件需求、设计、测试项、测试场景、测试用例之间的关联关系,实现软件开发验证的协同管理。     

关于嵌入式应用开发技术

在阐述嵌入式系统概念和特性的基础上,介绍嵌入式系统设计中的硬件和软件协同设计、实时理论算法模型、实时设计表示、实时设计过程、实时软件设计方法等.文中还对应用软件开发的最小编程环境和实时操作系统、实时数据库以及软件的应用测试进行了阐述.     

基于运行剖面的测试用例自动生成方法

软件测试是保证软件质量的有效方法,但测试工作过程繁琐,工作量较多,所以探索高效快捷的测试用例生成方法一直是大家追求的目标,随着软件规模的日益增大,这种要求也变得更加迫切;软件运行剖面提供了软件运行的流程及各流程发生的概率,在软件测试的各个阶段对测试用例的生成均具有指导意义;在某嵌入式系统的软件确认测试阶段,剖析运行剖面提供的相关信息,结合生物进化遗传算法,由原始测试用例经过几代的遗传和进化之后,生成符合运行路径覆盖范围及深度要求的测试用例。     

基于 RFT 的自动化测试框架

为了改进软件自动化测试过程,提高自动化测试的效率,设计并实现了一种基于RFT并由数据驱动的可复用软件自动化测试框架。该框架分离了测试用例与数据,实施该框架能够降低测试用例的开发及维护成本,提高测试用例的可复用性,大大优化软件测试过程,提高了自动化测试的效率,保证软件的质量。     

嵌入式系统代码静态分析与测试方法探讨

随着嵌入式系统硬件可靠性水平的不断提高和嵌入式软件的日益复杂化,软件的可靠性在嵌入式系统整体可靠性中所占的比重也越来越大.在探讨了代码静态分析技术中关键步骤的基础上,制定了编码标准,并且选择了合适的静态分析工具;同时,介绍了自行开发的代码测试框架和测试用例设计方法,并将其运用到某智能仪表软件的测试中,得到了良好的测试效果.