Анотація: Під час розроблення складних програмних систем, якою є інтегрована інформаційнотелекомунікаційна система спеціального призначення, що розробляється, ще на етапі проектування виникають до двох третин помилок. З метою їх виявлення у роботі запропоновано метод синтезу тестових моделей поведінки програмних об’єктів, який полягає в поетапному виконанні побудови моделей послідовностей повідомлень програмних об’єктів, синтезу логічних і тестових моделей станів та діяльностей класів, перетворення моделей послідовностей у моделі кооперації програмних об’єктів. Застосування синтезованих логічних та тестових структур дає можливість повно тестувати динамічну компоненту комплексної моделі об’єктно-орієнтованого програмного забезпечення та, як результат, виявляти алгоритмічні і системні помилки на етапі проектування інформаційно-телекомунікаційної системи спеціального призначення.
ENG
