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

 Наукова періодика України 

---

Додаткова інформація про автора(ів) публікації:
(cписок формується автоматично, до списку можуть бути включені персоналії з подібними іменами або однофамільці)

• Доренський Олександр Павлович (технічні науки)

  Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"