Реферат: Методи оцінки та засоби підвищення надійності програмного забезпечення

Нехай Cі позначає компонент Системи, і=1.. n, де n - кількість компонентів.

І(Cі) - Інтерфейс (Іnterface) компонента Cі.

sj,k - сервіс, оголошений у Ck,

j=1.. mk, де mk -кількість сервісів, оголошених у Ck критерій покриття викликів операцій має вигляд:

sj,kI(Ck), i, i=1.. n, ik, якщо можливо здійснити виклик sj,k з Cі, то тоді такий виклик необхідно протестувати хоча б один раз.

Для врахування контексту даних було введено критерій покриття активізації інтерфейсу: Cі- компонент, CiSystem, i=1.. n, де n - кількість компонентів

діаграми станів компонента Ci - State-Chart Diagram SD(Ci),

t – перехід (Transition), t= (Source, Target, Trigger, Effect, Guard),

якщо t SD(Ci), та Effect i, то t повинно бути протестовано хоча б раз під час інтеграційного тестування.

У цьому розділі було введено метрику, яка характеризує співвідношення між викликами та активізаціями:

СDj – діаграма взаємодії (collaboration diagram); CDjSystem; j=1..J, де J – кількість діаграм взаємодії в системі.

Sl,j – послідовність повідомлень; Sl,j СDj; i=1..nj, де nj – кількість послідовностей в діаграмі взаємодії СDj

Sl,j={mk}l,j, k=1..rl,j, rl,j - кількість повідомлень в послідовності Sl,j

mk – повідомлення в послідовності;

Ci – компонент; ClSystem; l=1..n, де n – кількість компонентів в системі

SD (Ci) – діаграма станів (state-chart diagram of component Ci)

tg,i – перехід (transition), tg,i SD (Ci), g=1..ni; ni – кількість переходів в діаграмі станів SD(Ci)

mk - повідомлення між компонентами Ci1 та Ci2.

mk tg1,i1 Ci1 | Effect(tg1,i1)=Name(mk)

tg2,i2 Ci2 | Trigger(tg2,i2)=Name(mk).

Тоді mk може бути представлено як: mk = ( tg1,i1, tg2,i2)k (*)

Позначимо:

Te(mk)={ tg1,i1| Effect(tg1,i1)=Name(mk) }

Tt(mk)={ tg2,i2| Trigger(tg2,i2)=Name(mk) }

Визначимо |T| як кількість елементів у множині T

|Te(mk)| ;|Tt(mk)|t

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

Критерії, наведені вище, гарантують, що кожен різновид взаємодії між компонентами (активізації, виклики і т.д.) перевірено принаймні один раз. Однак, функціонування компонентно-базованого програмного забезпечення передбачає взаємодію сукупності елементів, причому порядок взаємодії може бути важливим. Тому були розроблені критерії для послідовностей.

Для того, щоб обробити інформацію про порядок взаємодії було введено поняття відношення залежності: активізація Іnv2 пов'язана відношенням залежності з активізацією Іnv1, якщо існує шлях (executіon path), при якому активізація Іnv1 викликає активізацію Іnv2. Будемо говорити, що Іnv2 пов'язане з Іnv1 послідовністю активізацій, яка реалізує відношення залежності між цими двома активізаціями.