Sketch
Experiments¶
Reference: Mutation-driven generation of unit tests and oracles
- Joda-Time: https://www.joda.org/joda-time/
- Commons-Math: http://commons.apache.org/math/
Overview of Automated Test Generation6:55
Automated Test Generation using Random Testing14:12
Automated Test Generation using Symbolic Execution15:38
Automated Test Generation using Metaheuristic Search16:24
LAVA-M (C++)
代码覆盖率¶
- 函数覆盖率：定义的函数中有多少被调用
- 语句覆盖率：程序中的语句有多少被执行
- 分支覆盖率：有多少控制结构的分支（例如if语句）被执行
- 条件覆盖率：有多少布尔子表达式被测试为真值和假值
- 行覆盖率：有多少行的源代码被测试过
模糊测试工具¶
测试用例生成¶
