哈维

说明

哈维是一个随机测试答案集程序的工具。它使用xor约束来寻找测试用例生成器的随机答案集,并检查测试oracle和被测程序是否在该情况下表现出相同的可满足性行为。该工具由两个python程序组成:XorSample哈维. 第一个程序用于寻找测试用例生成器的随机答案集,也可以单独使用。然后,第二个程序使用第一个程序的输出来执行实际测试。目前,哈维是为外国语量身定做的。


下载

两个python程序可以在这里找到:

XorSample

哈维

要求

示例调用

python3.4 harvey.py--n=1000--q=0.1--g=“-c s=3”--cf=inp-gen.lp--rf=reference.lp--tf=test.lp


反馈

电子邮件地址:{gressler,tompits}“at”kr.tuwien.ac.at或johannes。oetsch@tuwien.ac.at

上次更新:2017年2月11日