Sinov shablonining ramkasi - Test Template Framework

The Sinov shablonlari ramkasi (TTF) a modelga asoslangan sinov Fil Stoks va Devid Karrington tomonidan taklif qilingan (MBT) doirasi (Qimmatli qog'ozlar va Carrington 1996 yil ) maqsadida dasturiy ta'minotni sinovdan o'tkazish. TTF yozuvlardan mustaqil bo'lishi kerak bo'lsa-da, asl taqdimot Z rasmiy yozuv. Bu yaqinlashib kelayotgan MBT doiralaridan biri birlik sinovi.

Kirish

TTF - bu o'ziga xos taklif modelga asoslangan sinov (MBT). Bu modellarni mavjud deb hisoblaydi Z xususiyatlari. Spetsifikatsiya doirasidagi har bir operatsiya ishlab chiqarish yoki ishlab chiqarish uchun tahlil qilinadi mavhum test holatlari. Ushbu tahlil quyidagi bosqichlardan iborat:

Aniqlang kirish maydoni Har bir operatsiyaning (IS).
Hosil qiling yaroqli kirish maydoni (VIS) dan IS har bir operatsiya.
Bir yoki bir nechtasini qo'llang sinov taktikasi,^[1] har biridan boshlab VIS, qurish uchun sinov daraxti har bir operatsiya uchun. Sinov daraxtlari chaqirilgan tugunlar bilan to'ldirilgan test darslari.
Qora olxo'ri natijada har biri daraxtlarni sinovdan o'tkazish.
Bir yoki bir nechtasini toping mavhum test holatlari har bir bargdan sinov daraxti.

TTFning asosiy afzalliklaridan biri shundaki, ushbu tushunchalarning barchasi spetsifikatsiyaning bir xil yozuvida, ya'ni Z belgisi. Demak, muhandis avlodni tahlil qilish uchun faqat bitta belgini bilishi kerak mavhum test holatlari.

Muhim tushunchalar

Ushbu bo'limda TTF tomonidan belgilangan asosiy tushunchalar tasvirlangan.

Kirish maydoni

Ruxsat bering ${ displaystyle Op}$ Z operatsiyasi bo'ling. Ruxsat bering ${ displaystyle x_ {1} nuqta x_ {n}}$ havola qilingan barcha kirish va (astarlanmagan) holat o'zgaruvchilari bo'ling ${ displaystyle Op}$ va ${ displaystyle T_ {1} nuqtalar T_ {n}}$ ularning tegishli turlari. The Kirish maydoni (IS) ning ${ displaystyle Op}$ , yozilgan ${ displaystyle IS_ {Op}}$ , tomonidan belgilangan Z sxema qutisi ${ displaystyle [x_ {1}: T_ {1} nuqta x_ {n}: T_ {n}]}$ .

To'g'ri kirish maydoni

Ruxsat bering ${ displaystyle Op}$ Z operatsiyasi bo'ling. Ruxsat bering ${ displaystyle { text {pre}} Op}$ bo'lishi old shart ning ${ displaystyle Op}$ . The Haqiqiy kirish maydoni (VIS) ning ${ displaystyle Op}$ , yozilgan ${ displaystyle VIS_ {Op}}$ , tomonidan belgilangan Z sxema qutisi ${ displaystyle [IS_ {Op} | { text {pre}} Op]}$ .

Sinov sinfi

Ruxsat bering ${ displaystyle Op}$ Z operatsiyasi bo'ling va ruxsat bering ${ displaystyle P}$ har qanday bo'ling predikat da belgilangan o'zgaruvchilardan biriga yoki bir nechtasiga bog'liq ${ displaystyle VIS_ {Op}}$ . Keyin, Z sxemasi qutisi ${ displaystyle [VIS_ {Op} | P]}$ a test sinfi ning ${ displaystyle Op}$ . Ushbu sxema ga teng ekanligini unutmang ${ displaystyle [IS_ {Op} | { text {pre}} Op land P]}$ . Ushbu kuzatishni, agar shunday deyish bilan umumlashtirish mumkin ${ displaystyle C_ {Op}}$ ning sinov sinfi ${ displaystyle Op}$ , keyin tomonidan belgilangan Z sxemasi qutisi ${ displaystyle [C_ {Op} | P]}$ ning sinov sinfidir ${ displaystyle Op}$ . Ushbu ta'rifga ko'ra, VIS shuningdek sinov sinfidir.

Agar ${ displaystyle C_ {Op}}$ ning sinov sinfi ${ displaystyle Op}$ , keyin predikat ${ displaystyle P}$ yilda ${ displaystyle C '_ {Op} == [C_ {Op} | P]}$ deb aytilgan xarakterli predikat ${ displaystyle C '_ {Op}}$ yoki ${ displaystyle C '_ {Op}}$ bu xarakterli tomonidan ${ displaystyle P}$ .

Sinov darslari test maqsadlari deb ham ataladi (Utting & Legeard 2007 yil ), test andozalari (Qimmatli qog'ozlar va Carrington 1996 yil ) va sinov xususiyatlari.

Sinov taktikasi

TTF kontekstida a sinov taktikasi^[1] uchun vosita bo'lim har qanday test sinfi har qanday operatsiya. Biroq, amalda qo'llaniladigan ba'zi bir sinov taktikalari har doim ham ba'zi bir sinov sinflarining bo'linmasini yaratib beravermaydi.

Dastlab TTF uchun taklif qilingan ba'zi bir taktikalar quyidagilar:

Ajratuvchi normal shakl (DNF). Ushbu taktikani qo'llash orqali operatsiya yozilgan Ajratuvchi normal shakl va test sinfi natijada bajariladigan operatsiyaning predikatida qancha muddat bo'lsa, shuncha test sinflariga bo'linadi. Har bir yangi test sinfiga qo'shilgan predikat bu old shart operatsiya predikatidagi atamalardan biri.
Standart bo'limlar (SP). Ushbu taktika ba'zi bir matematik operatorlarning oldindan aniqlangan qismidan foydalanadi (Qimmatli qog'ozlar 1993 yil ). Masalan, quyida keltirilgan shakl ifodalari uchun yaxshi bo'lim mavjud ${ displaystyle S spadesuit T}$ qayerda ${ displaystyle spadesuit}$ biri ${ displaystyle cup}$ , ${ displaystyle cap}$ va ${ displaystyle setminus}$ (qarang To'siq nazariyasi ).
${ displaystyle { begin {array} {l | l} S = emptyset, T = emptyset & S neq emptyset, T neq emptyset, S subset T hline S = emptyset, T neq emptyset & S neq emptyset, T neq emptyset, T subset S hline S neq emptyset, T = emptyset & S neq emptyset, T neq emptyset, T = S hline S neq emptyset, T neq emptyset, S cap T = emptyset & S neq emptyset, T neq emptyset, S cap T neq emptyset, lnot (S subseteq T) , lnot (T subseteq S), S neq T end {qator}}}$
Ko'rinib turibdiki, standart bo'limlar muhandis qancha sinovdan o'tkazmoqchi bo'lishiga qarab o'zgarishi mumkin.
Sub-domenni ko'paytirish (SDP). Ushbu taktika quyidagilarni o'z ichiga olgan iboralarga nisbatan qo'llaniladi.
1. Belgilangan standart bo'limlar mavjud bo'lgan ikki yoki undan ortiq matematik operatorlar yoki
2. Boshqa matematik operatorlar nuqtai nazaridan aniqlangan matematik operatorlar.
Ushbu holatlarning har qandayida, ifodada yoki kompleksning ta'rifida paydo bo'ladigan operatorlarning standart bo'limlari birlashtirilib, ifoda uchun bo'lim hosil bo'ladi. Agar taktika ikkinchi holatga tatbiq etilsa, natijada olingan bo'lim ushbu operator uchun standart bo'lim sifatida qaralishi mumkin. Qimmatbaho qog'ozlar va Carrington (Qimmatli qog'ozlar va Carrington 1996 yil ) ushbu holatni tasvirlab bering ${ displaystyle R oplus G = ({ text {dom}} G ntriangleleft R) cup G}$ , qayerda ${ displaystyle ntriangleleft}$ degani domenga qarshi cheklash uchun standart bo'limlarni berish orqali ${ displaystyle ntriangleleft}$ va ${ displaystyle cup}$ va bo'limni hisoblash uchun ularni targ'ib qilish ${ displaystyle oplus}$ .
Mutatsiyaning spetsifikatsiyasi (SM). Ushbu taktikaning birinchi bosqichi a hosil qilishdan iborat mutant Z operatsiyasining. Z operatsiyasining mutanti tushunchasi bo'yicha a ga o'xshaydi dastur mutanti, ya'ni bu operatsiyaning o'zgartirilgan versiyasidir. Modifikatsiyani muhandis amalga oshirishda xatolikni aniqlash maqsadida kiritadi. Mutant muhandis dasturchi amalga oshirgan taxminlarga muvofiq bo'lishi kerak. Keyinchalik, muhandis har ikkala spetsifikatsiyada har xil natijalar beradigan VISning pastki qismini hisoblashi kerak. Ushbu to'plamning predikati yangi test sinfini olish uchun ishlatiladi.

Shuningdek, ishlatilishi mumkin bo'lgan ba'zi boshqa taktikalar quyidagilar:

Kengaytmani o'rnatish (ISE). Bu shaklning predikatlariga taalluqlidir ${ displaystyle expr in {expr_ {1}, dots, expr_ {n} }}$ . Bunday holda, u hosil qiladi $n$ shaklning predikati kabi sinov sinflari ${ displaystyle expr = expr_ {i}}$ ularning har biriga qo'shiladi.
Majburiy test to'plami (MTS). Ushbu taktika doimiy qiymatlar to'plamini VIS o'zgaruvchisiga bog'laydi va to'plamda qancha element bo'lsa, shuncha test sinflarini hosil qiladi. Har bir test sinfi formaning predikati bilan tavsiflanadi ${ displaystyle var = val}$ qayerda $var$ o'zgaruvchining nomi va $val$ to'plam qiymatlaridan biridir.
Raqamli tizmalar (NR). Ushbu taktika faqat VIS ning o'zgaruvchilariga tegishli ${ displaystyle mathbb {Z}}$ (yoki uning "pastki turi" ${ displaystyle mathbb {N}}$ ). U o'zgaruvchini diapazonga bog'lash va o'zgaruvchini ba'zi chegaralar bilan taqqoslash orqali test sinflarini olishdan iborat. Rasmiy ravishda, ruxsat bering $n$ turdagi o'zgaruvchi bo'lishi ${ displaystyle mathbb {Z}}$ va ruxsat bering ${ displaystyle [i, j]}$ bog'liq oraliq bo'lishi. Keyinchalik, taktika quyidagi predikatlar bilan tavsiflangan test sinflarini yaratadi: ${ displaystyle n$ , ${ displaystyle n = i}$ , ${ displaystyle i$ , ${ displaystyle n = j}$ , ${ displaystyle n> j}$ .
Bepul turi (FT). Ushbu taktika bepul (sanab o'tilgan) turdagi elementlar kabi ko'plab sinov sinflarini yaratadi. Boshqacha qilib aytganda, agar model turni aniqlasa $COLOR :: = qizil | ko'k | yashil$ va ba'zi operatsiyalardan foydalaniladi $v$ turdagi $Rang$ Ushbu taktikani qo'llagan holda har bir test sinfi uchta yangi test sinfiga bo'linadi: bittasida $v$ teng $qizil$ , ikkinchisi $v$ teng $ko'k$ va uchinchi qaerda $v$ teng $yashil$ .
O'rnatilgan kengaytmaning to'g'ri to'plami (PSSE). Ushbu taktika ISE ning bir xil kontseptsiyasidan foydalanadi, ammo qo'shimchalarni o'rnatish uchun qo'llaniladi. PSSE operatsiyalarni, shu jumladan predikatlarni sinab ko'rishga yordam beradi ${ displaystyle expr subset {expr_ {1}, dots, expr_ {n} }}$ . PSSE qo'llanilganda u hosil bo'ladi ${ displaystyle 2 ^ {n} -1}$ shaklning predikati bo'lgan test darslari ${ displaystyle expr = A_ {i}}$ bilan ${ displaystyle i [1,2 ^ {n} -1]} da$ va ${ displaystyle A_ {i} in mathbb {P} {expr_ {1}, dots, expr_ {n} } setminus { {expr_ {1}, dots, expr_ {n} } }}$ , har bir sinfga qo'shiladi. ${ displaystyle {expr_ {1}, dots, expr_ {n} }}$ chiqarib tashlandi ${ displaystyle mathbb {P} {expr_ {1}, dots, expr_ {n} }}$ chunki $expr$ ning tegishli qismidir ${ displaystyle {expr_ {1}, dots, expr_ {n} }}$ .
Kengaytmaning to'plami (SSE). U PSSE bilan bir xil, ammo shaklning predikatlariga taalluqlidir ${ displaystyle expr subseteq {expr_ {1}, dots, expr_ {n} }}$ u holda u hosil qiladi ${ displaystyle 2 ^ {n}}$ hisobga olgan holda ${ displaystyle {expr_ {1}, dots, expr_ {n} }}$ .

Daraxtni sinash &

Sinov taktikasini VISga tatbiq etish ba'zi sinov sinflarini yaratadi. Agar ushbu test sinflarining ba'zilari qo'shimcha ravishda bir yoki bir nechta test taktikasini qo'llash orqali bo'linadigan bo'lsa, yangi test darslari to'plami olinadi. Ushbu jarayon shu paytgacha yaratilgan test sinflariga test taktikasini qo'llash orqali davom etishi mumkin. Ko'rinib turibdiki, ushbu jarayonning natijasini a shaklida chizish mumkin daraxt ildiz tuguni bo'lgan VIS bilan, uning farzandlari singari birinchi sinov taktikasi tomonidan yaratilgan test darslari va boshqalar. Bundan tashqari, aktsiyalar va Carrington (Qimmatli qog'ozlar va Carrington 1996 yil ) daraxtni qurish uchun Z belgisini quyidagi tarzda ishlatishni taklif eting.

${ displaystyle { begin {aligned} VIS & == [IS | P] TCL_ {T_ {1}} ^ {1} & == [VIS | P_ {T_ {1}} ^ {1}] & dots TCL_ {T_ {1}} ^ {n} & == [VIS | P_ {T_ {1}} ^ {n}] TCL_ {T_ {2}} ^ {1} & == [TCL_ {T_ {1}} ^ {i} | P_ {T_ {2}} ^ {1}] & dots TCL_ {T_ {2}} ^ {m} & == [TCL_ {T_ {1}} ^ {i} | P_ {T_ {2}} ^ {m}] & dots TCL_ {T_ {3}} ^ {1} & == [TCL_ {T_ {2}} ^ {j} | P_ {T_ {3}} ^ {1}] & dots TCL_ {T_ {3}} ^ {k} & == [TCL_ {T_ {2}} ^ {j} | P_ {T_ {3}} ^ {k}] & dots & dots & dots end {hizalanmış}}}$

Azizillo daraxtlarini kesish

Umuman olganda, test sinfining predikati - bu ikki yoki undan ortiq predikatning birikmasi. Ehtimol, ba'zi test darslari bo'sh bo'lishi mumkin, chunki ularning predmetlari qarama-qarshilikdir. Ushbu test sinflari sinov daraxtidan kesilishi kerak, chunki ular kirish qiymatlarining mumkin bo'lmagan kombinatsiyalarini anglatadi, ya'ni yo'q referat sinov ishi ulardan kelib chiqishi mumkin.

Referat sinov ishi

Abstrakt sinov ishi - bu a ga tegishli element test sinfi. TTF abstrakt test holatlari faqat barglaridan olinishi kerakligini belgilaydi sinov daraxti. Abstrakt test ishlarini Z sxemasi qutilari sifatida ham yozish mumkin. Ruxsat bering ${ displaystyle Op}$ biron bir operatsiya bo'lsin ${ displaystyle VIS_ {Op}}$ bo'lishi VIS ning ${ displaystyle Op}$ , ruxsat bering ${ displaystyle x_ {1}: T_ {1} nuqta x_ {n}: T_ {n}}$ da e'lon qilingan barcha o'zgaruvchilar bo'lsin ${ displaystyle VIS_ {Op}}$ , ruxsat bering ${ displaystyle C_ {Op}}$ bilan bog'langan sinov daraxtining (barg) sinov sinfi bo'ling ${ displaystyle Op}$ , ruxsat bering ${ displaystyle P_ {1} nuqtalar P_ {m}}$ bo'lishi xarakterli predikatlar har bir sinov sinfining ${ displaystyle C_ {Op}}$ qadar ${ displaystyle VIS_ {Op}}$ (quyidagilarga rioya qilish orqali) boladan ota-onagacha bo'lgan qirralar ) va ruxsat bering ${ displaystyle v_ {1}: T_ {1} nuqta v_ {n}: T_ {n}}$ bo'lishi ${ displaystyle n}$ qondiradigan doimiy qiymatlar ${ displaystyle P_ {1} land dots land P_ {m}}$ . Keyin, ning mavhum sinov ishi ${ displaystyle C_ {Op}}$ tomonidan belgilangan Z sxema qutisi ${ displaystyle [C_ {Op} | x_ {1} = v_ {1} land dots land x_ {n} = v_ {n}]}$ .

Shuningdek qarang

Adabiyotlar

Qimmatli qog'ozlar, Fil; Carrington, Devid (1996), "Spetsifikatsiyaga asoslangan sinov uchun asos", Dasturiy injiniring bo'yicha IEEE operatsiyalari, 22 (11): 777–793, doi:10.1109/32.553698.
Utting, Mark; Legeard, Bruno (2007), Amaliy modelga asoslangan sinov: vositalar yondashuvi (1-nashr), Morgan Kaufmann, ISBN 0-12-372501-1.
Qimmatli qog'ozlar, Fil (1993), Dasturiy ta'minotni sinovdan o'tkazishda rasmiy usullarni qo'llash, Kvinslend universiteti, kompyuter fanlari bo'limi, doktorlik dissertatsiyasi.

Izohlar

^ ^a ^b Qimmatli qog'ozlar va Carrington bu atamani ishlatadi sinov strategiyalari ichida (Qimmatli qog'ozlar va Carrington 1996 yil ).

[testing_strategy-1] Qimmatli qog'ozlar va Carrington bu atamani ishlatadi sinov strategiyalari ichida (Qimmatli qog'ozlar va Carrington 1996 yil ).

[1]