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

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

一个基于UML顺序图的场景测试用例生成方法

UML顺序图是基于UML开发的软件设计模型的重要组成部分,它描述了软件系统的动态行为,是软件集成测试过程中的一个重要的信息来源。本文提出了一个基于UML顺序图的场景测试方法,它以UML顺序图为主要测试模型,结合UML状态图和类图生成所有的测试场景,最后使用范畴一划分方法找到与每一场景相关的环境条件并将它与方法序列、输入、输出合理组合作为覆盖该场景的测试用例,用于测试该场景中对象之间的交互。由于UML已广泛用于软件分析和设计阶段,通过UML模型生成测试用例可充分利用已有的设计结果,减少测试阶段所需的费用,对于已使用UML的工业界有着重要的意义。     

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

使用UML生成场景测试用例,有利于测试者设计测试用例。使用UML的类图、状态图和顺序图来说明DHCP实例的场景测试用例的生成方法,讨论基于UML顺序图生成场景测试用例的方法,从找出场景到生成测试用例,分析与每一个场景相关的环境条件并将它与方法序列、输入、输出合理组合作为覆盖该场景的测试用例。结果表明,该方法生成的测试用例数量少,减少了测试工作量和测试用例的重复生成。     

基于UML状态图的类测试用例自动生成方法

UML作为面向对象软件开发的事实上的标准建模语言，近年来得到了广泛的应用，基于UML的测试也成为面向对象软件测试的研究热点。该文把基于扩展的有限状态机EFSM的唯一输入输出UIO测试用例自动生成方法和UML的类的状态图相结合，提出了一种基于UML状态图的类的测试用例自动生成方法。     

基于UML活动图的测试用例生成方法研究

基于模型的测试用例生成方法已经被软件行业所接受。这种方法的优点在于可以及早地发现缺陷,减少软件开发的时间等等。现在,研究者已经考虑从UML图中获得测试用例。文中介绍了一种从UML2.0活动图中产生测试用例的方法。提出了活动路径覆盖准则,重点分析并发活动的顺序及排列,引入深度优先与广度优先结合的生成算法,避免了测试用例数量爆炸,提高了自动化生成测试用例的可行性,从而为UML活动动图的自动化测试提供了系统的、有效的、可行的方法。     

基于UML活动图的测试用例自动生成方法研究

基于UML活动图对系统测试的方法进行研究。针对活动图半形式化特性,给出了活动图的形式化描述及测试覆盖准则的定义。重点分析并发活动的顺序及排列,引入人机动态交互的方法在测试场景生成算法上加以约束,避免了测试场景集数量爆炸,使自动化生成测试用例可行性有一定提高。最后,讨论了从测试场景到测试用例的方法,从而为UML活动图的自动化测试提供了系统的、有效的、可行的方法。     

基于UML顺序图的场景测试用例生成方法

本文提出了一个基于UML顺序图的场景测试方法,它以UML顺序图为主要测试模型,结合类图和状态图生成所有的测试场景,然后找到与每一场景相关的环境条件并将它与方法序列、输入、输出合理组合作为覆盖该场景的测试用例。该方法完全基于UML,而且生成的测试用例数量少,减少了测试工作量。     

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

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

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

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

UML statecharts的测试用例生成方法

测试用例生成是软件测试的关键。根据UML statecharts的层次和并发结构,研究相应的测试用例产生方法。它视复合状态为抽象状态,分别构造主UML statecharts和复合状态所对应的子UML statecharts的测试基,并依据一定的合成规则和Wp－方法生成整个UML statecharts的测试用例。这种方法能够支持递增式测试用例的生成。理论和实验结果说明,如果满足测试条件,它们保证全故障覆盖,且产生较好的测试用例。这种改进对大型复杂系统尤其有效,也便于构造自动测试工具。     

基于UML的零件销售管理系统建模

在介绍统一建模语言（Unified Modeling Language,UML）的产生、发展和建模过程的基础上,以零件销售管理系统的分析和设计为实例,阐述UML在系统开发的开始阶段、细化阶段和构造阶段中的应用、注意点及意义.着重探讨和解决了UML在完成各阶段主要任务中的应用场合、分析设计的流程和阶段衔接等问题,并与传统的面向过程方法进行了比较分析.指出了应用UML进行分析与设计的优点和存在的问题.     

基于MDA的汽车嵌入式软件系统架构设计

为了高效管理愈来愈复杂的车辆电子、软件系统,并且在确保产品及服务质量的同时,提高成本效率,以统一建模语言(UML)和系统建模语言(SysML)为基础,参照汽车开放系统架构(AUTOSAR),提出一种基于模型驱动架构的汽车嵌入式软件开发方法,并以汽车引擎点火和敲打控制系统为例进行描述.性能分析表明,该方法缩短了汽车嵌入式软件开发周期,降低了开发成本.     

UML建模机制在面向对象分析中的应用

介绍了UML的建模机制,采用面向对象分析与设计技术对在线学分查询系统的开发过程进行分析、建模及代码实现.     

基于UML的网络课程自动生成系统研究与实现*

针对目前网络教学中网络课程开发存在的问题,提出并设计了一个网络课程自动生成系统。该系统为教师开发网络课程提供了一个方便、快速的软件工具,大大减少开发成本。用面向对象的分析与设计方法,使用UML对系统进行了建模,详细分析和设计了系统的用例图、静态结构模型、动态行为模型以及物理模型,最后使用流行的网络开发技术（.NET）实现了该系统。     

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

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

基于UML的面向对象的需求分析方法

统一建模语言UML是面向对象软件开发的重要新技术，本文阐述了UML的特点、UML的语言机制、并给出UML技术在软件需求分析过程中的应用。     

基于UML的面向对象的需求分析方法

统一建模语言UML是面向对象软件开发的重要新技术,本文阐述了UML的特点、UML的语言机制、并给出UML技术在软件需求分析过程中的应用。     

基于UML的系统测试用例自动生成

提出了一种新颖的基于UML图自动生成系统测试用例的方法.此方法适用于所有UML建模的系统.用创新性地结合图论知识,对用例图和序列图进行抽象,定义了相应的测试覆盖准则以生成测试用例.通过两级遍历,自动生成系统测试向最,并且达到所提的系统测试覆盖率的要求.能够覆盖所有用例、用例依赖性、以及交互中所有的消息序列.实现最大化的...     

基于UML的系统测试

系统测试独立于软件系统的实现,测试的关键是导出测试用例.UML是一种面向对象的建模语言,其目标是以面向对象图的方式来描述任何类型的系统.目前许多基于面向对象的软件系统都是通过UML来描述的,传统的软件测试技术无法有效的对此进行测试.将两者结合起来,对面向对象的系统测试进行了研究,探讨了如何从基于UML的描述中导出软件系统测试用例这一问题.