1. Наука
  2. Видання
  3. Збірник наукових праць Харківського національного університету Повітряних Сил
  4. 3(40)'2014
  5. Метод синтеза тестовых моделей поведения программных объектов информационно-телекоммуникационной системы специального назначения

Метод синтеза тестовых моделей поведения программных объектов информационно-телекоммуникационной системы специального назначения

А.П. Доренский
Аннотации на языках:

При разработке сложных программных систем, которой является разрабатываемая интегрированная информационно-телекоммуникационная система специального назначения, на этапе проектирования возникают до двух третей ошибок. С целью их выявления в работе предложен метод синтеза тестовых моделей поведения программных объектов, заключающийся в поэтапном осуществлении построения моделей последовательностей сообщений программных объектов, синтеза логических и тестовых моделей состояний программных объектов и деятельностей классов программных объектов, преобразовании моделей последовательностей в модели кооперации программных объектов. Использование синтезированных логических и тестовых структур обеспечивает полное тестирование динамической компоненты комплексной модели объектно-ориентированного программного обеспечения, выявление алгоритмических и системных ошибок на этапе проектирования системы.
Ключевые слова: программное обеспечение, информационно-телекоммуникационная система, проектирование, программный объект, поведение, тестовая модель