Тестирование и экспертирование пс

Основным направлением работ отдела в течение многих лет была проблематика разработки ПС, включающая в себя аспекты проверки правильности путем тестирования отдельных компонентов, КПП и ПС, а также экспортирования создаваемого ПП и его процессов [113 — 117].

Модель тестирования и определение оптимального времени

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

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

При тестировании объединенных модулей могут быть найдены ошибки в интерфейсных посредниках. Завершающим процессом тестирования является тестирование функций и их комплексные испытания.

Концептуальная модель процесса тестирования ПС и семейства ПС из готовых ресурсов имеет вид

где ТМ — подпроцесс управления тестированием; TD и ТА — подпроцессы тестирования артефактов предметной области и приложения; Env — концептуальная и информационная среда процесса тестирования Г1С.

При этом все три подпроцесса имеют унифицированное формальное представление:

где Task — задачи, разрешимые при выполнении соответствующего подпроцесса; Env - концептуальная и информационная среда соответствующего подпроцесса; СМ — подмодель координации операций соответствующего подпроцесса.

Схема концептуальной среды Env задается выражением.

где TG и SG- тесты активы КПИ и программные КПИ; Т и Р — тесты и тестированные ПС; RG и RP — отчеты о выполнении тестовых КПИ и тестов.

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

Таким образом, тестирование компонентов и ПП находилось в центре внимания исследований, направленных на обеспечение методов выявления ошибок, поиска дефектов, отказов и сбоев программ, которые были вызваны разными нерегулярными ситуациями в ПП или аварийным прекращением функционирования компонента или всей ПС. Эти исследования проведены специалистом отдела Т. М. Коротун. Результаты освещены в ряде работ [30, 32, 35] и защищены в ее в диссертации. К ним относятся:

• 1) модель процесса тестирования с учетом рисков отказов и их оценки в процессе эксплуатации ПП;
• 2) математическая модель определения оптимального времени тестирования компонентов t_e с максимальной прибылью в зависимости от функции возрастания надежности, интенсивности Mj) и риска С_и;
• 3) технология тестирования ПП и сбора информации о всех видах ошибок для определения оптимального времени тестирования отдельных программ ПС и их семейств.