Безопасность является одним из важных факторов при разработке программного обеспечения для систем важных для безопасности. Для достижения безопасности программного обеспечения наиболее часто используются традиционные подходы, основанные на тестировании ПО. Однако, тестирование программного обеспечения в большинстве случаев не может гарантировать выявление всех ошибок в ПО.