Статья 2 Investigation of Methods for Testing AspectOriented Software Исследование методов для аспекта тестирования ориентированное программное обеспечение


Методы испытаний, основанные на моделях состояний



Скачать 65.55 Kb.
страница14/24
Дата23.06.2022
Размер65.55 Kb.
#130952
ТипСтатья
1   ...   10   11   12   13   14   15   16   17   ...   24
Статья 2-Исследование методов аспекта тестирования (9000 слов) (1-4 главы)

Методы испытаний, основанные на моделях состояний


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


Подход, основанный на положении государств


Подход, основанный на состоянии, предложенный Сюй и др. (2004), непосредственно основан на шаблоне проектирования тестов для объектно-ориентированной программы. Модель аспектного состояния (ASM) системы разработана для тестируемой модели поведения классов вместе с дополнительными советами, определенными в аспектах, которые динамически подключаются при достижении определенных точек соединения. ASM расширен из модели состояния СВОБОДНОГО(сглаженного регулярного выражения) для объектно ориентированной разработки программного обеспечения. FREE имеет сходство с моделью состояния в UML, но определения не найдены в UML. Для тестирования аспектно-ориентированной программы в соответствии с подходом, основанным на состоянии, FREE расширяется в ASM для определения как классов основной проблемы, так и аспектов сквозных проблем. Затем ASM преобразуется в дерево переходов, которое подразумевает набор тестов для адекватного тестирования поведения объекта и взаимодействия между классами и аспектами с точки зрения последовательности сообщений. Метод тестирования расширен до тестирования на основе дерева переходов для решения сквозных задач. В дереве переходов каждый путь от корня до конечного конечного узла является тестовым требованием для тестирования поведение объектов. Если переменным присваиваются определенные значения, удовлетворяющие соответствующим условиям, то требование к тестированию становится тестовым случаем. Для адекватной проверки аспекта каждый связанный путь дерева должен быть выполнен по крайней мере один раз,что позволяет проверить предполагаемое поведение
аспектов. В дереве переходов применяется покрытие с несколькими условиями. Набор тестов, достигающий охвата N+, может выявить все ошибки управления состоянием и многие ошибки состояния. По причине неправильного использования советов, точечных разрезов и точек соединения взаимодействие между аспектами и классами может нарушиться. У ASM есть два преимущества: 1) он представляет лучшую модель для представления аспектно-ориентированного программного обеспечения и 2) использование модели для тестирования реализации аспекта более эффективно.
Предлагаемый метод тестирования может выявить некоторые недостатки, такие как неправильная сила шаблона точечного разреза и неспособность сохранить инварианты состояния. Эти два типа неисправностей предложены в модели неисправности 23 из Alexander и др. (2004). По мнению авторов, метод, основанный на дереве переходов, обеспечивает надежную поддержку разработки программного обеспечения, ориентированного на аспекты, без негативных последствий для процесса разработки. Представлено эмпирическое исследование в рамках крупномасштабного проекта, подтверждающее эффективность предлагаемого метода.



Скачать 65.55 Kb.

Поделитесь с Вашими друзьями:
1   ...   10   11   12   13   14   15   16   17   ...   24




База данных защищена авторским правом ©vossta.ru 2022
обратиться к администрации

    Главная страница