УДК: 004.89:004

Валидация объектно-ориентированных программ с использованием онтологий

A. Г. Разумовский, аспирант, e-mail: razumovsky.andrey@gmail.com, М. Г. Пантелеев, канд. техн. наук, доц.,Санкт-Петербургский государственный электротехнический университет ("ЛЭТИ")

Предлагается новый подход к валидации объектно-ориентированного программного обеспечения, основанный на использовании онтологий предметных областей, представленных на языке OWL, и средств автоматического вывода. Представлена общая архитектура системы семантической валидации. Рассмотрен прототип системы, предназначенной для валидации объектно-ориентированных программ на языке Java с использованием разработанной библиотеки Epiphron.

Ключевые слова: разработка программного обеспечения, объектно-ориентированное программирование, валидация, онтологии

Стр. 7–13