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

  Повний текст PDF - 262.186 Kb    Зміст випуску     Цитування публікації

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