Основы тестирования программного обеспечения
Особенности интеграционного тестирования для объектно-ориентированного программирования - часть 5
V(P, C) =?V(Clsi, C)
Формальным представлением описанного выше подхода к тестированию программного проекта служит классовая модель программного проекта, состоящая из дерева классов проекта рис. 6.3 и модели каждого класса, входящего в программный проект рис. 6.4.
Рис. 6.2. Пример включения объекта в модель программного проекта, построенного с использованием MM-путей и P-путей
Таким образом и определяется классовая модель проекта для тестирования объектно-ориентированной программы. Как будет показано в дальнейшем, она поддерживает итерационный инкрементальный процесс разработки программного обеспечения.
Рис. 6.3. Дерево классов проекта
Рис. 6.4. Модель класса, входящего в программный проект
Методика проведения тестирования программы, представленной в виде классовой модели программного проекта, включает в себя несколько этапов, соответствующих уровням тестирования рис. 6.5:
- На первом уровне проводится тестирование методов каждого класса программы, что соответствует этапу модульного тестирования.
- На втором уровне тестируются методы класса, которые образуют контекст интеграционного тестирования каждого класса.
- На третьем уровне протестированный класс включается в общий контекст (дерево классов) программного проекта. Здесь становится возможным отслеживать реакцию программы на внешние события
Второй и третий уровни рассматриваемой модели соответствуют этапу интеграционного тестирования.
Для третьего уровня важным оказывается понятие атомарной системной функции (АСФ) [23]. АСФ - это множество, состоящее из внешнего события на входе системы, реакции системы на это событие в виде одного или более ММ-путей и внешнего события на выходе системы. В общем случае внешнее выходное событие может быть нулевым, т. е. неаккуратно написанное программное обеспечение может не обеспечивать внешней реакции на действия пользователя. АСФ, состоящая из входного внешнего события, одного ММ-пути и выходного внешнего события, может быть взята в качестве модели для нити (thread).
