基于场景技术的嵌入式软件测试用例生成方法

软件测试自动化是当前软件测试的发展趋势.场景技术的引入可以更有效地进行测试用例的描述,从而有助于实现软件测试自动化,提高测试效率和测试的可维护性、可重复性.从被测系统的文档分析入手,将场景技术运用于测试用例生成过程中,提出了嵌入式软件测试用例生成方法,并将该方法运用到实际的软件测试中,验证了该方法的正确性和有效性.     

基于MVC模式的嵌入式软件测试开发环境设计

嵌入式软件仿真测试开发环境(ESTDE,Embedded Software Testing Development Environment)是嵌入式软件仿真测试平台(ESSTP,Embedded Software Simulation Testing Platform)的重要组成部分,是有效实现嵌入式软件实时、闭环测试的基础。MVC(Model-View-Controller)是一种开发交互式软件系统的典型体系结构模式,在分析和研究ESTDE功能、组成和工作原理的基础上,将MVC应用于ESTDE的设计当中,不仅保证了ESSTP的成功开发,而且提高了系统的可复用性和可适应性。     

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

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

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

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

基于UML的嵌入式软件测试用例生成方法研究

基于嵌入式软件实时性、嵌入式和反应式等特点 ,对 UML进行了实时性扩展 ,运用多种 UML视图描述嵌入式系统的结构和行为 ,提出了如何从基于 UML的模型中自动生成测试用例的设计思路。     

一种基于场景的嵌入式软件设计方法

UML顺序图是一种常用的在软件开发早期阶段用来描述系统基于场景的需求规约的一种可视化建模语言。通过在UML顺序图中加入带时间区间标志的时间约束,得到时间顺序图模板TSDT（Timed Sequence Diagram Template）,用来建立嵌入式软件基于场景的需求规约模型。对消息传递自动机进行实时扩展,得到时间消息传递自动机TMPA（Timed Message Passing Automata）,TMPA以自动机的形式刻画了所建立的需求规约模型,为在需求阶段验证所建立的模型是否满足用户需求奠定了基础。     

基于黑盒测试的航天嵌入式软件用例设计方法

为了提高测试用例设计的效率,简化测试用例数量,提出了基于黑盒测试的航天嵌入式软件用例设计方法.阐述了确认测试过程中实用的测试用例设计流程,提出了在设计测试输入数据的基础上加强测试逻辑设计的用例设计方法,并结合实际工程经验,给出了测试用例的总体设计思路.最后,对测试遗漏问题及其原因进行了分析,为今后进行更有效的星载软件测试提供了参考.     

嵌入式软件设计课程教学实践

为了培养高级嵌入式软件设计人才,提出以系统工程思想为基础的5层课程内容设计,阐述让学生循序渐进地掌握简单嵌入式软件、复杂嵌入式软件、实时嵌入式软件、智能嵌入式软件的设计方法。介绍课程的实践与考核,说明其具有挑战度,在综合培训学生工程能力与创新能力的同时,强调方法论的灵活应用,以达到鱼渔双授、传道致远的教学目标。     

基于模型的嵌入式软件设计

分析了嵌入式软件区别于通用软件的特点,介绍了基于模型的嵌入式软件设计开发方法,从可重用角度分析了设计要点,侧重介绍了基于模型的可重用组件和面向行动者的设计方法。     

基于GEP的路径覆盖测试用例生成方法

提出一种基于基因表达式编程(GEP)算法、编译器技术、虚拟机技术的路径覆盖测试用例生成方法。该方法使用编译器技术获得程序的静态控制流路径集合,针对集合中的每一条静态控制流路径,使用GEP算法生成覆盖特定路径的测试用例,采用虚拟机完成结果计算,其中有效的结果即所需的测试用例。实验结果证明,该方法能高效、准确地得到覆盖特定控制流路径的测试用例。     

软件设计模式在嵌入式控制系统中的应用

本文探讨了软件设计模式在嵌入式系统中的应用,通过分析并实际解决嵌入式控制系统所面临的主要问题,确立嵌入式控制系统的软件架构,并对嵌入式软件的复用进行了有效的尝试和探索。     

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

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

基于模拟器的嵌入式软件动态测试技术

提出一种嵌入式软件动态测试框架,该框架以模拟器为运行核心,准确模拟嵌入式硬件的运行状态,给出语句覆盖率、分支覆盖率、函数及模块的执行频度、程序执行时间等测试信息,有效地支持了嵌入式软件的动态测试和单元测试。实验证明了该方法的有 效性。     

基于覆盖测试的嵌入式软件自动裁剪

针对软件移植嵌入式平台时的裁剪问题,提出一个通用的、自动化的裁剪方案。该方案基于覆盖测试思想,利用源代码静态分析技术,在每个函数的首尾插入桩代码,通过执行已插桩的程序,动态地获得函数的覆盖信息。根据函数的覆盖信息,能对软件进行自动化的裁剪。该裁剪方案可以将软件体积减少30%左右。     

嵌入式软件测试工具中间结构的设计与实现

实现一种实时嵌入式软件测试工具的中间结构,描述中间结构的生成、存储、转换过程,给出生成类继承图、生成控制流图的实现代码。设计一个针对C/C++的解析器,对源码进行预处理,以实现由源码生成中间结构,并利用XSLT技术实现中间结构为后端应用提供的接口。     

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

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

嵌入式软件仿真测试环境的软件体系结构设计

仿真测试是嵌入式软件系统测试阶段的一种有效测试方法,仿真测试测试环境是支持仿真测试方法的一种自动化测试平台,针对仿真测试环境的功能需求,提出了一种基于主从结构的仿真测试环境的体系结构设计,之后重点介绍了实时处理机软件的体系结构设计,并对其中的任务管理与调度和通讯协议两个模块的软件体系结构设计进行了详细的描述,最后对全文进行了总结。     

基于函数切片的嵌入式软件回归测试研究

为提高中大型嵌入式软件回归测试的效率,克服因程序微小变动而导致对整个嵌入式软件系统重新测试的弊端,提出一种函数切片算法FunctionSlice。给出代码影响域的概念,采用函数切片思想对待回归测试用例集进行约简,选取和源代码变化相关的测试用例进行回归测试。实验结果表明,该算法能约简嵌入式软件中的待回归测试用例集,提高回归测试效率,且适用于较复杂的嵌入式系统回归测试过程。     

嵌入式软件机内测试的设计与测试

针对嵌入式软件中广泛开展的软件机内测试（BIT）设计,分析通用嵌入式系统结构,提出3种软件BIT的结构模式,结合实例对每种模式的算法设计进行描述。以故障模式的概念为核心提出一种基于故障注入的软件BIT测试方法,阐述方法中的需求分析、故障注入、测试设计和结果分析4个关键步骤。