"Методы верификации программного обеспечения" - читать интересную книгу автора (Кулямин В.В.)