М-Квадрат

http://m-kvadrat.ru

Формальное, функциональное тестирование, а также аудит безопасности