Наукова електронна бібліотека
періодичних видань НАН України
періодичних видань НАН України
Формалізми об’єктного проектування і тестування розподілених програмних систем
Репозиторій DSpace/Manakin
JavaScript is disabled for your browser. Some features of this site may not work without it.
Формалізми об’єктного проектування і тестування розподілених програмних систем
Інші назви:
The formal basic developing and testing the distributed program systems
Тема:
Методи та засоби програмної інженерії
УДК:
681.03
Посилання:
Формалізми об’єктного проектування і тестування розподілених програмних систем / К.М. Лавріщева, А.Ю. Стеняшин // Проблеми програмування. — 2013. — № 4. — С. 25-34. — Бібліогр.: 8 назв. — укр.
Дата:
2013
Переглядів:
700
Завантажень:
801
Анотація:
Розглядається підхід до проектування розподілених програмних систем формальним поданням об’єктів функціонального і інтерфейсного типів. Дається визначення об’єктів та операцій проекції, взаємодії та паралельного виконання. Дано опис мови подання інтерфейсів об’єктів IDL (stub, skeleton) і оброблення їх брокером ORB сиcтеми CORBA. Запропоновано процес тестування об’єктних структур програм та перетворення даних різнорідних об’єктів для забезпечення їх взаємодії у операційному середовищі.
