Математические основы тестирования программного обеспечения? [Дубликат]

Googling «теория тестирования программного обеспечения» только, кажется, дает теории в мягком смысле этого слова; Я не смог найти ничего, что классифицировало бы как теорию в математическом, информационном теоретическом или в каком-то другом смысле научной области.

То, что я ищу, - это то, что формализует то, что такое тестирование, используемые понятия, что такое тестовый пример, возможность тестирования чего-то, практичность тестирования чего-либо, степень, в которой что-то нужно тестировать, формальное определение /пояснение покрытия кода и т. д.

UPDATE: Кроме того, я не уверен, интуитивно, о связи между формальной проверкой и тем, что я спросил, но есть определенная связь.

7 голосов | спросил dckrooney 23 Maypm11 2011, 22:58:15

0 ответов


Похожие вопросы

Популярные теги

security × 330linux × 316macos × 2827 × 268performance × 244command-line × 241sql-server × 235joomla-3.x × 222java × 189c++ × 186windows × 180cisco × 168bash × 158c# × 142gmail × 139arduino-uno × 139javascript × 134ssh × 133seo × 132mysql × 132