5
Чи є формалізовані / математичні теорії тестування програмного забезпечення?
"Теорія тестування програмного забезпечення" Google, лише здається, дає теорії в м'якому сенсі цього слова; Мені не вдалося знайти нічого, що б класифікувалося як теорія в сенсі математичної, інформаційної теоретичної чи іншої наукової галузі. Що я шукаю - це те, що формалізує, що таке тестування, поняття, що використовуються, що таке тест, …