Рассматривается тестирование ПО с использованием анимации UML-моделей. Такое исполнение UML-моделей в режиме анимации называют динамической отладкой. Исследуются процессы тестирования на программных моделях технических устройств для С++ и Java 2.0, которые получены из UML-моделей. Верифицированность таких систем оказывается выше, чем для систем, для которых проведено только статическое тестирование. Рассматриваются анимированные UML-диаграммы конечных автоматов и диаграммы последовательностей. При выполнении такой программы среда разработки отражает изменение состояния приложения на соответствующей диаграмме. Рассматривается быстрое прототипирование системы, как метод тестирования. Такое дополнительное тестирование важно для создания встраиваемых систем и систем реального времени.
Abstract
Software testing with use of animation of UML-models is considered. Execution of UML-models in an animation mode is dynamic debugging. Processes of testing on program models of technical devices for C ++ and Java 2.0 which are received from UML-models are investigated. Verifies such systems are above, than for static testing systems only. Animated UML-diagrams of Finite State Machine and the Sequence Diagrams are considered. The development framework reflects change of a condition of the application program in the corresponding diagram during program run. Fast prototyping of system, as a testing method is considered. Additional testing is important for creation of real time systems and embedded systems.