4. Емпіричні методи

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

Наблюдение - Целенаправленное отражение изучаемого объекта, реализуемое с помощью органов чувств человека и специальных технических средств. Наблюдение является составной частью всех эмпирических методов и должно удовлетворять ряду требований: преднамеренности, планомерности, целенаправленности и систематичности.

Сравнение - установление в процессе отражения сходства или различия объектов или явлений. При сравнении необходимо выполнять два основных требования: сравнивать объекты, обладающие однородными свойствами; сравнивать по наиболее существенным свойствам.

В области технических наук сравнением называют установление соотношения и интенсивности однородных отражаемых свойств эмпирических объектов с целью получения ответа "больше", "меньше" или "равны". Два объекта могут проявлять себя в отношениях эквивалентности и порядка и, соответственно, могут сравниваться по эквивалентности и интенсивности.

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

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

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

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

Научный эксперимент - Целенаправленное комплексное отражение сложного эмпирического объекта, характеризующегося системой взаимосвязанных величин, совокупностью их математических моделей. К области научных экспериментов относят также и испытания сложных объектов, которыми называют совокупность экспериментальных операций, направленных на определение тех значений параметров объектов, которые соответствуют заранее заданным условиям и состоянию объекта.

5. Домени, методи, моделі розробки пз

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

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

• Теоретические

• Эмпирические

• Эмпирико-теоретические

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

Методы инженерии программного обеспечения можно рассматривать в контексте двух доменов: прикладного и реализационного.

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

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

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

Модели:

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

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

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

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