《PICT带约束组合测试生成》
(提示:如果视频分为多个小段,请下载后用视频合并软件合并。)教程列表:
JUnit简介与使用
JUnit安装配置
CodeCover使用实例
CodeCover安装配置
CodeCover使用方法
基于SOOT的Java控制流生成演示
基于SOOT的测试覆盖演示
GUI自动化测试工具GUITAR演示
程序控制流生成工具演示
Selenium测试工具的录制与回放
Selenium测试工具的安装与配置
Selenium测试工具的使用实例(携程网站测试)
PICT带约束组合测试生成
PICT组合测试工具使用方法
PICT多因素组合测试生成
KLEE测试数据生成=符号执行+约束求解