基于模型的测试用例设计工(gōng)具（AutoTCG），采用基于图形化模型務吃的测试引擎，适用于业务关键、任务关键或安全关键的功能测试。测试人员可以选择因飛資果图模型、组合配对模型或业务流程模型完成數議测试设计，并自动生成用例；AutoTCG可与Selen的北ium、ETest等主流测试工(gōng)具集成，实章場现自动化测试执行，能有效提高测试效率与质量，加快测试进度，降低(dī金用)交付成本，更好(hǎo)保证产品质量。下報
因果图法借助图形，能够直观地分析和表达输路飛入的各种组合关系、约束关系以及每种组合条件下的输出结果。采用因果图法，不(業了bù)仅可以发现输入和输出中的錯(cuò)误，而且能够发现规格木金說(shuō)明中存在的不(bù)完整性和二义性问题。能黑 
主要功能
1、可视化创建因果图模型
◎ 使用錯睡可视化方式，将功能规范转换為(wèi)图形化表示
◎ &從服nbsp; 自动诊断模型中存在的錯(cuò)误公東，随時(shí)发现潜在的问题区域
◎ &刀亮nbsp; 管理维护需求项与因果图节点的关联关系
◎ &亮下nbsp; 具有完整的约束规则支答時持（互斥、包含、唯一(yī)、需求、屏蔽煙但）
2、自动生成决策表
◎ 自动生成决西樂策表，為(wèi)最大(dà)的功能覆盖设计最少数量的测试用例
◎ &子西nbsp; 自动识别输入条件对输出结果的敏感关系
◎ &nb議到sp; 协助用户找到可观测点，提高程序的可测试性
◎ &n新習bsp; 自动生成用例分析矩阵视图
◎ &自上nbsp; 导入需求文件自动生成因果图見城
3、用例优化与覆盖率分析
◎ 测试用例中的秒服因果敏感关系一(yī)目了然
◎ 自話國动选出最优用例集，确保有限時(shí)间内完成最佳覆盖
◎ 海這; 全方位展示用例的强弱覆盖率情况
◎ 大門 设定测试完成准则，自动筛选最适合的用例集
组合配对测试是一(yī)种黑盒测试设计技术，可提供百分百的测试覆盖率;其中测试用例被设都都计為(wèi)执行每对输入参数的所有可能的離(lí)散组合；对于涉及多参数应用機兵程序的测试非常有帮助。
1、可视化建立组合配对模型
◎ &nbs到船p; 简单快捷的设计组合配对模型
◎ 草房; 自持子(zǐ)模型多层嵌套，分解劇船复杂逻辑
◎ &n內小bsp; 可自由选择配对因数
◎ &nb姐多sp; 支持设定参数间的约束条件男金
2、输入参数取值设计
◎ 通(t笑現ōng)过一(yī)定数值区间，自动生成边件都界值、随机数、自增、自减等取值
◎ 可任和科意设定数据取值精度
◎ &懂議nbsp; 支持设置特定取值的权重系数
◎ &場黃nbsp; 支持从协议定义自动导入参数定义和取值 內事
3、自动生成用例
◎ 采取优件金化的组合配对算法，自动生成用例
◎ 以最小(中一xiǎo)数量的测试用例集达到设定的组合覆盖目标
◎ 支電是持生成反向测试用例
◎ &nb家子sp; 自动分析模型设置，实時(shí)给出友好(hǎo)提示煙生
基于业务流程创建可视化测试模型，综合应用路径搜索、深度组合、配对组合、约束求解好理等算法，自动生成测试数据和测试执行步骤，实现科關愛(kē)学全面的测试覆盖。
1、可视化建模
◎ 采用标議家准的BPMN2.0符号，可视化构建测试模水山型
◎ &nb票子sp; 简单便捷的模型设计器(qì)，快速构建测试模型
◎ 大兵 实時(shí)的模型自动检查功能，随時見書(shí)发现问题
◎ &她知nbsp; 支持子(zǐ)模型多层嵌套，分解复杂要海的业务逻辑
2、输入参数设计
◎ &n雨你bsp; 分步骤配置输入参数，方便人工(gōn多在g)分析
◎ 输東和入参数约束设置支持计算表达式，适用范围更广
◎ &nbs房通p; 自动识别参数类型，使用更简单
◎ &nbs化視p; 自动分析输入参数，及早定位设计问题
3、自动生成测试用例
◎ &n工慢bsp; 采用路径深度覆盖算法，确保执行步骤的全請子面覆盖
◎ &nbs議我p; 采用组合配对算法，确保输入参数组合的科(kē)学覆盖
◎ 采用路径约减到兒算法，确保测试用例的最优覆盖
◎ &nbs唱吧p; 自动求解约束，保证每条测试用例的有效性&服城nbsp;
4、执行代码输出及测试执行
◎ 暗東 自动生成python、lua、j和多avascript、c#、c++等多种格式代码
◎ 支持代码高大生成插件定制
◎ &nb玩亮sp; 自动生成测试用例执行目录
◎ &飛業nbsp; 支持与ETest、Seleniu門可m等测试工(gōng)具集成使用
