Экономическая информатика-стр.337

Высокая “тяжесть” последствий ошибок при разработке ПО, присущих этапу составления спецификаций для автоматизации информационной системы объекта, вызвала поиск путей сокращения их числа на этом этапе до минимума. Естественным решением проблемы была разработка формализованного аппарата для составления описания и последующего анализа информационной модели системы. Впервые такой подход с системных позиций был реализован сотрудниками Мичиганского университета под руководством проф. Д.Тайкроу в рамках проекта ISDOS (Information System Design and Optimization System - проектирование и оптимизация информационных систем).

В основу реализации проекта ISDOS был положен специально разработанный язык PSL (Problem Statment Language - язык постановки задач), который обеспечивал описание целей, функций и задач систем организационно-экономического управления, и программный анализатор описаний PSA (Problem Statment Analizator - анализатор постановок задач), выполненных средствами PSL.

На языке PSL пользователь специфицирует параметры, определяющие входы и выходы информационной системы и их временные характеристики.

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

•    ввод, контроль и кодирование спецификаций проектируемой системы;

•    анализ правильности постановки задач и их согласованности;

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

•    преобразование постановок задач после проверки и корректировки исходных данных в машинные программы в соответствии с заданными требованиями к системе;