Онтологии процесса тестирования ЖЦ

Концептуальная модель процесса тестирования ПС имеет вид [114]:

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

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

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

В состав среды Env входят следующие элементы:

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

Онтологическое описание процесса тесирования.

В системе Protege знания о модели процесса задаются классами, слотами, фасетами и аксиомами. Подобную возможность предоставляют также и другие инструменты. Например, диаграммы классов UML системы Rational Rose отображаются в программный код на нескольких ЯП.

Для представления онтологии тестирования выделяются две группы понятий: простые и сложные.

Простые понятия это такие: Тестер {Tester), Контекст (Context), Действие (Activity), Метод (Method), Артефакт (Artefact) и Среда (Environment). Они имеют атрибуты, входящие в базовое (родительское) понятие, которое принимает конкретные значения.

Tester — определяет субъект или объект, который выполняет тестирование. Группа тестирования имеет лидера, который является атрибутом понятия (имя, тип, обязанности), где имя — значение атрибута, задающие роль и обязанности тестера в процессе тестирования.

Контексг определяет соответствующие уровни, методы тестирования, входы и выходы задач тестирования. В онтологии это понятие определяет один атрибут: Context type (Уровснь тестирования) по форме уровень тестирования = {модульное, интеграционное, системное, регрессионное}.

Действие состоит из понятий, которые детализируют шаги процесса тестирования: планирование тестирования, разработку (генерацию) тестов, выполнение тестов, оценку результатов, измерение тестового покрытия, генерация отчетов и др. Для этого понятия определяется один атрибут — тип действия (Activity type) с возможными значениями: тип действия = {планирование, разработка тестов, выполнение тестов, проверка результатов, оценка покрытия, подготовка отчета}.

Метод — это понятие, которому соответствует несколько способов тестирования — структурное и функциональное тестирования. Каждый метод по отношению к исходному коду может классифицироваться как «белый ящик», «черный ящик» со спецификацией (specification-based). Структурный метод — это подсев ошибок и моток данных (control-flow methods), включающий в себя покрытие операторов, ветвей и критериев их покрытия. Аналогичным образом классифицируются методы «черного ящика», основанные на спецификации функций и предположениях об ошибках. Все методы можно разделить на систематические (поиск ошибок) и стохастические (статистические) для выявления отказов. Метод тестирования включает в себя следующие атрибуты: имя метода, тип метода и подход.

Артефакт. Каждое действие включает в себя несколько артефактов, таких как объект тестирования, промежуточные данные, результаты тестирования, планы, наборы тестов, скрипты и т. п. Их называют «тестовыми активами». Объекты тестирования могут быть разных типов: начальный код, HTML файлы, XML файлы, встроенные изображения, звук, видео, документы и др. Все эти артефакты отображаются онтологией. Каждый артефакт ассоциируется с местом сохранения, данными, историей создания и просмотра.

Enviroment. Программные среды, где выполняется тестирование, как правило, описываются такими данными: имя, тип и версия продукта. Данное понятие разбивается на два подпонятия: аппаратное и программное обеспечение с атрибутами — название устройства, модель, производитель и версия.

Среда = {ОС, БД, Компилятор, веб-браузер}.

Сложные понятия процесса тестирования это: обязанности тестера (capability) и задача (task). В распределенной системе взаимодействие между компонентами выполняется посредством интерфейсов (сообщений). После обработки сообщения, компонент, который его получил, возвращает ответ. С каждым сообщением можно связать атрибуты: тип и значение: Тип = {директивное, декларативное, …}. С каждым ответом можно связать состояние: Состояние: ответ = {Успех, Отказ}.

Используя эти понятия, студенты КНУ на практических занятиях создали вариант онтологии процесса тестирования и реализации программы тестирования в языке Ruby.

Эта программа встроена у ИТК сайта http://sestudy.edu-ua.net, обращение к которой осуществляется нажатием на слово «Онтология» в главной панели данного сайта.

Реализация ЖЦ в ИТК.

На веб-сайте ИТК реализована комплексная технология, которая включает в себя спектр технологий, средств, инструментов проектирования и спецификации КПВ, ПС, членов семейства систем, а также стандартные системы (Eclipse, Protege, репозиторий, CORBA, MS.Net и др.), ЯП, системы поддержки взаимодействия программ, систем и сред между собой VS. NetEclipse, VS. NetJAVA, VBasic.

На сайте ИТК содержится электронный учебник «Программная инженерия», который используется для обучения студентов аспектам этого предмета, а также моделям ЖЦ. Метод онтологизации ЖЦ стандарта ISO/IEC 12 207 является оригинальным, он требует дальнейшего развитие и представление в ИТК. По этой тематике были сделаны доклады на международных университетских конференциях TAAPS и ICTERI (2011; 2013), а также в программу курса обучения «Программная инженерия» включены лабораторные работы по автоматизации процессов ЖЦ.