Методы и средства вычислительного эксперимента / Акад. наук СССР, КНЦ, Ин-т информатики и мат. моделирования технолог. процессов. – Апатиты : Кольский научный центр АН СССР, 1990.

следующиедостоинстваиспользованиясимвольныхсетей: возможностьсеманти ческогоанализапрограммиалгоритмов, основанныйнапроверкесимвольныхвы ражений, являющихсярезультатомвыполненияалгоритма, инаконтроледанных вовремявыполнения; возможностьанализасвойствсимвольныхсетейспомощью переходакболеепростиммоделям- сетямПетри. ВЛенинградскоминститутеавиационногоприборостроения, накафедревычисли тельныхсистем, авторамиразработанмакетпредлагаемойсистемы, которыймо жетрассматриватьсякакначальнаяверсия, обладающаязаконченнымнабором функций. Работыпосозданиюсистемывполномобъемепродолжаются. Реализация выполненадляперсональногокомпьютераIBM PC/AT . Начальнаяверсияпредоставляетследующиевозможности: Вводвходногопредставленияалгоритмаввидеграф-схемыпараллельного алгоритмаиливвидесетиПетриспомощьюинтерактивногографическогоредак тора. Ведениесазыданныхтекущегопроекта, представляющегособойиерархичес куюдекомпозициюразличныхуровней. Трансляцияграф-схемывсетьПетри, анализсинтаксический( сточки зранияструктурногопрограммирования). Синтаксическийанализаторпостроенпо интерпретирующемутипу: послеобнаруженияпервойошибкипроисходитпереход вредакторсуказаниемкурсоромошибочнойпозиции. ИнтерактивныйпошаговыйотладчиксетейПетри, позволяющийвпошаговом режимевыполнятьсетьинаблюдатьнаэкранесменуе состояний. Анализлогическойкорректностиалгоритмасиспользованиемграфадости жимостисетиПетри. Анализируютсясвойства, перечисленныевыше. Расчетвременныххарактеристикалгоритмасиспользованиемграфадости жимостивременнойсети. Документированиепроекта, включающеевсебяраспечаткуизображений граф-схемы, сетиПетри, результатованализаирасчетачисленныххарактерис тик. Пользовательскийинтерфейсобеспечиваетвсеосновныевозможностисов ременнойсистемывзаимодействияспользователем: получениесправочнойинфор мацииолюбомсостояниисистемы, вводкомандыоператорасиспользованием древовидногокомандногоменю,многооконныйпринципотображенияинформациина экранедисплея, выводнаэкранразвернутойинформацииобошибочныхдействи яхпользователя. ПредусмотренавозможностьиспользованиякомпилятораязыкаПАСКАЛЬдля получениятекстовирезультатоввыполненияпрограмм. ЛИТЕРАТУРА 1. ПИТЕРСОНДж. СетиПетриимоделированиесистем. М., Мир, 1984, 261 с. 2. ЛИІАЕВВ.В. Тестированиепрограмм. М., Наука, 1987, 87 с. 33