Ошибки проверки против ошибок проверки

Question

Я немного запутался между ошибками проверки и ошибками проверки. Я понимаю, что ошибки проверки могут быть более катастрофическими и проверяться на соответствие требованиям спецификации продукта/программного обеспечения, независимо от того, построили ли мы правильный продукт. С другой стороны, проверка означает, что мы правильно построим продукт.

Однако, например, я не уверен в ошибках проверки. Какие ошибки являются ошибками проверки. Например: сценарии ошибок, такие как взаимоблокировки внутри кода из-за возможного неправильного пользователя i/ps или неправильная последовательность операций выбора и обновления, будут рассматриваться как ошибка проверки или как ошибка проверки?

Может кто-нибудь дает несколько примеров ошибок проверки?

Thanks

Answer 1

«Мы строим продукт правильно?» - это вопрос проверки. «Готовы ли мы к правильному продукту?» - это вопрос проверки. Предоставляя это, взаимоблокировки и другие неправильные программные проблемы, они являются ошибками проверки. Очевидно, что плохой код может привести к плохому продукту, но первопричина в проверке. Примером ошибки проверки является некоторая плохая функциональность, такая как утечка утечки мобильной поддержки или утечки доступности.

Answer 2

Проверка программного обеспечения относится к подтверждению того, что дизайн соответствует требованиям и не содержит ошибок. Примеры ошибок проверки включают в себя:

1. Требование указывает на то, что, когда вход = А, выход = В, но во время функционального теста программа производит вывод = C
2. Программное обеспечение терпит неудачу с ошибками времени выполнения, такие как целочисленное переполнение , деление на ноль, из связанного доступа к массиву, плохой доступ к указателю, или подобных ошибок
3. во время выполнения программного обеспечения попадает в состояние взаимоблокировки (зависает)

различные процессы развития и задачи могут быть использованы для убедитесь, что дизайн был функционально проверены и проверены. К ним относятся проверка правильности требований (т. Е. Неконфликтных, полных и т. Д.), Подтверждающих, что дизайн (и программный код) соответствуют требованиям, проверяя, что дизайн проходит все функциональные тесты, и различные дополнительные проверки чтобы убедиться, что в проекте нет ошибок (как с точки зрения функциональности, так и с точки зрения надежности).

Эта ссылка на verification, validation, and test имеет дополнительные детали.