Методы и средства инженерии программного обеспечения



         

Методы просмотра структуры программы - часть 2


 

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

 

Метод проверки непротиворечивости.

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

1. Построения тестового набора данных для заданного пути, определяющего этот путь  при символьном выполнении. В случае отсутствия такого набора делается заключение о   нереализуемости  (непротиворечивости) данного пути.

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

Рассмотрим эти  виды  задач.

1). Символическое выполнение программа Р (Х, Y) на некоторых наборах данных    D = (d1, d2, ..., dn ),  D Ì Х,   Х – множество входных данных программы Р.

Пронумеруем операторы программы Р. Состояние выполнения программы – это тройка         




Содержание  Назад  Вперед