软件测试
文章平均质量分 57
大音若希
这个作者很懒,什么都没留下…
展开
-
Eric.Wong主讲软件测试精华
1-3 课件介绍: test:test generation--->execution--->verficationdebug: 测试用例选取: Question:如何从t1,t2,t3(fail),t4,...,t100中找到能找到导致失败t3。 test阶段最重要的是test case generation。而在entire input domain中,我们测试用到的原创 2016-06-18 20:37:55 · 457 阅读 · 0 评论 -
程序不变量挖掘工具Daikon的安装与使用
安装教程 1,JDK安装,配置三个java环境变量,JAVA_HOME,PATH,CLASSPATH,最终能够成功执行一个java程序为安装成功标志。 Note:三个环境变量各有其分别不同的作用,具体网上查看。 2,daikon必要组件安装daikon,配置目录daikonparent/daikon并将daikon文件解压进去,在shell启动文件中配置(linux:~/.bashrc)原创 2017-05-15 19:08:02 · 3186 阅读 · 4 评论 -
gcov获取程序频谱信息的步骤
1,编译并插桩源程序foo.c。该步骤生成gcno文件,用于记载源程序中插桩的位置,目标程序foo。 gcc -fprofile-arcs -ftest-coverag -o foo foo.c 2,执行目标程序foo。该步骤生成gcda文件,用于记录相应插桩位置处目标程序的执行次数。若重复执行目标程序,则该次数累加。 ./foo arg1 3,执行gcov命令,加载源程序foo.c。该原创 2017-05-15 14:55:38 · 759 阅读 · 0 评论