Інтерпретаційна примітка — Застосовність

Статус: Інтерпретаційна примітка (без тверджень)

Призначення: Ця примітка пояснює концептуальну відмінність між застосовністю та коректністю поведінки. Вона не визначає алгоритмів, системної логіки чи операційних процедур.


Основна відмінність

Застосовність — це не коректність поведінки.

Система може поводитися коректно перебуваючи в недійсному операційному режимі.

Застосовність стосується легітимності, а не коректності.


Пояснення

Коректність поведінки описує чи система виконує свої визначені функції як очікується. Система що виробляє правильні результати, дотримується своїх правил та відповідає своїм критеріям продуктивності є поведінково коректною.

Застосовність описує чи умови за яких система працює залишаються в межах її визначених кордонів. Система може функціонувати коректно у кожному спостережуваному аспекті і все ще працювати поза умовами за яких її поведінка вважається легітимною.


Наслідки для спостереження

При спостереженні за системою відсутність поведінкових помилок не підтверджує що система працює в межах її межі застосовності.

Коректна поведінка є необхідною але не достатньою для операційної легітимності.


Що ця примітка не робить

Ця примітка не:


Цілісність без тверджень

Ця примітка є без тверджень. Вона описує лише концептуальну відмінність.


Кінець Інтерпретаційної примітки — Застосовність