TTCN-3(Testing and Test Control Notation version 3)是一种面向黑盒测试的测试描述与实现语言.随着TTCN-3语言的广泛应用,用户对使用TTCN-3进行性能测试的需求日益强烈.然而,TTCN-3语言没有提供有效的负载描述和产生机制.目前,在使用...TTCN-3(Testing and Test Control Notation version 3)是一种面向黑盒测试的测试描述与实现语言.随着TTCN-3语言的广泛应用,用户对使用TTCN-3进行性能测试的需求日益强烈.然而,TTCN-3语言没有提供有效的负载描述和产生机制.目前,在使用TTCN-3产生性能测试的负载时,通常需要依靠大量的人工编码.该文提出了一种模型驱动方法以更加有效地支持面向TTCN-3的负载生成.在该方法中,负载指标模型用于刻画负载指标及约束关系;负载剖面模型则能够定义指标的取值及指标值随时间变化的情况.基于这些模型,该文提出的算法能够完成从模型到TTCN-3测试系统的自动转换.TTCN-3测试系统可在负载控制点的支持下得以执行,从而模拟出满足模型描述的负载场景.该文通过案例分析验证了上述方法的有效性和所模拟负载场景的准确性.展开更多
Web Service测试成为当前软件测试的研究热点,TTCN-3是ETSI专门为测试领域制定的通用测试语言,在很多领域以及不同的软件开发阶段都有运用。使用Axis2将WSDL文件中的内容映射到Java类中,再将Java类代表的数据结构和操作按照相应规则映射...Web Service测试成为当前软件测试的研究热点,TTCN-3是ETSI专门为测试领域制定的通用测试语言,在很多领域以及不同的软件开发阶段都有运用。使用Axis2将WSDL文件中的内容映射到Java类中,再将Java类代表的数据结构和操作按照相应规则映射到TTCN-3中,映射得到结构清晰合理的数据类型,即可有效地对Web Service进行测试,并只需进行少量更改即可应用到对其他Web Service的测试中,大大减轻测试人员的工作量,提高测试效率。展开更多
针对软件测试的不完备性以及软件测试自动化问题,提出在测试过程中将模型检测前置于传统测试,将模型检测与测试相结合。通过分析模型检测中的形式化规约明确测试目的,并转换成TTCN-3(Testing and Test Control Notation)抽象测试套。进...针对软件测试的不完备性以及软件测试自动化问题,提出在测试过程中将模型检测前置于传统测试,将模型检测与测试相结合。通过分析模型检测中的形式化规约明确测试目的,并转换成TTCN-3(Testing and Test Control Notation)抽象测试套。进一步利用规约中本身存在的正例,与数据类型描述文件相关联,从而生成测试用例。分析TTCN-3开发模式,基于标签转换系统与TTCN-3行为树的等价性,提出模型检测引导的抽象测试套生成算法,并实现TTCN-3抽象测试套的自动生成。展开更多
协议的一致性测试是保证协议实现正确的重要手段.在通常的一致性测试中,如果一个协议中有多个角色,需要同时使用多台测试机对协议实现进行测试.本文介绍了一种使用TTCN-3(Testing and Test Control Notation version 3)这一新的国际标...协议的一致性测试是保证协议实现正确的重要手段.在通常的一致性测试中,如果一个协议中有多个角色,需要同时使用多台测试机对协议实现进行测试.本文介绍了一种使用TTCN-3(Testing and Test Control Notation version 3)这一新的国际标准化测试语言,对移动IPv6协议实现进行并行测试的设计方案,并重点分析了多PTC(Parallel Test Compo-nent)情况下,测试适配器的开发方法.该适配器与使用TTCN-3编写的测试例结合后,只使用一台测试机就可以实现并行测试.使用这样的测试方法可以使得测试人员专注于协议的逻辑过程,而不必关心底层的编码工作.展开更多
文摘TTCN-3(Testing and Test Control Notation version 3)是一种面向黑盒测试的测试描述与实现语言.随着TTCN-3语言的广泛应用,用户对使用TTCN-3进行性能测试的需求日益强烈.然而,TTCN-3语言没有提供有效的负载描述和产生机制.目前,在使用TTCN-3产生性能测试的负载时,通常需要依靠大量的人工编码.该文提出了一种模型驱动方法以更加有效地支持面向TTCN-3的负载生成.在该方法中,负载指标模型用于刻画负载指标及约束关系;负载剖面模型则能够定义指标的取值及指标值随时间变化的情况.基于这些模型,该文提出的算法能够完成从模型到TTCN-3测试系统的自动转换.TTCN-3测试系统可在负载控制点的支持下得以执行,从而模拟出满足模型描述的负载场景.该文通过案例分析验证了上述方法的有效性和所模拟负载场景的准确性.
文摘针对软件测试的不完备性以及软件测试自动化问题,提出在测试过程中将模型检测前置于传统测试,将模型检测与测试相结合。通过分析模型检测中的形式化规约明确测试目的,并转换成TTCN-3(Testing and Test Control Notation)抽象测试套。进一步利用规约中本身存在的正例,与数据类型描述文件相关联,从而生成测试用例。分析TTCN-3开发模式,基于标签转换系统与TTCN-3行为树的等价性,提出模型检测引导的抽象测试套生成算法,并实现TTCN-3抽象测试套的自动生成。
文摘协议的一致性测试是保证协议实现正确的重要手段.在通常的一致性测试中,如果一个协议中有多个角色,需要同时使用多台测试机对协议实现进行测试.本文介绍了一种使用TTCN-3(Testing and Test Control Notation version 3)这一新的国际标准化测试语言,对移动IPv6协议实现进行并行测试的设计方案,并重点分析了多PTC(Parallel Test Compo-nent)情况下,测试适配器的开发方法.该适配器与使用TTCN-3编写的测试例结合后,只使用一台测试机就可以实现并行测试.使用这样的测试方法可以使得测试人员专注于协议的逻辑过程,而不必关心底层的编码工作.
