Научная статья на тему 'Применение задачи о кратчайшем покрытии при тестировании программного продукта'

Применение задачи о кратчайшем покрытии при тестировании программного продукта Текст научной статьи по специальности «Компьютерные и информационные науки»

CC BY
257
35
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
РЕГРЕССИОННОЕ ТЕСТИРОВАНИЕ / ЗАДАЧА О ПОКРЫТИИ / ДЕФЕКТЫ ПРОГРАММНОГО ПРОДУКТА / ДИАГНОСТИЧЕСКИЙ ТЕСТ / МАТРИЦА РАЗЛИЧИЙ / REGRESSION TESTING / SHORT COVER PROBLEM / DEFECTS OF A SOFTWARE PRODUCT / DIAGNOSTIC TEST / DISTINCTION MATRIX

Аннотация научной статьи по компьютерным и информационным наукам, автор научной работы — Поттосина Светлана Анатольевна

Рассматриваются две задачи тестирования программного продукта. Одна из них связана с нахождением минимального набора тестов при регрессионном тестировании функционала программы. Другая задача относится к нахождению минимального диагностического теста при классификации дефектов в программном продукте. Показано, как обе эти задачи сводятся к нахождению кратчайшего столбцового покрытия некоторой булевой матрицы.

i Надоели баннеры? Вы всегда можете отключить рекламу.
iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.
i Надоели баннеры? Вы всегда можете отключить рекламу.

Application of the shortest cover problem in testing a software product

The combinatorial problem of shortest cover can be applied successfully in testing software. Two tasks whose solution is reduced to finding a shortest column cover of a Boolean matrix are considered in the paper. Both the tasks can be solved with the minimax algorithm. The first task is connected with minimization of a test set in regression testing of a program functional. As a Boolean matrix, there is matrix R whose rows correspond to the program functionals being tested and columns to the tests intended for it. An element rij of the matrix R is equal to 1 if the test tj is suitable for testing the functional f otherwise it is equal to 0. As an example, the real project of "Site-platform of comparing costs for services on automobile insurance" was considered. For this purpose, the key elements of the system (the tested functional) are extracted whose faultless work was critical for this application. Those are the following: enter to a site; exit; registration; recognized user; user-student; user working; user unemployed; user with additional driver; anonymous user; user with elapsed time of a purchase; check of notification on a mistake; user with additional work; individual business owner; page with results of purchase; distribution of information to post. Then, a test set of regression testing was created that contained checks of declared functionality (11 tests). As a result of the search of a shortest cover of matrix R, it was found that the initial test set could be 14.3% decreased (2 tests) without lost of cover percentage of the functional. Similarly, this method was applied for another project; it was "Site of property insurance". According to the solving problem, both the applications resemble and have a little number of distinctive features. Therefore the test set is the same in much. At the second case, the decrease of the initial test set was by 21.4%. The second task concerns to the search for the minimal diagnostic test that can qualify defects in a software product. It is useful for automation of testing large products when testers are divided into certain groups. Let us consider two sets D = (A, D2, ..., Dn} and B = {b1, b2, ..., bn}. The set D is the set of possible defects and B is the set of outward signs (symptoms) that appear as a result of disclosure of a defect. A symptom is a characteristic of a defect that can help to qualify defects according to their typical exposure. The diagnostic Boolean matrix C is constructed that shows what characters one or another defect is characterized. Then, the distinction matrix R is constructed whose rows correspond to the row pairs of the diagnostic matrix and show by what components those pairs differ. At that, the component-wise operation of modulo 2 addition is used executing it over all the row pairs of the diagnostic matrix. Let {1, 2, 3, 4, 5, 6, 7, 8, 9} be the set of symptoms. The defect D1 is characterized by the symptoms 1 and 8 and negates the rest. The defect D2 is characterized by the symptoms 2, 6, 7, 8 and negates the rest. Then the first row of the distinction matrix is D1D2 = (1 1 0 0 0 1 1 0 0). For the obtained distinction matrix, a shortest column cover is found. The set of characters corresponding to the columns in the found cover is the desired solution of the problem of searching for a minimum unconditional diagnostic test. At that, any defect is defined unambiguously by the corresponding row of the obtained submatrix. It helps to classify the defects in the most rational way at the moment of their appearance according to the given characters. This problem can be useful when the automation of testing large projects is organized and it is necessary to divide the test experts into certain groups. Then the problem of defect classification appears.

Текст научной работы на тему «Применение задачи о кратчайшем покрытии при тестировании программного продукта»

ВЕСТНИК ТОМСКОГО ГОСУДАРСТВЕННОГО УНИВЕРСИТЕТА

2019 Управление, вычислительная техника и информатика № 47

УДК 519.7

DOI: 10.17223/19988605/47/12

С.А. Поттосина

ПРИМЕНЕНИЕ ЗАДАЧИ О КРАТЧАЙШЕМ ПОКРЫТИИ ПРИ ТЕСТИРОВАНИИ ПРОГРАММНОГО ПРОДУКТА

Рассматриваются две задачи тестирования программного продукта. Одна из них связана с нахождением минимального набора тестов при регрессионном тестировании функционала программы. Другая задача относится к нахождению минимального диагностического теста при классификации дефектов в программном продукте. Показано, как обе эти задачи сводятся к нахождению кратчайшего столбцового покрытия некоторой булевой матрицы.

Ключевые слова: регрессионное тестирование; задача о покрытии; дефекты программного продукта; диагностический тест; матрица различий.

Многие комбинаторные оптимизационные задачи сводятся к задаче о кратчайшем покрытии, которая ставится следующим образом. Пусть даны некоторое множество А = {01, 02, ..., а„} и совокупность его подмножеств В\, В2, ..., Вт, т.е. Б, с A, i = 1, 2, ..., m, причем В1 и В2 и ... и Вт = А. Требуется среди данных подмножеств выделить такую совокупность Bj , Bj , ... , Bj с минимальным к,

чтобы каждый элемент из А попал хотя бы в одно из Bj. (j = 1, 2, ..., к), т.е. Bt uBt и... uBt = A.

J 12 к

Удобно рассматривать матричную формулировку данной задачи, при которой совокупность В1, В2, ., Вт задается в виде булевой матрицы, строки которой соответствуют подмножествам из данной совокупности, а столбцы - элементам множества А. Элемент i-й строки и j-го столбца имеет значение 1, если и только если aj е B,. В этом случае говорят, что i-я строка покрывает j-й столбец. Требуется найти такое множество строк данной матрицы, чтобы каждый ее столбец имел единицу хотя бы в одной строке из этого множества, и при этом мощность выбранного множества должна быть минимальной. В такой интерпретации имеем дело с задачей поиска кратчайшего строчного покрытия булевой матрицы.

Задача о кратчайшем покрытии булевой матрицы нашла применение в теории графов, в теории логического проектирования дискретных устройств, при решении задач технической диагностики, в некоторых алгоритмах минимизации логических функций [1]. Встал вопрос, может ли успешно применяться данная задача при тестировании программного обеспечения.

Проблема качества программных продуктов (ПП) становится сегодня все более острой, особенно по мере расширения использования информационных технологий и роста сложности ПП, при работе большой команды разработчиков. Высокое качество продуктов дает разработчикам не только конкурентные преимущества и кредит доверия клиентов, но и облегчает сопровождение и развитие ПП. Одним из ключевых элементов обеспечения качества ПП является тестирование [2, 3]. Для тестирования ПП необходима разработка тестов. Разработчики ПП проводят тестирование своих продуктов в несколько этапов, которые отличаются видами выполняемых работ и привлекаемыми ресурсами. Фактически тестирование начинается еще в процессе кодирования очередной версии программы.

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

В научной литературе подчеркивается важность комплексного подхода [2, 3]. Под комплексным подходом к управлению качеством 1111 имеется в виду необходимость поиска и устранения дефектов на каждом этапе жизненного цикла 1111 [4]. Основными методами поиска дефектов являются отладка и тестирование. Методы поиска дефектов имеют различную эффективность и стоимость. Классификация дефектов по типам позволит отправлять их на устранение определенным разработчикам, что приведет к уменьшению затрат.

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

1. Задача о нахождении минимального набора тестов при регрессионном тестировании функционала программы

Регрессионное тестирование - это выборочное тестирование, позволяющее убедиться, что изменения не вызвали нежелательных побочных эффектов или что измененная система по-прежнему соответствует требованиям. После каждой модификации программы необходимо удостовериться, что на функциональность программы не оказал влияния модифицированный код. Регрессионное тестирование - дорогостоящий род деятельности: процесс регрессионного тестирования может включать исполнение достаточно большого количества тестов на скорректированной программе, даже если изменений очень мало. Несмотря на то, что усилия, требуемые для внесения небольших изменений, как правило, минимальны, они могут требовать достаточно больших усилий для проверки качества измененной программы. Тем не менее проведение регрессионного тестирования необходимо. Надежная и эффективная разработка и дальнейшее сопровождение программного обеспечения невозможны без регрессионного тестирования. Выполнить полное регрессивное тестирование вряд ли возможно. По мере роста и расширения становится все сложнее тестировать отдельные части системы программного обеспечения. Эта проблема усложняется из-за частоты создания сборок программ. Необходимо тестировать предыдущую функциональность, чтобы обеспечить возможность тестирования новых исправлений и новых функций.

В настоящее время выделяют следующие методы отбора тестов для регрессионного тестирования: случайные методы; безопасные методы; методы минимизации; методы, основанные на покрытии кода. Каждый из представленных методов имеет свои достоинства и недостатки [4].

Применение задачи о кратчайшем покрытии булевой матрицы для отбора тестов при проведения регрессионного тестирования безопасным выборочным методом позволяет сократить временные затраты на проведение регрессионного тестирования без потери качества программного продукта.

В качестве булевой матрицы выступает матрица Я, строки которой соответствуют тестируемым функционалам программы, а столбцы соответствуют тестам, предназначенным для этого. Элемент матрицы Гу равен 1, если для тестирования функционала / пригоден тест г}, иначе элемент Гу. матрицы Я равен 0.

В качестве примера рассмотрен реальный проект «Сайт-платформа сравнения цен на услуги по страхованию автомобиля». Для этого выделены 17 ключевых элементов системы (тестируемый функционал), безотказная работа которых была критична для данного приложения. К ним относятся: а - вход на сайт; Ь - выход; с - регистрация; й - идентифицированный пользователь; е - пользователь-студент; /- работающий пользователь; g - безработный пользователь; И - пользователь с дополнительным водителем; г - анонимный пользователь; к - пользователь с истекшим временем покупки; т - проверка уведомлений об ошибке; п - пользователь, вернувшийся на сайт после 11 месяцев;

о - активный пользователь; р - пользователь с дополнительной работой; г - индивидуальный предприниматель; 5 - страница с результатами покупки; г - рассылка информации на почту.

Далее был создан тестовый набор регрессионного тестирования, который содержал проверки заявленной функциональности (14 тестов): 1 - «приходящий через 11 месяцев»; 2 - анонимный посетитель; 3 - дополнительный водитель; 4 - базовый тест; 5 - граничный тест; 6 - редактирование; 7 -пользовательский отчет; 8 - встроенный вход; 9 - навигация по сайту; 10 - сброс пароля; 11 - страница с результатами; 12 - повторный покупатель; 13 - проверка ошибок, 14 - рассылка на почту.

Затем была построена диагностическая матрица (таблица). Строки матрицы соответствуют функциональным модулям программы, а столбцы - тестам. Элемент матрицы С на пересечении 7-й строки и у-го столбца имеет значение 1, если для тестирования 7-го модуля необходим у-й тест. В противном случае элемент матрицы равен 0. Далее к данной матрице был применен алгоритм поиска кратчайшего столбцового покрытия. Результаты оказались достаточно успешными: удалось сократить тестовый набор на 14,3% без потери процента покрытия функциональных возможностей программы. Два теста, а именно тесты с номерами 3 и 4, оказались излишними.

Диагностическая матрица

Функционал Тесты

1 2 3 4 5 6 7 8 9 10 11 12 13 14

а 1 1 1 1 1 1 1 1 1 1 1 1 1 1

Ь 1 1 1 1 1 1 1 1 1 1 1 1 1 1

с 1 1 1 1 1 1 1 1 1 1 1 1

а 1 1 1 1 1 1 1

е 1 1 1 1

/ 1 1 1 1

§ 1 1 1

к 1 1 1 1 1

7 1

к 1

т 1

п 1

о 1 1 1 1 1 1 1 1 1 1 1

Р 1 1 1 1 1 1 1 1 1 1 1 1 1

г 1 1

5 1 1 1 1

г 1

Аналогично данный метод был применен для другого проекта - «Сайта страхования недвижимости». По реализуемой задаче оба приложения похожи и имеют небольшое количество отличительных черт. Поэтому и тестовый набор во многом одинаков. Во втором случае удалось добиться уменьшения первоначального тестового набора на 21,4%.

2. Задача о нахождении минимального диагностического теста при классификации дефектов в программном продукте

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

Опишем распределение ролей в достаточно крупной команде специалистов, занимающихся автоматизацией тестирования. Сама по себе автоматизация крайне редко применяется на краткосрочных или часто изменяющихся проектах, что связано с постоянно растущими затратами на поддержку и написание автоматических тестов. Проект с применением автоматизации имеет большое количе-

ство вариантов использования. Это можем быть работа, связанная с тестированием интерфейсов (внешнего отображения), сервисов, производительности и нагрузки, стрессовым тестированием, тестированием взаимодействия с внешними приложениями по отношению к данному и т.д. Само собой разумеется, что и за дефекты, возникающие в процессе тестирования и работы приложения, будут отвечать специалисты, занимающиеся поддержкой данной деятельности на проекте и являющиеся в ней наиболее квалифицированными. Работа многих систем отслеживания и устранения дефектов организована при помощи данных классификаций дефекта [5].

Используется следующая классификация дефектов с точки зрения степени влияния (Severity) на работоспособность программы:

- блокирующий (Blocker). Блокирующая ошибка, приводящая приложение в нерабочее состояние, в результате чего дальнейшая работа с тестируемой системой или ее ключевыми функциями становится невозможной. Решение проблемы необходимо для дальнейшего функционирования системы;

- критический (Critical). Критическая ошибка, неправильно работающая ключевая бизнес-логика, дыра в системе безопасности, проблема, приведшая к временному падению сервера или приводящая в нерабочее состояние некоторую часть системы, без возможности решения проблемы, используя другие входные точки. Решение проблемы необходимо для дальнейшей работы с ключевыми функциями тестируемой системой;

- значительный (Major). Значительная ошибка, часть основной бизнес-логики работает некорректно. Ошибка не критична или есть возможность для работы с тестируемой функцией, используя другие входные точки;

- незначительный (Minor). Незначительная ошибка, не нарушающая бизнес-логику тестируемой части приложения, очевидная проблема пользовательского интерфейса;

- тривиальный (Trivial). Тривиальная ошибка, не касающаяся бизнес-логики приложения, плохо воспроизводимая проблема, малозаметная посредствам пользовательского интерфейса, проблема сторонних библиотек или сервисов, проблема, не оказывающая никакого влияния на общее качество продукта.

Градация дефектов с точки зрения приоритетности исправления (Priority):

- высокий (High): ошибка должна быть исправлена как можно быстрее, так как ее наличие является критической для проекта;

- средний (Medium): ошибка должна быть исправлена, ее наличие не является критичной, но требует обязательного решения;

- низкий (Low): ошибка должна быть исправлена, ее наличие не является критичной и не требует срочного решения.

В зависимости от того, какой методологии придерживаются на проекте, распределение зарегистрированных дефектов между специалистами может быть различным. Однако на данный момент одним из наиболее распространенных и приоритетных способов является наличие одной общей «доски с дефектами», куда помещаются все найденные дефекты. Далее специалист по автоматизации открывает «доску» и смотрит на список дефектов, расположенных там. Разумеется, сложно с первого взгляда определить, к какому типу относится дефект и какому специалисту лучше поручить работу над ним. Поэтому на процесс анализа, классификации и дальнейшего устранения дефектов тратится достаточно большой объем времени. В подобных условиях применение автоматизированной классификации дефектов является не только рациональным, но желательным для организации эффективной деятельности команды. Это позволит уменьшить время простоев, которые неминуемо возникают в случае ошибочной передачи дефекта. Задача о нахождении минимального диагностического теста, предложенная в [1], может оказаться весьма полезной.

Рассмотрим множества D = {D1, D2, ..., Dn} и Б = {¿1, ¿2, ..., bn}. Множество D является множеством возможных дефектов, множество В - множеством внешних признаков (симптомов), которые возникают вследствие обнаружения дефекта. Симптом - свойство дефекта, позволяющее классифицировать дефекты по их типичному проявлению. Строится булева диагностическая матрица С, которая показывает, какими признаками характеризуется тот или иной дефект. Элемент матрицы с^ равен 1,

если дефект D, влечет симптом bj, иначе элемент су матрицы С равен 0. Для матрицы С строится матрица различий R, строки которой соответствуют парам строк диагностической матрицы и показывают, какими компонентами отличаются строки в этих парах; при этом будем использовать покомпонентную операцию сложения по модулю два, выполняя ее над всеми парами строк диагностической матрицы.

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

В качестве примера рассмотрен реальный проект - веб-приложение для МТБанка «Halva.by», в котором были выделены такие симптомы дефектов, как:

1. Косметический симптом - визуально заметный недостаток интерфейса, не влияющий на функциональность приложения.

2. Некорректная операция - некорректное выполнение некоей операции.

3. Нереализованная функциональность - некая функция приложения не выполняется или не может быть вызвана.

4. Низкая производительность - выполнение неких операций занимает недопустимо большое время.

5. Крах системы - приложение прекращает работу или теряет способность выполнять свои ключевые функции.

6. Неожиданное поведение - в процессе выполнения некоторой типичной операции приложение ведет себя необычным образом.

7. Недружественное поведение - поведение приложения создает пользователю неудобства в работе.

8. Расхождение с требованиями - приложение ведет себя не так, как указано в требованиях.

9. Предложение по улучшению - приложение ведет себя согласно требованиям, но у специалиста по тестированию есть обоснованное мнение о том, как ту или иную функциональность можно улучшить.

При проведении тестирования в программном продукте найдены следующие дефекты:

D\. отсутствует логотип компании при авторизации в системе.

D2: отображается страница «Акции» при клике на раздел «Аксессуары».

D3: отсутствует раздел «Избранные магазины».

D4: не загружается страница «Техника» со списком соответствующих магазинов при одновременном пользовании сайтом количеством человек, равным 10 000.

D5: крах плагина Adobe Flash при попытке просмотра видеозаписи.

De. номер телефона технической поддержки не удается набрать в мобильном браузере.

Для нахождения минимального диагностического теста построим диагностическую матрицу С:

1 2345678 9 "1 0 0 0 0 0 0 1 0" 0 1 0 0 0 1 1 1 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 1 0 1

А А С = А А А А

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

1 2345678 9 "1 1 0 0 0 1 1 0 0" 1 0 1 0 0 0 0 0 0 1 0 0 1 0 0 1 1 0 110 0 11110 1 0 0 0 0 0 1 1 1 0 1 1 0 0 0 1 0 0 0 1 0 1 0 0 0 1 0 0 10 0 110 10 . 0 1 0 0 0 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 1 1 1 1 0 0 0 1 0 0 0 1 1 1 0 10 1110 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 1 0 0 1

Используя минимаксный алгоритм поиска кратчайшего столбцового покрытия матрицы Я, получаем одно их возможных кратчайших покрытий П = (1, 2, 3, 4, 6). Действительно, множество симптомов П однозначно диагностирует каждый дефект данного программного продукта, поскольку все строки подматрицы С'различны:

i 2 3 4 6

Di "i 0 0 0 0"

D2 0 i 0 0 i

C = D3 0 0 i 0 0

D4 0 0 0 i 0

D5 0 0 0 0 i

D6 0 0 0 0 0

Так, дефект D\ характеризуется только симптомом 1, дефект D2 характеризуется наличием симптомов 2, 6 и отсутствием симптомов 1, 3, 4 и т.д.

Что касается практического применения данного подхода, то каждому из признаков (симптомов) дефекта может соответствовать определенная метка, которая будет однозначно идентифицировать дефект на «доске». проекта. Последнее ускорит поиск и распределение дефектов между специалистами, а в дальнейшем эффективно скажется на работе всего проекта. Также это имеет и обратную связь: в случае, если после исправления дефекта он снова был обнаружен, поиск причин такого поведения системы будет организован гораздо легче и быстрее.

Заключение

Для автоматизации процесса мониторинга и контроля дефектов, регрессионного тестирования при разработке программных продуктов создана система управления задачами и отслеживанием ошибок, в которой представлены программные модули для реализации решения рассмотренных выше задач. Система может применяться, например, в начинающих организациях, которые не обладают средствами для обеспечения себя дорогостоящими продуктами, такими как JIRA, Trello, Yodiz. Бюджетные программные средства, использующиеся на данный момент организациями, имеют ограниченные возможности и не обладают достаточным набором функций.

Система выполняет следующие функции и задачи:

- добавление, изменение, просмотр и удаление проектов, задач, дефектов, а также сотрудников команды, работающей над созданием программного продукта;

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

- осуществление поиска задачи, дефектов, сотрудника по различным параметрам;

R =

DXD2 DD DD4 DJD5 DjD6 D2 D3 D2 D4

D2 D5 D2 D6 D3 D4 D3 D5 D3D6 D4 D5 D4 D6 D5 D6

- отображение личного кабинета сотрудника компании;

- разграничение функционала в зависимости от роли: проектный менеджер (администратор) и специалист по тестированию или обнаружению дефектов (пользователь);

- определение минимального диагностического теста и минимального тестового набора при регрессионном тестировании.

Система реализована в виде распределенного приложения на языке Java c использованием технологий и фреймворков разработки веб-приложений. Веб-приложение представлено в виде клиент-серверного приложения, в котором клиентом выступает браузер, а сервером - веб-сервер.

ЛИТЕРАТУРА

1. Закревский А.Д., Поттосин Ю.В., Черемисинова Л.Д. Логические основы проектирования дискретных устройств. М. :

Физматлит, 2007. 592 с.

2. Бейзер Б. Тестирование черного ящика. Технологии функционального тестирования программного обеспечения и систем :

пер. с англ. СПб. : Питер, 2004. 318 с.

3. Wang Sh., Wu Yu., Lu M., Li H. Software reliability accelerated testing method based on test // Proceedings «Annual Reliability

and Maintainability Symposium». Lake Buena Vista, FL, USA. 24-27 Jan. 2011.

4. Котляров В.П. Основы тестирования программного обеспечения : учеб. пособие. М. : БИНОМ. Лаборатория знаний, 2006.

285 с.

5. Куликов С.С. Тестирование программного обеспечения : базовый курс. Минск : Четыре четверти, 2017. 312 с.

Поступила в редакцию 28 августа 2018 г.

Pottosina S.A. (2019) APPLICATION OF THE SHORTEST COVER PROBLEM IN TESTING A SOFTWARE PRODUCT. Vestnik Tomskogo gosudarstvennogo universiteta. Upravlenie vychislitelnaja tehnika i informatika [Tomsk State University Journal of Control and Computer Science]. 47. pp. 102-109

DOI: 10.17223/19988605/47/12

The combinatorial problem of shortest cover can be applied successfully in testing software. Two tasks whose solution is reduced to finding a shortest column cover of a Boolean matrix are considered in the paper. Both the tasks can be solved with the minimax algorithm.

The first task is connected with minimization of a test set in regression testing of a program functional. As a Boolean matrix, there is matrix R whose rows correspond to the program functionals being tested and columns to the tests intended for it. An element rj of the matrix R is equal to 1 if the test tj is suitable for testing the functional fi, otherwise it is equal to 0.

As an example, the real project of "Site-platform of comparing costs for services on automobile insurance" was considered. For this purpose, the key elements of the system (the tested functional) are extracted whose faultless work was critical for this application. Those are the following: enter to a site; exit; registration; recognized user; user-student; user working; user unemployed; user with additional driver; anonymous user; user with elapsed time of a purchase; check of notification on a mistake; user with additional work; individual business owner; page with results of purchase; distribution of information to post. Then, a test set of regression testing was created that contained checks of declared functionality (11 tests). As a result of the search of a shortest cover of matrix R, it was found that the initial test set could be 14.3% decreased (2 tests) without lost of cover percentage of the functional. Similarly, this method was applied for another project; it was "Site of property insurance". According to the solving problem, both the applications resemble and have a little number of distinctive features. Therefore the test set is the same in much. At the second case, the decrease of the initial test set was by 21.4%.

The second task concerns to the search for the minimal diagnostic test that can qualify defects in a software product. It is useful for automation of testing large products when testers are divided into certain groups. Let us consider two sets D = {D1, D2, ..., Dn} and B = {b1, b2, ..., bn}. The set D is the set of possible defects and B is the set of outward signs (symptoms) that appear as a result of disclosure of a defect. A symptom is a characteristic of a defect that can help to qualify defects according to their typical exposure. The diagnostic Boolean matrix C is constructed that shows what characters one or another defect is characterized. Then, the distinction matrix R is constructed whose rows correspond to the row pairs of the diagnostic matrix and show by what components those pairs differ. At that, the component-wise operation of modulo 2 addition is used executing it over all the row pairs of the diagnostic matrix.

Let {1, 2, 3, 4, 5, 6, 7, 8, 9} be the set of symptoms. The defect Di is characterized by the symptoms 1 and 8 and negates the rest. The defect D2 is characterized by the symptoms 2, 6, 7, 8 and negates the rest. Then the first row of the distinction matrix is D1D2 = (1 1 0 0 0 1 1 0 0).

For the obtained distinction matrix, a shortest column cover is found. The set of characters corresponding to the columns in the found cover is the desired solution of the problem of searching for a minimum unconditional diagnostic test. At that, any defect is defined unambiguously by the corresponding row of the obtained submatrix. It helps to classify the defects in the most rational way at the moment of their appearance according to the given characters. This problem can be useful when the automation of testing large projects is organized and it is necessary to divide the test experts into certain groups. Then the problem of defect classification appears.

Keywords: regression testing; short cover problem; defects of a software product; diagnostic test; distinction matrix.

POTTOSINA Svetlana Anatolievna (Candidate of Physical and Mathematical Sciences, Associate Professor, Belorussian State University of Informatics and Radio-Electronics, Minsk, Belarus).

REFERENCES

1. Zakrevskiy, A.D., Pottosin, Yu.V. & Cheremisinova, L.D. (2007) Logicheskie osnovy proektirovaniya diskretnykh ustroystv

[Logical Fundamentals of Design of Digital Devices]. Mosocw: Fizmatlit.

2. Beizer, B. (2004) Testirovanie chernogo yashchika. Tekhnologii funktsional'nogo testirovaniya programmnogo obespecheniya i

sistem [Black-box testing. Techniques for functional testing of software and systems]. Translated from English. ST. Petersburg: Piter.

3. Wang, Sh., Wu, Yu., Lu, M. & Li, H. (2011) Software reliability accelerated testing method based on test. Annual Reliability and

Maintainability Symposium. Proc of the Conference. Lake Buena Vista, FL, USA. January 24-27, 2011.

4. Kotlyarov, V.P. (2006) Osnovy testirovaniya programmnogo obespecheniya [Fundamentals of software testing]. Moscow:

BINOM.

5. Kulikov, S.S. (2017) Testirovanie programmnogo obespecheniya [Software testing]. Minsk: Chetyre chetverti.

i Надоели баннеры? Вы всегда можете отключить рекламу.