Составители:
— либо не завершается.
К свойству живучести можно отнести завершаемость про-
граммы при любом допустимом наборе данных; длина каждой ее
истории конечна.
Имеется три подхода к исследованию свойств программы.
I. Первый подход сотоит в отладке и в тестировании програм-
мы. Таким образом удается перебрать некоторые истории програм-
мы и проверить степень их приемлемости.
Недостатком такого подхода является ограниченность числа
историй, которые удается перебрать: их перебор может способство-
вать лишь возникновению уверенности в правильн ости программы,
но строгим доказательством такой прием, конечно, не является.
II. Второй подход — использование операторных рассуждений,
ведущий к исчерпывающему анализу случаев. Для этого анализи-
руются способы чередования неделимых действий.
Недостаток этого подхода в том, что количество возможных
чередований весьма велико: для программы из n процессов, каж-
дый из которых содержит k неделимых действий, число возмож-
ных чередований равно
(kn)!
(k!)
n
. В числителе стоит количество всех
возможных перестановок из имеющихся kn неделимых действий,
но поскольку для данного п роце сса возможен только один порядок
выполнения, то следует разделить на k! для каждого из n процес-
сов, поэтому в знаменателе появляется (k!)
n
В частности, уже при
k = 2, n = 3 получаем
(2 · 3)!
(2!)
3
= 90 возможных вариантов.
III. Третий подход — применение абстрактного анализа (до-
казательных утверждений), что сродни обычному логическому до-
казательству теоремы. В этом случае используются формулы логи-
ки, причем неделимые действия рассматриваются как предикатные
преобразователи; они меняют состояние программы, удовлетворя-
ющее одному п ред икату, на состояние, удовлетворяющее другому.
Преимущества данного подхода:
— компактное представление состояний и их преобразований;
— работа при построении и анализе программы пропорцио-
нальна числу неделимых действий в этой программе.
Замечание. Параллельные программы очень сложны при те-
стировании и отладке и з-з а того, что
14
Страницы
- « первая
- ‹ предыдущая
- …
- 11
- 12
- 13
- 14
- 15
- …
- следующая ›
- последняя »
