• Гідрологія і Гідрометрія
• Господарське право
• Економіка будівництва
• Економіка природокористування
• Економічна теорія
• Земельне право
• Історія України
• Кримінально виконавче право
• Медична радіологія
• Методи аналізу
• Міжнародне приватне право
• Міжнародний маркетинг
• Основи екології
• Предмет Політологія
• Соціальне страхування
• Технічні засоби організації дорожнього руху
• Товарознавство продовольчих товарів

Метрики тестування об'єктів 1-го типу

Метод тестування об'єктів 1-го типу включає метрики, засновані на двох основних властивостях установлення ступеня тестування: контрольованістю (КТ) тестування БСУ і спостережністю за тестуванням (НТ).

Контрольованість БСУ - це властивість незалежного присвоєння керуючим змінним або вираженням цих структур таких значень, щоб будь-який шлях обчислень об'єктів 1-го типу був контролюємо доступний. КТ будь-якої БСУкількісно визначимо у такий спосіб:

КТбсу = 1, якщо БСУ - незалежні друг від друга,

КТбсу = 0, якщо БСУ залежить від шляху виконання або взаємозалежностей виражень.

Контрольованість тестування КТ окремого об'єкта опишемо формулою:

(1)

де - контрольованість усіх БСУ об'єкта. Область визначення КT - [0; 1]. Дана властивість інформує про ступінь перевірки слушності об'єкта, якщо

КT =1, то об'єкт цілком проконтрольований;

КT =0, то об'єкт не проконтрольований.

КТ <0 < 1, то об'єкт частково проконтрольований.

Під спостережністю тестування (НТ) об'єкта 1-го типу будемо розуміти властивість перегляду значень, прийнятих для будь-якої змінної усередині шляху тестування.

Область визначення НT збігається з областю КT. Якщо у об'єкта НT=1 або НТ=0, то це означає, що об'єкт 1-го типу досліджено або ні. Одним із засобів реалізації дослідження об'єкта є, наприклад, додавання в програму таких операторів, як write або print, тоді можна досягти НTº1.

Очевидно, що чим більше значення КT і НТ, тим більше ступінь повноти тестування.

Тестовність об'єкта 1-го типу (ТО1) можна визначити як функцію від конрольованості КТ і спостеженості НТ за тестуванням:

ТО1 = f (КТ, НТ) = КТ*НТ , (2)

Тут: ТO1 = 1, якщо КТ і НТ рівні 1.

ТO1 = 0, якщо хоча б один або обидва рівні 0.

Область значень ТO1 Î [0;1], при КT Î [0;1] і НT Î [0;1]. У зв'язку з тим, що одержати НTº1 просто, маємо формулу: (3)

Очевидно, ТO1 значно менше 1, що припускає повну тестовність об'єкта 1-го типу.

Таким чином, замінюючи БСУ об'єктів 1-го типу відповідними БСУ з вмонтованим механізмом тестування, одержуємо повну керовність тестуванням об'єктів.

Переглядів: 604