Добрый вечер. Подскажите, пожалуйста, книгу на английском, где могут быть описаны данные методики тестирования:

Algorithm complexity
Equivalence class partitioning
Boundary-value analysis
Покрытие кода:
{
Statement coverage
Decision (branch) coverage
Condition coverage
Condition/Decision Coverage
MC/DC
Multiple condition(decision) coverage
}
Decision tables
Cause-effect graphing
Feature testing
DU paths
Mutant analysis
Fault injection
Path analysis
Symbolic evaluation/symbolic execution
Execution-time and resource use analysis
Linear code sequence and jump - LCSAJ
Dynamic dataflow
Executable assertion
Random data selection

Спасибо! Уже очень много времени потратил.. нашел только стандарт

dimoni414,

Нашел
Manage Software Testing
Автор: Peter Farrell-Vinay