МАРК РЕГНЕРУС ДОСЛІДЖЕННЯ: Наскільки відрізняються діти, які виросли в одностатевих союзах
РЕЗОЛЮЦІЯ: Громадського обговорення навчальної програми статевого виховання ЧОМУ ФОНД ОЛЕНИ ПІНЧУК І МОЗ УКРАЇНИ ПРОПАГУЮТЬ "СЕКСУАЛЬНІ УРОКИ" ЕКЗИСТЕНЦІЙНО-ПСИХОЛОГІЧНІ ОСНОВИ ПОРУШЕННЯ СТАТЕВОЇ ІДЕНТИЧНОСТІ ПІДЛІТКІВ Батьківський, громадянський рух в Україні закликає МОН зупинити тотальну сексуалізацію дітей і підлітків Відкрите звернення Міністру освіти й науки України - Гриневич Лілії Михайлівні Представництво українського жіноцтва в ООН: низький рівень культури спілкування в соціальних мережах Гендерна антидискримінаційна експертиза може зробити нас моральними рабами ЛІВИЙ МАРКСИЗМ У НОВИХ ПІДРУЧНИКАХ ДЛЯ ШКОЛЯРІВ ВІДКРИТА ЗАЯВА на підтримку позиції Ганни Турчинової та права кожної людини на свободу думки, світогляду та вираження поглядів Контакти
Тлумачний словник |
|
|||||||
Метрики тестування об'єктів 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-го типу відповідними БСУ з вмонтованим механізмом тестування, одержуємо повну керовність тестуванням об'єктів.
|
||||||||
|