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