René's URL Explorer Experiment


Title: How SQLite Is Tested

direct link

Domain: sqlite.org

Nonetext/html; charset=UTF-8

Links:

https://sqlite.org/index.html
Homehttps://sqlite.org/index.html
Menujavascript:void(0)
Abouthttps://sqlite.org/about.html
Documentationhttps://sqlite.org/docs.html
Downloadhttps://sqlite.org/download.html
Licensehttps://sqlite.org/copyright.html
Supporthttps://sqlite.org/support.html
Purchasehttps://sqlite.org/prosupport.html
Searchjavascript:void(0)
Abouthttps://sqlite.org/about.html
Documentationhttps://sqlite.org/docs.html
Downloadhttps://sqlite.org/download.html
Supporthttps://sqlite.org/support.html
Purchasehttps://sqlite.org/prosupport.html
1. Introductionhttps://sqlite.org/testing.html#introduction
1.1. Executive Summaryhttps://sqlite.org/testing.html#executive_summary
2. Test Harnesseshttps://sqlite.org/testing.html#test_harnesses
3. Anomaly Testinghttps://sqlite.org/testing.html#anomaly_testing
3.1. Out-Of-Memory Testinghttps://sqlite.org/testing.html#out_of_memory_testing
3.2. I/O Error Testinghttps://sqlite.org/testing.html#i_o_error_testing
3.3. Crash Testinghttps://sqlite.org/testing.html#crash_testing
3.4. Compound failure testshttps://sqlite.org/testing.html#compound_failure_tests
4. Fuzz Testinghttps://sqlite.org/testing.html#fuzz_testing
4.1. SQL Fuzzhttps://sqlite.org/testing.html#sql_fuzz
4.1.1. SQL Fuzz Using The American Fuzzy Lop Fuzzerhttps://sqlite.org/testing.html#sql_fuzz_using_the_american_fuzzy_lop_fuzzer
4.1.2. Google OSS Fuzzhttps://sqlite.org/testing.html#google_oss_fuzz
4.1.3. The dbsqlfuzz and jfuzz fuzzershttps://sqlite.org/testing.html#the_dbsqlfuzz_and_jfuzz_fuzzers
4.1.4. Other third-party fuzzershttps://sqlite.org/testing.html#other_third_party_fuzzers
4.1.5. The fuzzcheck test harnesshttps://sqlite.org/testing.html#the_fuzzcheck_test_harness
4.1.6. Tension Between Fuzz Testing And 100% MC/DC Testinghttps://sqlite.org/testing.html#tension_between_fuzz_testing_and_100_mc_dc_testing
4.2. Malformed Database Fileshttps://sqlite.org/testing.html#malformed_database_files
4.3. Boundary Value Testshttps://sqlite.org/testing.html#boundary_value_tests
5. Regression Testinghttps://sqlite.org/testing.html#regression_testing
6. Automatic Resource Leak Detectionhttps://sqlite.org/testing.html#automatic_resource_leak_detection
7. Test Coveragehttps://sqlite.org/testing.html#test_coverage
7.1. Statement versus branch coveragehttps://sqlite.org/testing.html#statement_versus_branch_coverage
7.2. Coverage testing of defensive codehttps://sqlite.org/testing.html#coverage_testing_of_defensive_code
7.3. Forcing coverage of boundary values and boolean vector testshttps://sqlite.org/testing.html#forcing_coverage_of_boundary_values_and_boolean_vector_tests
7.4. Branch coverage versus MC/DChttps://sqlite.org/testing.html#branch_coverage_versus_mc_dc
7.5. Measuring branch coveragehttps://sqlite.org/testing.html#measuring_branch_coverage
7.6. Mutation testinghttps://sqlite.org/testing.html#mutation_testing
7.7. Experience with full test coveragehttps://sqlite.org/testing.html#experience_with_full_test_coverage
8. Dynamic Analysishttps://sqlite.org/testing.html#dynamic_analysis
8.1. Asserthttps://sqlite.org/testing.html#assert
8.2. Valgrindhttps://sqlite.org/testing.html#valgrind
8.3. Memsys2https://sqlite.org/testing.html#memsys2
8.4. Mutex Assertshttps://sqlite.org/testing.html#mutex_asserts
8.5. Journal Testshttps://sqlite.org/testing.html#journal_tests
8.6. Undefined Behavior Checkshttps://sqlite.org/testing.html#undefined_behavior_checks
9. Disabled Optimization Testshttps://sqlite.org/testing.html#disabled_optimization_tests
10. Checklistshttps://sqlite.org/testing.html#checklists
11. Static Analysishttps://sqlite.org/testing.html#static_analysis
12. Summaryhttps://sqlite.org/testing.html#summary
version 3.42.0https://sqlite.org/releaselog/3_42_0.html
TCL scripting languagehttp://www.tcl-lang.org/
TH3https://sqlite.org/th3.html
100% MC/DC test coveragehttps://sqlite.org/testing.html#mcdc
available separatelyhttps://sqlite.org/th3.html
SQL Logic Testhttps://sqlite.org/sqllogictest
dbsqlfuzzhttps://sqlite.org/testing.html#dbsqlfuzz
fuzzers for SQLitehttps://sqlite.org/testing.html#fuzztesting
libFuzzerhttp://llvm.org/docs/LibFuzzer.html
fuzz testshttps://sqlite.org/testing.html#fuzztesting
JSONBhttps://sqlite.org/json1.html#jsonbx
JSON SQL functionshttps://sqlite.org/json1.html
dynamic memory allocation in SQLitehttps://sqlite.org/malloc.html
sqlite3_confighttps://sqlite.org/c3ref/config.html
SQLITE_CONFIG_MALLOChttps://sqlite.org/c3ref/c_config_covering_index_scan.html#sqliteconfigmalloc
Virtual File System objecthttps://sqlite.org/c3ref/vfs.html
PRAGMA integrity_checkhttps://sqlite.org/pragma.html#pragma_integrity_check
Atomic Commit in SQLitehttps://sqlite.org/atomiccommit.html
Virtual File Systemhttps://sqlite.org/c3ref/vfs.html
VFShttps://sqlite.org/vfs.html
integrity_checkhttps://sqlite.org/pragma.html#pragma_integrity_check
PRAGMAhttps://sqlite.org/pragma.html#syntax
VFShttps://sqlite.org/vfs.html
VFShttps://sqlite.org/vfs.html
Fuzz testinghttp://en.wikipedia.org/wiki/Fuzz_testing
American Fuzzy Lophttp://lcamtuf.coredump.cx/afl/
version 3.8.10https://sqlite.org/releaselog/3_8_10.html
version 3.29.0https://sqlite.org/releaselog/3_29_0.html
OSS Fuzzhttps://github.com/google/oss-fuzz
test/ossfuzz.chttps://sqlite.org/src/file/test/ossfuzz.c
[1]https://sqlite.org/src/timeline?y=ci&c=c422afb507dc8757
[2]https://sqlite.org/src/timeline?y=ci&c=0a2eb949f8a759e5
[3]https://sqlite.org/src/timeline?y=ci&c=62f2235adf796c72
libFuzzerhttp://llvm.org/docs/LibFuzzer.html
Structure-Aware Mutatorhttps://github.com/google/fuzzing/blob/master/docs/structure-aware-fuzzing.md
Structure-Aware Mutator articlehttps://github.com/google/fuzzing/blob/master/docs/structure-aware-fuzzing.md#user-content-example-sqlite
libFuzzerhttp://llvm.org/docs/LibFuzzer.html
JSONBhttps://sqlite.org/json1.html#jsonbx
JSON SQL functionshttps://sqlite.org/json1.html
Linus's lawhttps://en.wikipedia.org/wiki/Linus%27s_law
Manuel Riggerhttps://www.manuelrigger.at/
many such caseshttps://sqlite.org/src/timeline?y=t&u=mrigger&n=all
AFLhttps://sqlite.org/testing.html#aflfuzz
OSS Fuzzhttps://sqlite.org/testing.html#ossfuzz
dbsqlfuzzhttps://sqlite.org/testing.html#dbsqlfuzz
100% MC/DC testinghttps://sqlite.org/testing.html#mcdc
defensive codehttps://sqlite.org/testing.html#defcode
SQLITE_CORRUPThttps://sqlite.org/rescode.html#corrupt
dbsqlfuzzhttps://sqlite.org/testing.html#dbsqlfuzz
limitshttps://sqlite.org/limits.html
testcase macroshttps://sqlite.org/testing.html#testcase
VFShttps://sqlite.org/vfs.html
TH3https://sqlite.org/th3.html
gcovhttp://gcc.gnu.org/onlinedocs/gcc/Gcov.html
TH3https://sqlite.org/th3.html
sqlite3_test_controlhttps://sqlite.org/c3ref/test_control.html
SQLITE_TESTCTRL_ALWAYShttps://sqlite.org/c3ref/c_testctrl_always.html
Wikipediahttp://en.wikipedia.org/wiki/Modified_Condition/Decision_Coverage
gcovhttps://gcc.gnu.org/onlinedocs/gcc/Gcov.html
mutation testinghttps://en.wikipedia.org/wiki/Mutation_testing
A scripthttps://sqlite.org/th3.html#muttest
hash functionhttps://sqlite.org/src/artifact/55b5fb474?ln=55-62
very widely deployedhttps://sqlite.org/mostdeployed.html
Use Of assert in SQLitehttps://sqlite.org/assert.html
Valgrindhttp://valgrind.org/
memory allocation subsystemhttps://sqlite.org/malloc.html
SQLITE_MEMDEBUGhttps://sqlite.org/compile.html#memdebug
memsys2https://sqlite.org/malloc.html#memdebug
sqlite3_mutex_held()https://sqlite.org/c3ref/mutex_held.html
sqlite3_mutex_notheld()https://sqlite.org/c3ref/mutex_held.html
OS backendhttps://sqlite.org/vfs.html
sqlite3_test_controlhttps://sqlite.org/c3ref/test_control.html
SQLITE_TESTCTRL_OPTIMIZATIONShttps://sqlite.org/c3ref/c_testctrl_always.html
Past checklistshttps://sqlite.org/checklists/index.html
The Checklist Manifestohttp://atulgawande.com/book/the-checklist-manifesto/
Clang Static Analyzerhttp://clang-analyzer.llvm.org/

Viewport: width=device-width, initial-scale=1.0


URLs of crawlers that visited me.