Реализация библиотеки

На рисунках 5-6 приведено решение задачи календарного планирования с использованием метода ветвей и границ.
На рисунке 7 приведено решение задачи календарного планирования с использованием метода Соколицына
На рисунке 8 приведено решение задачи методом Джонсона.
Решение, построенное с использованием метода Соколицына, позволяет сократить срок проекта на 1 день в сравнении с предыдущим методом.
Одним из методов, используемых для проверки мобильных приложений является функциональное тестирование, связанное с управлением по данным или метода «черного ящика». В данном случае тестируемая программа выступает в качестве «черного ящика», и цель тестирования предполагает выяснение обстоятельств, при которых поведение системы не соответствует заявленному функционалу.
Для возможности обнаружения нарушения функционала системы, с использованием управления по данным, необходимо проведение исчерпывающего тестирования, т. е. тестирования на случайно выбираемых наборах данных. Для тех же тестируемых систем, где выполнение команды определяется предшествующими ей событиями, необходимо провести проверку всех возможных последовательностей. Очевидно, что провести исчерпывающее тестирование для всех возможных случаев не является возможным. Поэтому, как правило, ограничиваются проведением «разумного» или «приемлемого» тестирования, ограничиваемого прогонами программы на некотором подмножестве всей возможной входной информации. Данный вариант не предоставляет гарантий отсутствия нарушения спецификаций ПО в других режимах.
Корректно выбранный тест должен сокращать, более чем на единицу, количество других тестов, которые необходимо разработать для обеспечения необходимого качества программного продукта.
При проведении функционального тестирования различаются следующие методы работы с тестовыми наборами [9]:
• метод эквивалентного разбиения;
• метод анализа пограничных значений;
• работа с причинно-следственными связями;
• метод предположения об ошибке.
Рассмотрим технологию работы с эквивалентным разбиением. Метод эквивалентного разбиения предполагает следующее. Область всех возможных наборов входной информации программы по каждому из параметров разбивается на ограниченное количество групп, представляющих собой классы эквивалентности. Наборы данных указанного класса объединяют в соответствии с принципом обнаружения аналогичных ошибок: если набор какого-либо класса вызывает обнаружение некоторой ошибку, то предполагается, что при проведении других тестов указанного класса будет обнаружена аналогичная ошибка.
Разработка тестов с использованием метода эквивалентного разбиения производится в два этапа: на первом этапе определяются классы эквивалентности, на следующем этапе - формирование тестов.
Определение классов эквивалентности представляет собой эвристический процессом, при этом целесообразно выделение в отдельные классы эквивалентности наборов, содержащих допустимые и недопустимые значения тестируемого параметра

. При этом используются правила [15]:
• если значения некоторого параметра х лежат в интервале[1, 999], то выделяется один правильный класс 1 х 999 и два неправильных: х 1 и х 999;
• если с помощью входного условия определяется диапазон значений порядкового типа, то работают с одним правильным классом эквивалентности и двумя неправильными;
• если посредством входного условия описывается множество входных значений и имеются основания полагать, что каждое значение разработчиком трактуются особым образом, то определяется правильный класс эквивалентности для каждого из значений и один неправильный;
• если с помощью входного условия проведено описание ситуации типа «должно быть», например, то определяютодин правильный класс эквивалентности и один неправильный;
• если имеются основания считать, что для различных элементов класса эквивалентности трактовка со стороны программы не является одинаковой, то необходимо разбить данный класс на подклассы.
Таким образом, определение классов эквивалентности производится через перебор ограничений, установленных для каждого из входных значений в техническом задании, либо в процессе уточнения спецификации. Каждое ограничение разбивается на две или более подгруппы. Пример бланка определения классов эквивалентности приведен в таблице 5.
 Таблица - Пример бланка определения классов эквивалентности
Ограничение на значение параметра Правильные классы эквивалентности Неправильные классы эквивалентности
     
В поле "Правильные классы" включаются правильные данные, в поле "неправильные классы" - неправильные данные. Для определения правильных и неправильных классов проектирование тестов проводится отдельно. В процессе построения тестов для правильных классов учитывается, что с помощью каждого теста необходимо проводить проверку по возможности наибольшего количества различных входных условий. Данный подход позволяет сократить общее количество тестов, которые необходимо провести. Для тестирования неправильных классов эквивалентности разрабатываются свои критерии.
Метод анализа граничных значений.
Граничные значения - это значения исследуемого параметра, находящиеся на границах классов эквивалентности для входных значений или рядом с ними