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

Верификацией и аттестацией называют процессы проверки и анализа, в ходе которых проверяется соответствие программного обеспечения своей спецификации и требованиям заказчиков. Верификация и аттестация охватывают полный жизненный цикл ПО — они начинаются на этапе анализа требований и завершаются проверкой программного кода на этапе тестирования готовой программной системы.Верификация и аттестация не одно и то же, хотя их легко перепутать. Кратко различие между ними можно определить следующим образом: Верификация ПО отвечает на вопрос, правильно ли создана система. Аттестация ПО отвечает на вопрос, правильно ли работает система. Согласно этим определениям, верификация проверяет соответствие ПО системной спецификации, в частности функциональным и нефункциональным требованиям. Аттестация — более общий процесс. Во время аттестации необходимо убедиться, что программный продукт соответствует ожиданиям заказчика. Аттестация проводится после верификации, для того чтобы определить, насколько система соответствует не только спецификации, но и ожиданиям заказчика. На ранних этапах разработки ПО очень важна аттестация системных требований. В требованиях часто встречаются ошибки и упущения; в таких случаях конечный продукт, вероятно, не будет соответствовать ожиданиям заказчика. Но, конечно, аттестация требований не может выявить все проблемы в спецификации требований. Иногда недоработки и ошибки в требованиях обнаруживаются только после завершения реализации системы. В процессах верификации и аттестации используются две основные методики проверки и анализа систем: 1. Инспектирование ПО. Анализ и проверка различных представлений системы. Например документации спецификации требований, архитектурных схем или исходного кода программ. Инспектирование выполняется на всех этапах процесса разработки программной системы. Параллельно с инспектированием может выполняться автоматический анализ исходного кода программ и соответствующих документов. Инспектирование и автоматический анализ — это статические методы верификации и аттестации, поскольку им не требуется исполняемая система. 2. Тестирование ПО. Запуск исполняемого кода с тестовыми данными и исследование выходных данных и рабочих характеристик программного продукта. Тестирование — это динамический метод верификации и аттестации, так как применяется к исполняемой системе. К методам инспектирования относятся: инспектирование программ, автоматический анализ исходного кода и формальная верификация. Но статические методы могут проверить только соответствие программ спецификации, с их помощью невозможно проверить правильность функционирования системы. Кроме того, статическими методами нельзя проверить такие нефункциональные характеристики, как производительность и надежность. Поэтому для оценивания нефункциональных характеристик проводится тестирование системы. Тестирование — это проверка работы программ с данными, подобными реальным, которые будут обрабатываться в процессе эксплуатации системы.

Состав и структура технико-экономического обоснования (ТЭО) и технического задания (ТЗ) Технико-экономическое обоснование. Предназначено для обоснования производственно-хозяйственной необходимости и технико-экономической целесообразности создания и развития АИС. Документ «Технико-экономическое обоснование» (ТЭО) должен состоять из следующих разделов: Введение; Характеристика объекта и существующей системы управления; Цели, критерии и ограничения создания АИС; Функции и задачи создаваемой АИС; Ожидаемые технико-экономические результаты создания АИС; Выводы и предложения. Техническое задание. Техническое задание является основным документом по созданию АИС. При приемке АИС в эксплуатацию проверяется ее соответствие техническому заданию, допускается разработка отдельных ТЗ на отдельные части АИС. Техническое задание должно содержать следующие разделы: введение; характеристика объекта управления; назначение АИС; основные требования к АИС; технико-экономические показатели АИС; состав, содержание и организация работ по созданию АИС; порядок приемки АИС. Описание постановки задачи. Содержит характеристики комплекса задач; условия, необходимые для решения; входной и выходной информации. В разделе «Характеристика комплекса задач» следует приводить: цель, назначение, технико-экономическую (организационно-техническую) сущность комплекса задач и обоснование целесообразности их решения; перечень объектов, при управлении которыми решают комплекс задач; распределение функций между персоналом и техническими средствами при различных ситуациях решения комплекса задач. Раздел «Выходная инф.» должен содержать: перечень и описание выходных сообщений; перечень и описание структурных единиц информации выходных сообщений - показателей, реквизитов и их совокупностей, сигналов управления. Раздел «Входная инф.» должен содержать: перечень и описание входных сообщений; перечень и описание структурных единиц информации входных сообщений. В описании по каждому входному сообщению следует указывать: идентификатор; форму представления сообщения и частоту поступления. В приложении включают чертежи форм документов, видеограмм для входной и выходной информации, а также другие материалы по усмотрению разработчика, например, описание массивов.