基于形式活动图的协议一致性测试用例生成方法研究

在对协议的一致性进行测试的过程中,首先要设计并生成有效的测试用例,通过测试用例的自动生成可以大大提高设计和生成测试用例的效率.文章描述了一种形式活动图和扩展有限状态机,介绍了从形式活动图生成扩展有限状态机的算法以及从扩展有限状态机自动生成测试用例的算法.最后对算法进行了相关分析并给予一个实例进行说明.     

基于UML活动图的测试用例生成

本文首先给出了形式化的UML活动图生成测试场景的覆盖准则,然后依据覆盖准则提出UML活动图转化测试场景的算法(ATOS)将活动图转化为测试场景,最后使用算法(STOT)将测试场景转化为测试用例,有效地解决了UML活动图到测试用例的自动生成,减少了编写测试用例的时间。     

基于UML活动图的Web应用测试用例生成

Web应用测试是保证Web应用程序质量的重要手段,测试的核心工作是生成测试用例.针对Web应用的功能测试,介绍了基于UML活动图的产生测试用例的方法,并根据一定测试覆盖准则,重点考虑了活动图中的并发活动的顺序及排序,避免了测试用例数量爆炸,从而提高了Web应用自动化测试用例生成的可行性.     

协议一致性测试研究进展

协议一致性测试是协议测试中最为关键的测试,是其他协议测试类型的基础。已经有大量的研究与实践对协议一致性测试做了深入探讨,到目前为止,仍然缺乏系统、有效而实用的协议一致性测试方法。从协议一致性测试的协议形式化描述技术人手,分别对协议一致性测试过程中的描述、测试序列生成、测试实现与执行进行了综合研究,阐述了其中存在的问题并给出了基本解决思路。     

基于UML的数据采集测试用例生成研究

将UML协作图与状态图结合起来,以此为模型,用于集成测试用例的生成．首先以协作图为依据确定集成测试的对象,对状态图进行组合,形成组合状态图,并给出组合状态图的形式化定义,以及对组合状态图进行展开,然后用于集成测试用例的生成,在覆盖所有的测试需求的前提下,生成的测试用例较少．     

一致性测试中的时间约束及测试用例生成算法

针对协议测试理论中的时间约束问题，从不同的一致性测试方法出发对协议测试中的时间参数做了严格的约束，同时给出了基于等待、协调和同步时间的严格约束下的测试用例生成算法．在控制流测试中，先生成引导序列，然后按照测试拓扑环境设置和事件约束对引导序列、测试序列的时间进行约束设置．在数据流测试中，等待时间只需按照需求描述和约束来设定．对边界网关协议进行测试的结果表明，所提算法能适应不同的网络拓扑环境，其生成的测试用例在测试中能够有效降低测试代价．     

基于FAD的UML活动图测试用例生成

在软件系统的设计过程或文档说明中,软件系统的动态行为可通过UML活动图描述,软件系统的正确性与可靠性要通过构造一定的测试模型来验证.由于UML活动图缺乏精确的数学模型描述,所以无法直接生成有效的测试模型.本文研究将UML活动图模型与FAD(形式活动图)相结合,应用FAD的片段方程式理论详细分析了生成测试用例的完整过程.其结果在软件测试中具有一定的理论指导意义和应用价值.     

UML 2.0通信图的一种测试用例生成方法

提出了一种UML2.0通信图生成测试用例的方法.首先根据通信图构建一棵通信树,利用后序遍历了所构造的树,从通信图中选择条件断言,然后转换条件断言并通过求解函数最小值的方法来生成测试用例.该测试用例满足消息路径覆盖和边界覆盖.     

一种基于需求规约的谓词测试用例生成方法

软件失效多数由其包含的谓词引发.本文针对特定的故障模型,提出一种基于需求规约的谓词测试用例生成方法.该方法从需求规约中提取出因果图,再将因果图转换为谓词,再由BRO算法生成测试约束集,最后将生成测试用例集.实例分析表明,方法能有效生成测试用例集,并满足相应的测试谓词准则.     

基于贪婪算法的回归测试用例集生成方法

在贪婪算法的基础上,通过测试需求的辅助,提出一种算法.此算法删除了地位低的测试需求,并且不断缩减测试用例的选择范围,以提高算法的效率.     

形式化方法自动生成测试用例的算法研究

本文提出了一种从形式规格说明中利用等价类划分的方法自动生成软件测试用例的算法,给出了算法步骤.算法设计,并进行了算法分析。最后指出了下一步工作的重点所在。     

一种下一代路由协议测试框架及其实现

给出了路由协议测试的测试目的、测试方法及测试集的表示方法 ,针对下一代路由协议测试可能在测试系统中产生的信息流的瓶颈问题 ,分析了问题的产生 ,提出了一种路由协议测试框架 ,并给出了它的实现策略     

TD-LTE终端协议一致性测试中数据监控子系统设计与实现

TD-LTE(time division-long term evolution)终端协议一致性测试是检验TD-LTE终端是否符合协议标准的重要手段。针对目前TD-LTE终端协议一致性测试系统难以实时监控、存储数据和反查异常的问题,分析了数据监控子系统功能模块及测试系统的整体流程,设计了数据监控子系统的体系结构,通过在系统中嵌入模块的方法,实现数据处理模块、网络监视模块和异常反查模块的功能。系统整体测试表明,该数据监控子系统可以实现以上功能,其设计与实现方案合理。     

基于Petri网的协议测试例自动生成

Petri网支持下的协议一致性测试是协议工程研究中的重要课题.Petri不能很好地支持一致性测试集的自动生成.针对这一问题,分析了对基本Petri网扩展的必要性,提出了一种新的用于支持协议测试的扩展的高级Petri网,揭示了其静态结构和动态行为,并提出了该Petri网到测试描述语言TTCN-3的转换规则.开发了原型系统,并应用于实际的协议一致性测试工作.     

从形式化规范自动生成系统级状态机

形式化方法能精确、无二义地描述软件规范,但其可读性、可理解性差以及缺乏有效的自动测试工具.鉴于此,提出一种新的方法将支持面向对象开发的形式化语言所描述的软件规范自动地转化为系统级状态机,从而改善其可读性与可理解性.实际应用表明,这种方法可以提高形式化规范的可读性与可理解性.     

非确定部分有限状态机的一种新的一致性关系及其测试

在系统实际测试过程中,发现非确定部分有限状态机的模型可以方便地描述和刻画许多系统的逻辑行为.但在这种模型下,状态机并非完全接受所有的输入序列,且在某些输入序列上会产生不确定的输出序列,所以,经典的完全确定有限状态机的一致性定义,即被测实现和协议规范等价,不适用于非确定部分有限状态机.本文引入了一种新的一致性定义,并在非确定部分有限状态机下,给出了该一致性定义下完备的测试序列生成方法.     

一种提高协议测试效率的新方法

针对使用传统的方法提高协议测试效率存在的问题，从测试序列测试顺序的角度，首次引入了测试序列动态重排序的方法，对不同的错误情况，提出三种动态排序算法．讨论了测试序列动态重排序对测试效率产生的影响．实验仿真验证了所提动态排序方法比传统的静态测试在测试效率上有较大改进．     

多小区一致性测试平台的研究与验证

TD-LTE(time division-long term evolution)无线资源管理一致性测试是检验TD-LTE终端是否符合协议标准的重要手段.鉴于传统一致性测试平台存在不足之处,无线资源管理一致性测试搭建了基于TTCN-3(testing and test control notation version 3)的一致性测试平台,并分析了该测试平台相对于传统测试平台的优越性.利用TTCN-3软件编写测试例并进行测试.通过分析测试流程图可以得出,一致性测试平台的可行性,并验证了该平台相对于传统平台的优越性.     

一种基于形式化描述的测试案例生成方法

基于形式化描述的验证测试是高安全系统的有效评估方法,而如何生成测试案例是基于形式化测试中的关键问题.针对形式化方法生成测试案例的不足,在分析形式化描述语言Z结构特点的基础上,提出了一种基于形式化描述的测试案例生成方法.从分析Z语言描述的输入空间、前置条件和后置条件出发,对前置条件适当重写,然后根据前置条件利用更改的判定条件覆盖准则来生成测试案例集,该方法引入了控制流覆盖准则,克服了经验方法输入空间划分不完整的缺点,降低了形式化描述的难度,并可以使测试案例生成过程自动化.