Метод синтезу тестових моделей поведінки програмних об’єктів інформаційно-телекомунікаційної системи спеціального призначення
Наукові видання Харківського національного університету Повітряних Сил
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
Метод синтезу тестових моделей поведінки програмних об’єктів інформаційно-телекомунікаційної системи спеціального призначення
Метод синтеза тестовых моделей поведения программных объектов информационно-телекоммуникационной системы специального назначения Method of synthesis test models of software objects behaviour of information and telecommunication systems of special purpose |
|
| Creator |
О.П. Доренський
А.П. Доренский O.P. Dorensky |
|
| Subject |
Кібернетика та системний аналіз
УДК 004.415.2:519.876.5 програмне забезпечення, інформаційно-телекомунікаційна система, проектування, програмний об’єкт, поведінка, тестова модель программное обеспечение, информационно-телекоммуникационная система, проектирование, программный объект, поведение, тестовая модель software, information and telecommunication system, design, program object, behavior, test model |
|
| Description |
Під час розроблення складних програмних систем, якою є інтегрована інформаційнотелекомунікаційна система спеціального призначення, що розробляється, ще на етапі проектування виникають до двох третин помилок. З метою їх виявлення у роботі запропоновано метод синтезу тестових моделей поведінки програмних об’єктів, який полягає в поетапному виконанні побудови моделей послідовностей повідомлень програмних об’єктів, синтезу логічних і тестових моделей станів та діяльностей класів, перетворення моделей послідовностей у моделі кооперації програмних об’єктів. Застосування синтезованих логічних та тестових структур дає можливість повно тестувати динамічну компоненту комплексної моделі об’єктно-орієнтованого програмного забезпечення та, як результат, виявляти алгоритмічні і системні помилки на етапі проектування інформаційно-телекомунікаційної системи спеціального призначення.
При разработке сложных программных систем, которой является разрабатываемая интегрированная информационно-телекоммуникационная система специального назначения, на этапе проектирования возникают до двух третей ошибок. С целью их выявления в работе предложен метод синтеза тестовых моделей поведения программных объектов, заключающийся в поэтапном осуществлении построения моделей последовательностей сообщений программных объектов, синтеза логических и тестовых моделей состояний программных объектов и деятельностей классов программных объектов, преобразовании моделей последовательностей в модели кооперации программных объектов. Использование синтезированных логических и тестовых структур обеспечивает полное тестирование динамической компоненты комплексной модели объектно-ориентированного программного обеспечения, выявление алгоритмических и системных ошибок на этапе проектирования системы. Integrated information and telecommunications system of special purpose is a complex software system and there are more than half of all errors appear at the design stage. In order to detect them in the proposed method for the synthesis of test behaviours of software objects, which is the percentage of completion of construction of models of message sequence software objects, logic synthesis and test models of state and activity classes transformation sequences of models in a model of cooperation at program objects. Usage of synthesized logic and text structure enables complete testing of complex dynamic component model of object-oriented software. This makes possible to identify algorithmic and system errors in the design phase of information and telecommunication systems and the devices. |
|
| Publisher |
Харківський національний університет Повітряних Сил ім. І. Кожедуба
Харьковский национальный университет Воздушных Сил им. И. Кожедуба Kharkiv national Air Force University named after I. Kozhedub |
|
| Date |
2014
|
|
| Type |
info:eu-repo/semantics/article
info:eu-repo/semantics/publishedVersion Рецензована стаття |
|
| Format |
application/pdf
|
|
| Identifier |
http://www.hups.mil.gov.ua/periodic-app/article/4069
|
|
| Source |
Збірник наукових праць Харківського національного університету Повітряних Сил. — 2014. — № 3(40). 109-112
Сборник научных трудов Харьковского национального университета Воздушных Сил. — 2014. — № 3(40). 109-112 Scientific Works of Kharkiv National Air Force University. — 2014. — № 3(40). 109-112 2073-7378 |
|
| Language |
ukr
|
|
| Relation |
http://www.hups.mil.gov.ua/periodic-app/article/4069/zhups_2014_3_24.pdf
|
|