Методологические основы

Маршруты первого вида обычно логически проще и короче, чем второго, и предназначены для преобразования величин, являющихся кван­тованными результатами измерения некоторых непрерывных физических характеристик (непрерывные переменные). Значения таких переменных связаны условиями гладкости, т.е. условиями малых изменений производ­ных этих переменных по времени или по другим параметрам. При оценке сложности вычислительных маршрутов программ необходим учет числа операндов, участвующих в вычислениях. Кроме того, исходные и резуль­тирующие данные при тестировании должны принимать несколько значе­ний. Во всем диапазоне исходных переменных следует выбирать несколь­ко характерных точек (предельные значения и несколько промежуточ­ных), при которых проверяется программа. В особых точках значений и сочетаний переменных и в точках разрыва функции необходимо планиро­вать дополнительные проверки. Таким образом, сложность проверки про­граммного модуля будет определяться числом маршрутов М_х исполнения программы и числом обрабатываемых операндов /, на каждом z-м маршру­те, умноженном на число значений для каждой исходной у-й величины на этом маршруте:

М_х ^li

^Sx=2^E^sij- (13.2)

/=1 7=1

Расчет показателя сложности тестирования программного модуля по такой схеме имеет значительную неопределенность из-за произвола в вы­боре числа значений s_/7 (в основном особых точек) при варьировании исходных данных в тесте. В то же время доля вычислительной части во многих сложных ПС относительно невелика.

Второй вид маршрутов является результатом функционирования схем принятия решений и преобразования логических переменных. Для логических переменных отсутствует сильная корреляционная связь между соседними значениями, и каждое изменение переменной может опреде­лять разные области результирующих значений. Такое преобразование переменных обеспечивается алгоритмами со сложной логической струк­турой, содержащей ряд проверок логических условий, циклов для поиска и селекции переменных, а также логические преобразования переменных. В результате в программе образуется множество маршрутов обработки исходных данных, которые определяют сложность структуры программы.