文件名称：deepstate:类似单元测试的接口，用于模糊测试和符号执行
文件大小：168KB
文件格式：ZIP
更新时间：2024-06-01 19:16:46
unit-testing symbolic-execution property-based-testing fuzzing testing-tools
深度状态 DeepState是一个框架，可为C和C ++开发人员提供指向各种符号执行和模糊处理引擎的通用接口。 用户可以使用类似于Google Test的API编写一个测试工具，然后使用多个后端执行该工具，而无需了解基础引擎的复杂性。 它支持编写单元测试和API序列测试，以及自动生成测试。 了解更多关于的目标和我们的DeepState的设计。 包括有关有效使用DeepState的。 目录 文献资料 贡献 奖杯案 执照 描述DeepState的文章 用DeepState模糊化API（第1部分） 用DeepState模糊化API（第2部分） 使用DeepState和Eclipser进行模糊测试 DeepState现在支持集成模糊测试 您曾经想知道的有关减少测试用例的所有内容，但是却不知道要问什么 功能概述 测试看起来像Google测试，但是可以使用符号执行/模糊化来生成数据（参数化
【文件预览】：
deepstate-master
----.gitignore(2KB)
----src()
--------include()
--------lib()
----.dockerignore(135B)
----bin()
--------deepstate()
--------setup.py.in(2KB)
----Vagrantfile(745B)
----LICENSE(11KB)
----.github()
--------workflows()
----extras()
--------example_config.ini(438B)
----examples()
--------Primes.cpp(1KB)
--------OneOfP.cpp(1KB)
--------InputPath.cpp(2KB)
--------deepstate_abilist.txt(8KB)
--------Squares.c(830B)
--------EnsembledCrash.cpp(1KB)
--------Euler.cpp(1KB)
--------OneOf.cpp(2KB)
--------TakeOver.cpp(1KB)
--------Klee.c(960B)
--------SimpleCrash.cpp(983B)
--------IntegerOverflow.cpp(1KB)
--------Fixture.cpp(916B)
--------Crash.cpp(972B)
--------IntegerArithmetic.cpp(1KB)
--------FromEclipser.cpp(395B)
--------Runlen.cpp(2KB)
--------TestInRange.cpp(2KB)
--------BoringDisabled.cpp(2KB)
--------CMakeLists.txt(3KB)
--------Lists.cpp(1017B)
--------StreamingAndFormatting.cpp(1KB)
----README.md(10KB)
----tests()
--------test_fuzzers_sync.py(9KB)
--------test_arithmetic.py(810B)
--------deepstate_base.py(1KB)
--------test_lists.py(530B)
--------test_runlen.py(660B)
--------test_fuzzers.py(2KB)
--------test_sanity_check.py(1KB)
--------test_overflow.py(635B)
--------test_boringdisabled.py(450B)
--------test_streamingandformatting.py(1KB)
--------test_crash.py(550B)
--------test_primes.py(734B)
--------test_oneof.py(557B)
--------logrun.py(3KB)
--------test_fixture.py(517B)
--------test_klee.py(433B)
--------test_takeover.py(638B)
----push()
--------publish(836B)
--------build_image(296B)
--------run.sh(1KB)
----docs()
--------swarm_testing.md(3KB)
--------fuzzing.md(16KB)
--------README.md(174B)
--------basic_usage.md(10KB)
--------symbolic_execution.md(158B)
--------test_harness.md(12KB)
----CMakeLists.txt(8KB)
----docker()
--------Dockerfile(4KB)
--------install_honggfuzz.sh(272B)
--------install_angora.sh(578B)
--------install_eclipser.sh(710B)
--------install_afl.sh(599B)
--------base()
----mypy.ini(402B)