Информационная система "Конференции"

Тезисы докладов

Информационные технологии

Существуют различные критерии добротности программных продуктов. Среди них такие, как безопасность, устойчивость, понимаемость, тестируемость, хорошая организованность информационных потоков, потоков управления и многие другие.

При определении добротности как "разумная, рациональная, не переусложненная организация информационных потоков управления и разумное построение вычислений", формулируются следующие группы критериев: количественные, генетические, структурные и прагматические критерии.

Прагматические критерии связаны с тем, что формально можно выявить некоторые свойства программы, которые содержательно можно трактовать как цели, достижению которых служит программа.

Все множество прагматических критериев можно сгруппировать по нескольким видам требований: целевая направленность, структурная целесообразность, оправданная выстроенность вычислении, вычислительная неизбыточность и разумная организация информационных потоков.

Разумная организация информационных потоков разделяется на регулярность (отсутствие неоправданной перепутанности информационных потоков) и подтвержденность (обязательная инициализация любой переменной перед её использованием).

В рамках многоязыковой системы программирования с входными языками Модула-2, Оберон была проведена разработка анализатора добротности информационных потоков в Оберон-программах на предмет их регулярности и подтвержденности. Данные, получаемые в процессе работы анализатора, сохраняются в xml формате и в дальнейшем могут быть исследованы с помощью реализованного полнофункционального многооконного графического интерфейса, позволяющего доступно визуализировать информационные потоки, отмечать их недобротности и предоставлять дополнительную потоковую информацию.

Примечание. Тезисы докладов публикуются в авторской редакции

Ваши комментарии Обратная связь

[Головная страница] [Конференции]

© 1996-2000, Институт вычислительных технологий СО РАН, Новосибирск
© 1996-2000, Сибирское отделение Российской академии наук, Новосибирск
    Дата последней модификации: 06-Jul-2012 (11:47:01)