ВВЕДЕНИЕ
1 Изучение принципов разработки программной модели космического аппарата
1.3 Существующие системы автоматизирования процессов тестирования
1.4 Выводы по главе 1
2 Разработка метода автоматизированного формирования тестовых алгоритмов
2.2 Метод автоматизированного формирования тестовых алгоритмов
2.3 Выводы по главе 2
3 Практическая реализация метода автоматизированного формирования тестовых алгоритмов
3.1 Подготовка исходных данных
3.2 Выводы по главе 3
ЗАКЛЮЧЕНИЕ
СПИСОК СОКРАЩЕНИЙ
СПИСОК ИСПОЛЬЗОВАННЫХ источников
ПРИЛОЖЕНИЕ
Проблема автоматизированного тестирования уникальных программных продуктов всегда довольна остра. Особенно, если тестируемая разработка связана со сложной отраслью - космосом. Так как космическая отрасль требует предельной формализации при разработке программных продуктов, то документация на разработки получается объемной и запутанной. Разработать программный продукт, который позволит полностью автоматизировать процесс тестирования или часть процесса затруднительно. Так как изначально требуется обработать большой объем требований, что бы провести системное тестирование.
В рамках диссертации рассматривается один из представителей уникальных программных продуктов - программная модель космического аппарата. Рассматриваются так же проблемы тестирования программной модели космического аппарата и влекущие издержки. Рассмотрены существующие решения автоматизации или полу-автоматизации тестирования программных продуктов.
Способ решения проблемы системного тестирования уникального представителя программного продукта - программной модели космического аппарата, в которой требуется обработка массы требований, в методе автоматизированного формирования тестовых алгоритмов.
Целью работы является повышение эффективности: сокращение сроков, трудоемкости проведения системного тестирования ПМКА, за счет разработки метода автоматизированного формирования тестовых алгоритмов, основанного на кластеризационном методе процента несогласия.
Поставлены следующие задачи:
- разработать параметрическую модель требований;
- проработать меру кластеризации - процент несогласия;
- разработать метод автоматизированного формирования тестовых алгоритмов на основе процента несогласия;
- проверить эффективность метода на разработанных ПМКА.
Научная новизна в методе формирования тестового алгоритма для системного тестирования программной модели космического аппарата, основанного на кластеризации по мере процента несогласия.
Практическая значимость: повышение эффективности системного тестирования, выраженного в сроках разработки тестов, тестовом покрытии требований
Программная модель космического аппарата сложный программный комплекс, который требует детального системного тестирования. Ведь этап системного тестирования обеспечивает верификацию проекта документу требований. Что является немаловажным ресурсоемким и трудозатратным процессом. Ведь тестирование ПМКА позволяет избежать возможных ошибок при проведении тестирования КА. Основные проблемы были рассмотрены в статье [16].
Существующие комплексы автоматизации тестирования на уровне разработки тестов не способны обеспечить должное удовлетворение потребностей в сокращении сроков и трудоемкости. Так как используемые комплексами подходы, требуют, чтобы для системного тестирования в программу был внесен экспертом тест, обеспечивающий тестовое покрытие требования. Учитывая тот факт, что общая документация на ПМКА составляет свыше 7000 требований, применять такие системы нецелесообразно. Поэтому было решено разработать метод автоматизированного формирования тестовых алгоритмов. Этот метод оптимизирует подход к формированию тестов через требования, которые кластеризуются в кластеры схожих между собой требований, благодаря мере процента несогласия. Так как кластер содержит требования, который совпадают между собой по каким-либо параметрам, то разработанный тест, для одного из этих требований, сможет обеспечить тестовое покрытие другого требования, с доработкой в зависимости от разницы параметров. В этом случае, один тест обеспечивает тестовое покрытые сразу нескольких требований. Что приводит к сокращению числа тестов, трудоемкости тестирования и отведённых на тестирование сроков, а значит повышению эффективности системного тестирования.
Для доказательства теории о том, что метод позволяет повысить эффективность системного тестирования, был проведен эксперимент с привлечением экспертов по тестированию ПМКА. Для проведения эксперимента была разработана программа БД Требований и Тестовых алгоритмов, которая содержит в себе логику метода автоматизированного формирования тестовых алгоритмов, установлены сроки и условия проведения эксперимента. Результаты эксперимента показали, что метод эффективно справляется с задачей кластеризации, по сравнению с экспертами, превышая минимум производительность в 1,5 раза [17]. Из-за чего сроки разработки тестов сократятся приблизительно более чем в 2 раза.
