基于模型的自动化测试用例设计平台（AutoTCG）

基于模型的测试用例设计工具（AutoTCG），采用基于图形化模型的测试引擎，适用于业务关键、任务关键或安全关键的功能测试。测试人员可以选择因果图模型、组合配对模型或业务流程模型完成测试设计，并自动生成用例；AutoTCG可与Selenium、ETest等主流测试工具集成，实现自动化测试执行，能有效提高测试效率与质量，加快测试进度，降低交付成本，更好保证产品质量。

一、因果图模型

应用场景

因果图法借助图形，能够直观地分析和表达输入的各种组合关系、约束关系以及每种组合条件下的输出结果。采用因果图法，不仅可以发现输入和输出中的错误，而且能够发现规格说明中存在的不完整性和二义性问题。 

主要功能

1、可视化创建因果图模型

◎      使用可视化方式，将功能规范转换为图形化表示

◎      自动诊断模型中存在的错误，随时发现潜在的问题区域

◎      管理维护需求项与因果图节点的关联关系

◎      具有完整的约束规则支持（互斥、包含、唯一、需求、屏蔽） 

2、自动生成决策表

◎      自动生成决策表，为最大的功能覆盖设计最少数量的测试用例

◎      自动识别输入条件对输出结果的敏感关系

◎      协助用户找到可观测点，提高程序的可测试性

◎      自动生成用例分析矩阵视图

◎      导入需求文件自动生成因果图 

3、用例优化与覆盖率分析

◎      测试用例中的因果敏感关系一目了然

◎      自动选出最优用例集，确保有限时间内完成最佳覆盖

◎      全方位展示用例的强弱覆盖率情况

◎      设定测试完成准则，自动筛选最适合的用例集

二、组合配对模型

应用场景

组合配对测试是一种黑盒测试设计技术，可提供百分百的测试覆盖率;其中测试用例被设计为执行每对输入参数的所有可能的离散组合；对于涉及多参数应用程序的测试非常有帮助。

主要功能

1、可视化建立组合配对模型

◎      简单快捷的设计组合配对模型

◎      自持子模型多层嵌套，分解复杂逻辑

◎      可自由选择配对因数

◎      支持设定参数间的约束条件 

2、输入参数取值设计

◎      通过一定数值区间，自动生成边界值、随机数、自增、自减等取值

◎      可任意设定数据取值精度

◎      支持设置特定取值的权重系数

◎      支持从协议定义自动导入参数定义和取值 

3、自动生成用例

◎      采取优化的组合配对算法，自动生成用例

◎      以最小数量的测试用例集达到设定的组合覆盖目标

◎      支持生成反向测试用例

◎      自动分析模型设置，实时给出友好提示

三、基于流程的模型

应用场景

基于业务流程创建可视化测试模型，综合应用路径搜索、深度组合、配对组合、约束求解等算法，自动生成测试数据和测试执行步骤，实现科学全面的测试覆盖。

主要功能

1、可视化建模

◎      采用标准的BPMN2.0符号，可视化构建测试模型

◎      简单便捷的模型设计器，快速构建测试模型

◎      实时的模型自动检查功能，随时发现问题

◎      支持子模型多层嵌套，分解复杂的业务逻辑 

2、输入参数设计

◎      分步骤配置输入参数，方便人工分析

◎      输入参数约束设置支持计算表达式，适用范围更广

◎      自动识别参数类型，使用更简单

◎      自动分析输入参数，及早定位设计问题 

3、自动生成测试用例

◎      采用路径深度覆盖算法，确保执行步骤的全面覆盖

◎      采用组合配对算法，确保输入参数组合的科学覆盖

◎      采用路径约减算法，确保测试用例的最优覆盖

◎      自动求解约束，保证每条测试用例的有效性 

4、执行代码输出及测试执行

◎      自动生成python、lua、javascript、c#、c++等多种格式代码

◎      支持代码生成插件定制

◎      自动生成测试用例执行目录

◎      支持与ETest、Selenium等测试工具集成使用