|
128 однажды), при этом может существенно увеличиться длина и сложность этих маршрутов. Результаты тестирования Таблица 4.2 Функция управления Критерий 1 Критерий Ci Следование на пожар и возвращение 31 29 Ремонты и техническое обслуживание 78 75 Обеспечение безопасности движения 12 12 Материальнотехническое снабжение 68 61 Для наглядности предположим, что информационные объекты X и Y содержат по два атрибута, т.е. X = (x[lb[2j), У = (Я1Ы2]) соответственно. Реально эти объекты могут содержать следующую информацию: • х[1] планируемое достижение готовности пожарно-спасательных расчетов; • х[2] фактическая готовность пожарно-спасательных расчетов; • Я1] планируемый риск пожаров и ЧС на объектах; • у[1] фактический риск пожаров и ЧС на объектах. Пусть то = (1,0), т\ =(1Л) данные маски определяют разделение доступа к формированию и использованию планируемой и фактической информации, a F(X,Y) некоторая функция контроля и согласования достижения поставленных целей. |
Таблица 3.2 Бизнес-процесс Критерий 1 Критерий Ci Перевозки 31 29 Ремонты и техническое обслуживание 78 75 Обеспечение безопасности движения 12 12 Материально-техническое снабжение 68 61 Продемонстрируем преимущества предложенных критериев на примере приведенном на рис. 3.1. Для наглядности предположим, что информационные объекты X и Y содержат по два атрибута, т.е. Х=(х[1], х[2]), Y=(y[1], у[2]), соответственно. Реально эти объекты могут содержать следующую информацию: х[1] планируемый объем поставляемого товара х[2]) фактический объем поставляемого товара у[1 ] планируемый платеж за поставленный товар у[2] фактический платеж за поставленный товар Пусть то = (1,0), гг>1 =(1,1) данные маски определяют разделение доступа к формированию и использованию планируемой и фактической информации, a F(X,Y) некоторая функция контроля и согласования поставок и платежей. При выполнении бизнес-процесса (фрагмент графа которого анализируется) на любом маршруте, проверяющем элемент контекста данных (х2 1, у?), например, на маршруте (1,2,3,4,5,6,7,4,5), обнаруживается ошибка в потоках данных, проявляющаяся как попытка использования в узле 5 неопределенного элемента данных по фактическим платежам у[2]. Причем данная ошибка обнаруживается при выборе произвольного множества маршрутов, удовлетворяющих требованиям критерия 1 (1’), так как при проверке контекста (х2 1, yi°) ни одно из определений ИО Y не может производиться при маске ггн по определению. С другой стороны, критерий тестирования компьютерных программ, требующий проверки каждой ветви программы по крайней мере однажды, не гарантирует обнаружение данной ошибки. Например, множество маршрутов {(1,2,3,4,5,6,7,4,9), (1,2,3,4,5,7,4,9), (1,2,3,4,5,8,4,9)} удовлетворяет требованиям этого критерия тестирования, но не выявляет данную ошибку. Выбранное множество маршрутов тем более 125 |