Файл: Функциональное тестирование ПО на примере мобильных приложений.pdf

Общее число тестов: 10*2*2*100 = 4000

Общее число негативных тестов > 4000.

Теперь, идея разработки тестов заключается в том, чтобы уменьшить количество тестов. Сначала выясним число случаев с использованием обычного метода тестирования программного обеспечения. Мы можем рассматривать значения List Box как 0 и другие. Число значений радио-кнопки и Check Box не могут быть уменьшены, так что каждый из них будет иметь 2 комбинации (включен или выключен). Значения текстовое поле может быть уменьшено до трех: допустимое целое число, недопустимое целое (Invalid Integer), альфа - специальный символ.

Таким образом, число случаев с использованием программного обеспечения в методике тестирования составит: 2 * 2 * 2 * 3 = 24 (в том числе негативных случаев).

Далее уменьшим количество сочетаний значений параметров в технике All-pairs.

- шаг 1: Выберем параметры таким образом, что параметр с наибольшим количеством значений был первым и с наименьшим - последим;

- шаг 2: заполняем таблицу по столбцам. List Box может принимать 3 значения;

- шаг 3: в следующей колонке будет Text Box (может принимать 2 значения);

- шаг 4: проверяем, что покрыты все комбинации между списком и текстовым полем;

- шаг 5: будем использовать ту же стратегию для проверки радио - кнопки и Check Box.

- шаг 6: проверяем, что все значения пар параметров покрыты (таблица 5).

Таблица 5 - Покрытие тестовых значений

Для Pairwise тестирования используются алгоритмы, основанные на построении ортогональных массивов или на All-Pairs алгоритме, которые опираются на теоретические исследования в области комбинаторных алгоритмов, алгоритмов дискретной математики и, в частности, латинских квадратов [20].

Обычно на практике используют некоторые программные реализации этого алгоритма, так как вручную перебирать все пары достаточно трудоемко.

2.2 Разработка онтологической модели тестового случая

Используем онтологический подход [21] для анализа предметной области разработки тестов. Сначала рассмотрим параметры тестового случая.

Под тестовым случаем (test case) обычно понимается структура вида: Action > Expected Result > Test Result

В таблице 6 показан пример тестового случая.

Таблица 6 - Пример тестового случая

Описание тестового случая может включать следующие части (таблица 7, 8) [17].

Таблица 7 - Описание тестового случая (вариант 1)

---

Таблица 8 - Описание тестового случая (вариант 2)

Описания параметров тестовых случаев необходимы для формирования отчетов, содержащих информацию об обнаруженных проблемах.

Более простая модель онтологии (без словаря и без определения типа отношений) приведена ниже. Под онтологией в этой работе понимается упорядоченная тройка вида [9 - 11]:

О = (C,R,F),

где C - конечное множество концептов (понятий, терминов) предметной области, которую представляет онтология О;

R - конечное множество отношений между концептами заданной предметной области;

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

Естественным ограничением, налагаемым на множество С, является его конечность и не пустота.

Создадим онтологическую модель тестового случая (рисунок 12)

Рисунок 12 - Онтологическая модель тестового случая

Рисунок 13 - Онтологическая модель тестового случая в Protege

Рисунок 14 - Классы онтологической модели тестового случая в Protege

Выводы

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

Обычно на практике используют некоторые программные реализации этого алгоритма, так как вручную перебирать все пары достаточно трудоемко.

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

Заключение

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

Рассмотрены регламентирующие документы объектно-ориентированного подхода: стандарт IEC 61499, а также спецификация OPC UA.

В ходе научно-исследовательской работе были решены следующие задачи:

---

• проанализированы существующие подходы к разработке автоматизированных систем учета энергоучета и состояния предметной области;
• обоснованы преимущества объектно-ориентированного подхода к построению автоматизированных систем учета ресурсов с использованием спецификации OPC UA;
• разработаны программные средства конфигурирования автоматизированной системы учета энергоресурсов;
• разработан прототип OPC UA-клиента, согласно спецификации OPC UA.

В ходе научно-исследовательской работы была построена онтологическая модель автоматизированной системы учета энергоресурсов. На основе онтологической модели разработаны средства конфигурированию автоматизированной системы учета энергоресурсов, а также разработан прототип OPC UA-клиента.

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

Список использованных источников

1. Липаев, В.В. Методы обеспечения качества крупномасштабных программных средств. / М.: СИНТЕГ, 2003. 520 с.
2. Липаев, В.В. Обеспечение качества программных средств Методы и стандарты. Серия "Информационные технологии". - М.: СИНТЕГ, 2001. 380с.
3. Майерс, Г. Искусство тестирования программ / Пер. с англ.- М.: Финансы и статистика, 1982. - 176 c.
4. Макгрегор, Д. Сайкс, Д. Тестирование объектно-ориентированного программного обеспечения / Пер. с англ. - К.: ООО “ТИД ДС”, 2002. - 432 с.
5. Калбертсон, Р и др. Быстрое тестирование / Пер. с англ. - М.: “Вильямс”, 2002. - 384 с.
6. Канер, С и др. Тестирование программного обеспечения. Фундаментальные концепции менеджмента бизнес-приложений / Пер. с англ. - К.: “ДиаСофт”, 2001. - 544 с.
7. Котляров, В., Коликова, Т., Некрасов, Н., Епифанов, Н. Технологии программирования. Основы современного тестирования программного обеспечения, разработанного на C# / Учеб.пособие - СПб.: Издательство СПбГПУ, 2004. - 168 c.
8. Тампре Л. Введение в тестирование программного обеспечения / Пер. с англ. - М.: “Вильямс”, 2003. - 368 с.
9. Савин Р. Тестирование Дот Ком, или Пособие по жесткому обращению с багами в интернет-стартапах. - М.: Дело, 2007. - 312с http://adm-lib.ru/books/4/testirovanie_dot-com.pdf
10. Котляров, В., Тренинг Основы тестирования программного обеспечения [Электронный ресурс]. URL: http://www.intuit.ru/studies/courses/48/48/info (дата обращения: 19.05.2017)
11. Куликов, С., Тестирование программного обеспечения. Базовый курс. © EPAM Systems, 2015 [Электронный ресурс]. URL: http://svyatoslav.biz/software_testing_book/ (дата обращения: 19.05.2017)
12. Криспин, Л., Грегори, Д,. Гибкое тестирование: практическое руководство для тестировщиков ПО и гибких команд. : Пер. с англ. - М. : ООО “И.Д. Вильямс”, 2010. - 464 с.
13. Балыков, Е. Тестирование программных средств. Источник: RSDN Magazine #4, 2006
14. Тестирование и качество ПО. - Режим доступа: [Электронный ресурс]. URL: http://software-testing.ru/ (дата обращения: 19.05.2017)
15. Кучеренко, Е. Что такое Тест кейс (Test Case)? https://software- testing.org/testing/test-keys-test-case-iz-kakih-poley-sostoit-tipichnyy-test-ys.html http://download.microsoft.com/download/f/5/5/f55484df-8494-48fa- 8dbd- c6f76cc014b/pict33.msi [Электронный ресурс]. URL: (дата обращения: 7.06.2017)
16. Миронов А. Применение модульного подхода для тестирования Web-приложения. - НИТиС - 2016 - XIII Международная научно техническая конференция "Новые информационные технологии и системы"- Пенза : ПГУ, 2016
17. Миронов, А. Инструменты для автоматизации тестирования Web- приложений ПАУТС - 2017 XXXII Международная научно техническая конференция "Проблемы автоматизации и управления в технических системах". - Пенза : ПГУ, 2017
18. Миронов, А Использование функциональных тестов регистрации пользователей / Л.В. Гурьянов, А.В. Миронов // сб. науч. ст. 4-ая Ежегодная межвузовская научно-практическая конференция. - Пенза : ПГУ, 2017
19. Холл, М. Комбинаторика. - М. : Мир, 1970. - 424 с.
20. Ной Н. Ф., МакГиннесс Д.Л. Разработка онтологий 101. Руководство по созданию вашей первой онтологии // International Forum of Educational Technology & Society [Электронный ресурс]. URL: http://ifets.ieee.org/russian/depository/ontology101_rus.doc (дата обращения: 19.05.2017).
21. C. A. R. Hoare. «An axiomatic basis for computer programming». Communications of the ACM, 12(10):576-580,583 October 1969
22. Black, Rex. Pragmatic Software Testing: Becoming an Effective and Efficient Test Professional. New York: Wiley. 2007 - p. 240.

---