Корректность (информатика)
- Алгоритм считается корректным по отношению к спецификации, если ведет себя так, как указано.
- Функциональная корректность относится к поведению алгоритма при вводе-выводе и удовлетворяет спецификации.
- Частичная корректность требует правильного ответа в случае возврата ответа, полная корректность требует завершения работы алгоритма.
- Доказательство полной корректности программы требует доказательства ее частичной корректности и завершения.
- Доказательство завершения программы никогда не может быть полностью автоматизировано из-за проблемы остановки.
- Доказательство должно быть математическим, если и алгоритм, и спецификация даны формально.
- Соответствие Карри-Говарда утверждает, что доказательство функциональной корректности в конструктивной логике соответствует определенной программе в лямбда-исчислении.
- Тестирование программного обеспечения является деятельностью, направленной на оценку свойств или возможностей программы и определение соответствия требуемым результатам.
- Тестирование программного обеспечения связано со сложностью программного обеспечения и является компромиссом между бюджетом, временем и качеством.
Полный текст статьи: