凯云科技-自动化测试用例设计平台（AutoTCG）

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

1）因果图模型

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

主要功能

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

• 使用可视化方式，将功能规范转换为图形化表示
• 自动诊断模型中存在的错误，随时发现潜在的问题区域
• 管理维护需求项与因果图节点的关联关系
• 具有完整的约束规则支持（互斥、包含、唯一、需求、屏蔽） 

b、自动生成决策表

• 自动生成决策表，为最大的功能覆盖设计最少数量的测试用例
• 自动识别输入条件对输出结果的敏感关系
• 协助用户找到可观测点，提高程序的可测试性
• 自动生成用例分析矩阵视图
• 导入需求文件自动生成因果图 

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

• 测试用例中的因果敏感关系一目了然
• 自动选出最优用例集，确保有限时间内完成最佳覆盖
• 全方位展示用例的强弱覆盖率情况
• 设定测试完成准则，自动筛选最适合的用例集

2）组合配对模型

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

主要功能

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

• 简单快捷的设计组合配对模型
• 自持子模型多层嵌套，分解复杂逻辑
• 可自由选择配对因数
• 支持设定参数间的约束条件 

b、输入参数取值设计

• 通过一定数值区间，自动生成边界值、随机数、自增、自减等取值
• 可任意设定数据取值精度
• 支持设置特定取值的权重系数
• 支持从协议定义自动导入参数定义和取值 

c、自动生成用例

• 采取优化的组合配对算法，自动生成用例
• 以最小数量的测试用例集达到设定的组合覆盖目标
• 支持生成反向测试用例
• 自动分析模型设置，实时给出友好提示

 

3）基于流程的模型

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

主要功能

a、可视化建模

• 采用标准的BPMN2.0符号，可视化构建测试模型
• 简单便捷的模型设计器，快速构建测试模型
• 实时的模型自动检查功能，随时发现问题
• 支持子模型多层嵌套，分解复杂的业务逻辑 

b、输入参数设计

• 分步骤配置输入参数，方便人工分析
• 输入参数约束设置支持计算表达式，适用范围更广
• 自动识别参数类型，使用更简单
• 自动分析输入参数，及早定位设计问题 

c、自动生成测试用例

• 采用路径深度覆盖算法，确保执行步骤的全面覆盖
• 采用组合配对算法，确保输入参数组合的科学覆盖
• 采用路径约减算法，确保测试用例的最优覆盖
• 自动求解约束，保证每条测试用例的有效性 

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

• 自动生成python、lua、javascript、c#、c++等多种格式代码
• 支持代码生成插件定制
• 自动生成测试用例执行目录
• 支持与ETest、Selenium等测试工具集成使用