Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
Липаев В.В. Документирование сложных ПС.doc
Скачиваний:
0
Добавлен:
01.05.2025
Размер:
1.8 Mб
Скачать

3.4.3. Результаты верификации корректности взаимодействия компонентов в составе программного средства:

  • удостоверение внутренней непротиворечивости и полноты реализации компонентами требований к программному средству, посредством последовательного прослеживания выполнения комбинации из просмотров, анализов, разработки тестовых сценариев и процедур;

  • требования к системе, предназначенные для программной реализации, корректно переработаны в спецификацию требований высокого уровня к комплексу программ, удовлетворяют исходным системным требованиям:

    • требования высокого уровня правильно переработаны в архитектуру ПС и в спецификации требований к функциональным компонентам низкого уровня, которые удовлетворяют требованиям высокого уровня;

    • спецификации требований к функциональным компонентам

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

    • архитектура ПС и спецификации требований к компонентам низкого уровня корректно переработаны, в удовлетворяющие им, исходные тексты программных и информационных модулей;

    • исполняемый объектный код удовлетворяет требованиям к исходному тексту программных компонентов;

  • утверждена организационная ответственность внутри процесса верификации компонентов ПС и интерфейсы с другими процессами жизненного цикла;

  • формализованы методы, которые будут использованы на каждом этапе процесса верификации ПС:

    • методы просмотра и трассирования спецификаций требований по уровням детализации описаний компонентов;

    • формализованы методы проверки трассируемости и оценки полноты покрытия верификацией компонентов ПС;

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

3.4.4. Исходные данные для тестирования компонентов:

  • документация на разрабатываемый программный компонент:

  • техническое задание и/или спецификация требований на разработку программного компонента;

  • описание программы в виде печатного документа и файла;

  • описание функционирования и применения компонента в комплексе программ;

  • исходный текст программы в виде печатного документа и файла;

  • выбранные методы верификации и тестирования компонентов:

  • статические или динамические;

  • детерминированные или стохастические;

  • правила построения и описания тестов компонентов на разных уровнях их представления;

  • правила структурного построения и интерфейсов компонентов между собой, а также с внешней средой и с пользователями;

  • эталонные значения и/или распределения исходных и результирующих данных, отражающие требующиеся функции, сценарии тесИрования и покрытие тестами компонента во всем заданном разнообразии его поведения;

  • тестовые сценарии исходных и результирующих данных, являюiциеся достаточно представительной выборкой из полной совокупности значений и распределений эталонных данных, ограниченной доступными ресурсами на тестирование компонента;

  • доступные ресурсы на тестирование компонента:

  • доступные финансовые, трудовые и временные затраты на тестирование компонента;

  • оснащенность процесса тестирования компонента программными и аппаратными средствами автоматизации;

  • доступный состав и квалификация специалистов;

  • критерии качества тестирования и требуемая полнота покрытии тестами компонентов, в которые входят описания реализуемых функций и характеристики качества реализации функций;

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