Программное обеспечение – это совокупность программ для обработки информации и программных документов, которые нужны для правильного использования этих программ. Это один из видов обеспечения вычислительной системы, куда входят также техническое, математическое, лингвистическое, информационное, методическое и организационное обеспечение. Подробнее о программном обеспечении и его разработке можно посмотреть на сайте http://quantron-systems.com.
Изучением программного обеспечения занимаются такие области, как программная инженерия и информатика. Впервые теории в этой области были предложены математиком Аланом Тьюрингом в 1935 году. Он изобрел машину Тьюринга. Это модель абстрактной машины, которая может выполнять определенную последовательность рудиментарных операций, переводящих машину из одного закрепленного состояния в другое. Главной идеей создания такой машины являлось математическое доказательство одной теории. Математик утверждал, что каждое задуманное состояние системы можно выполнить при помощи последовательных простых программ из фиксированного набора команд.
Достаточно сложно происходит разработка программного обеспечения. Сложность ПО можно сравнить с работой самых сложных современных машин, например, самолета. После разработки происходит процесс исследования, то есть испытания программного продукта. Это нужно для демонстрации разработчикам или заказчику соответствие программы необходимым требованиям. Также тестирование позволяет выявить ситуации, которые могут спровоцировать неправильное, несоответствующее или нежелательное поведение программы.
Методов тестирования существует достаточно много. Правда каждый из них лишь формально определяет работу программного обеспечения. Все дефекты можно выявить лишь при детальном изучении работы программ.