凯斯特CS453 2019春季7队项目

cotegen的Python项目详细描述


编码测试输入生成器

cotegen从底层自动生成典型编码测试问题的测试套件。首先,可以以最小的成本构建初始测试套件。其次,基于搜索的变异适应度输入生成补充了初始测试集。使用变异参考解作为错误答案的简化形式,我们的目标是杀死尽可能多的变异。因此,作为互补结果提供突变覆盖。

添加新的对照溶液

在安装了我们的cotegen包之后,您可以编写一个新的引用解决方案作为一个简单的python文件来生成相应的测试用例。

请在examples/tasks目录中找到引用解决方案文件,以利用命令行执行。

您应该定义一个新的类继承cotegen.Task,并使用与filename相同的方法。

input_parameterssolve(参比溶液)、compareconvert_input_to_string是必须重写的方法。

请参考示例:

importcotegen# http://codeforces.com/problemset/problem/1/AclassCF1A(cotegen.Task):input_parameters= \
        {'n':cotegen.types.Integer(1,10**9),'m':cotegen.types.Integer(1,10**9),'a':cotegen.types.Integer(1,10**9),}defsolve(n:int,m:int,a:int)->int:# 1 <= n, m, a <= 10**9return((n+(a-1))//a)*((m+(a-1))//a)@staticmethoddefcompare(user_answer:int,jury_answer:int)->bool:returnuser_answer==jury_answer@staticmethoddefconvert_input_to_string(n:int,m:int,a:int):return"%d%d%d\n"%(n,m,a)if__name__=='__main__':importosCF1A.generate_test_files(os.path.expanduser("~/Downloads/CS453/CF1A"))

定义输入参数

将输入参数的类型和每个参数的范围预定义为字典格式。

目前,CoTeGen支持以下类型:

cotegen.types.Integercotegen.types.IntegerSequencecotegen.types.NonIncreasingIntegerSequencecotegen.types.FixedVariableLengthIntegerSequencecotegen.types.IntegerPermutation

定义约束

如果需要,将输入参数之间的约束定义为列表。

constraints=[cotegen.constraints.Leq('M','N')]

您可以利用这些预定义的约束:

cotegen.constraints.Leq(Lessthanorequal)cotegen.constraints.ListLengthLeqIntegercotegen.constraints.ListLengthReqInteger

或者,使用自定义约束提供自定义函数(它接收参数字典并返回true/false)作为参数

cotegen.constraints.CustomConstraint(lambdatest:'d1'notintestor'd2'notintestortest['d1']!=test['d2'])

命令行用法

python -m cotegen run random --filename <filename>

python -m cotegen run mutation --filename <filename> --show-survived <true or false>

python -m cotegen run kill --filename <filename> --save <directory path> --mutation-fitness <true or false>

例如:

python -m cotegen run random --filename CF158A

python -m cotegen run mutation --filename CF158A

python -m cotegen run kill --filename CF158A --save ~/Downloads --mutation-fitness true

欢迎加入QQ群-->: 979659372 Python中文网_新手群

推荐PyPI第三方库


热门话题
JavaSpringMVC控制器测试打印结果JSON字符串   若catch语句返回,那个么为什么它最终会阻塞呢?   java Grails中servletContext在哪里可用?   java Jhipster:如何为现有项目启用多种语言   java异常评估SpringEL表达式:“#fields.hasErrors('something')”   java如何验证SeleniumWebDriver中的文本颜色?   java在绘图时使用JPanel坐标   java如何初始化spring启动到project?   java如何通过JDBC的PreparedStatement将UUID数组插入HyperSQL数据库   java修改JVM以跨线程序列化文件访问   Javascript到Java正则表达式   使用Java运行时调用aspell程序时出现字符集问题。getRuntime()。执行官   执行RDP时的java Sukuli按钮识别   java如何使用okhttp更改connect请求的标头   java无法创建Maven Eclipse项目