3. Методи розробки. Загальні положення

Метод – это совокупность принципов, обеспечивающих решение конкретной задачи

Две группы:

• общенаучные методы;

• методы инженерии программного обеспечения

Общенаучные методы делятся на 3 группы:

• теоретические (абстрагирование; формализация; аксиоматика; обобщение); - Направлены на изучение абстрактных объектов, их свойств и отношений. Эти методы дают возможность получать новые знания об изучаемых объектах и явлениях путем исследования формальных свойств и отношений между абстрактными объектами.

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

• эмпирико-теоретические (анализ и синтез; индукция и дедукция; проверка гипотез; моделирование) - Позволяют исследовать разные стороны объектов и явлений расчленяя их на составляющие для более глубокого его изучения. Эмпирико-теоретические методы - обеспечивают наиболее полное извлечение дополнительной информации, содержащейся в неявном виде в результатах, полученных с помощью эмпирических методов, установление степени истинности гипотез.

Сущность разработки программного обеспечения состоит в реализации процесса, который начинается с идентификации требований в прикладном домене и заканчивается созданием программного продукта, который отвечает этим требованиям в реализационном домене. В процессе используется два вида анализа - первый, направлен на понимание требований, а второй, на понимание того, как программный продукт должен удовлетворять этим требованием.

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

• прескриптивные модели, показывают, какой программный продукт будет вести себя так, как определяет дескриптивная модель.

Цель первой модели, показать, как программный продукт будет отвечать требованиям, а цель второй – обеспечить однозначные требования тому, кто будет конструировать программный продукт.

• Концептуальные модели – дескриптивные, формальные – прескриптивные. Обе категории моделей должны быть точны и недвусмысленны, однако формальные модели содержать дополнительные критерии корректности для создаваемого программного продукта.

Так как цель концептуальной модели – описывать требования, то и качество модели определяется тем, насколько хорошо программные продукты соответствуют требованиям прикладного домена. Определение такого соответствия – процесс субъективный и называется валидацией

Если формальная модель существует, то основные свойства программного продукта установлены, и можно говорить о корректности такого продукта по отношению к формальной модели. Процесс установления корректности называется верификацией

Два типа методов

проблемно – ориентированные, обеспечивающие лучшее понимание проблемы и предлагающее ее решение.

продукто-риентированные методы, обеспечивающие корректную трансформацию формальной спецификации в сопровождаемую реализацию.