я был когда-то задал вопрос:Как определить потенциальную ошибку логики программы?
«. Если вы получили программу с исходным кодом, цель программы, чтобы получить вход от конечных пользователей для их паролей Он отфильтровывает недопустимый ввод, как число„8“, и затем сохраняет входные данные. Исходный код компилируется и работает хорошо для большинства распространенных входных данных, но он встраивает логические ошибки, такие как пропускать некоторые ошибки ввода и может сбрасываться под особый незаконный ввод. Как вы решаете, содержит ли программа проблемы? , как решить?"
Не могли бы вы придумать хороший способ проверить программу? Есть ли какие-нибудь умные инструменты для проверки всех возможных входов для моей программы? Или умные инструменты для проверки программы?
Я предполагаю, что хороший способ - «не изменять код», а «просто запустить/протестировать код», чтобы найти потенциальные проблемы.
PS :: предположим VS 2012 C++