Студопедия
Новини освіти і науки:
МАРК РЕГНЕРУС ДОСЛІДЖЕННЯ: Наскільки відрізняються діти, які виросли в одностатевих союзах


РЕЗОЛЮЦІЯ: Громадського обговорення навчальної програми статевого виховання


ЧОМУ ФОНД ОЛЕНИ ПІНЧУК І МОЗ УКРАЇНИ ПРОПАГУЮТЬ "СЕКСУАЛЬНІ УРОКИ"


ЕКЗИСТЕНЦІЙНО-ПСИХОЛОГІЧНІ ОСНОВИ ПОРУШЕННЯ СТАТЕВОЇ ІДЕНТИЧНОСТІ ПІДЛІТКІВ


Батьківський, громадянський рух в Україні закликає МОН зупинити тотальну сексуалізацію дітей і підлітків


Відкрите звернення Міністру освіти й науки України - Гриневич Лілії Михайлівні


Представництво українського жіноцтва в ООН: низький рівень культури спілкування в соціальних мережах


Гендерна антидискримінаційна експертиза може зробити нас моральними рабами


ЛІВИЙ МАРКСИЗМ У НОВИХ ПІДРУЧНИКАХ ДЛЯ ШКОЛЯРІВ


ВІДКРИТА ЗАЯВА на підтримку позиції Ганни Турчинової та права кожної людини на свободу думки, світогляду та вираження поглядів



Метрики тестування об'єктів 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

<== попередня сторінка | наступна сторінка ==>
Тестування об'єктів 1-го типу | Тестування об'єктів 2-го типу

Не знайшли потрібну інформацію? Скористайтесь пошуком google:

  

© studopedia.com.ua При використанні або копіюванні матеріалів пряме посилання на сайт обов'язкове.


Генерація сторінки за: 0.003 сек.