Тәсілі тестілеу базалық жолдары. Тестілеу базалық жолдары – бұл жолы, ол қағидатына негізделген "ақ жәшік". Автор бұл тәсілді, оның Ішінде МакКейб (1976).
Тәсілі тестілеу базалық жолдары мүмкіндік береді:
Бағасын алу кешенді бағдарламаның күрделілігі.
Пайдалану бұл бағалауды анықтау үшін қажетті тест нұсқалары.
Тест нұсқалары әзірленеді тексеру үшін базалық көптеген жолдары (маршруттар) болып табылады. Олар кепілдік береді бір рет орындау әрбір оператордың бағдарламаны тестілеу кезінде.
Ағындық-бағандардың.
Ұсыну үшін бағдарлама пайдаланылады ағындық-бағандардың. Перечислим оның ерекшеліктері.
Баған құрылады бейнеленуін басқарушы бағдарлама құрылымы. Барысында бейнелеу жабылатын жақшалар шартты операторлар мен операторлар цикл ретінде қарастырылады, жекелеген (жалған) операторлар.
Тораптар (шыңдары) ағынды баған-сәйкес келеді желілік учаскелері бағдарламасын қамтиды бір немесе бірнеше операторлар бағдарламасы.
Доғаның ағынды бағаны бейнелейді ағыны басқару бағдарламасы (басқаруды беру операторлары арасындағы). Доға – бұл бағытталған қабырға.
Оның операторлық және предикатные торабы. Бірі операторного торабының шығады доғасы, ал предикатного – екі доғаның.
Предикатные түйіндер сәйкес келеді қарапайым шарты болып табылады. Құрама шарт-бағдарламаны бейнеленеді бірнеше предикатных тораптар. Құрамдас деп аталады шарты, онда пайдаланылады бір немесе бірнеше булевых операциялар.
Тұйық облысында құрылған доғаларымен және тораптары деп атайды өңірлер.
Қоршаған орта-бағандардың сәрсенбі ретінде қарастырылады қосымша аймақ.
Цикломатическая күрделілігі.
Цикломатическая күрделілігі – метрика бағдарламалық қамтамасыз ету сандық бағалау логикалық күрделілік бағдарламасы. Әдісін тестілеу базалық жолдары цикломатическая күрделілігі анықтайды:
Саны тәуелсіз жолдарын базалық көптеген бағдарламалар.
Жоғарғы санын бағалауды тест кепілдік беретін бір реттік орындау операторлары.
Тәуелсіз деп аталады кез келген жолы, ол енгізеді жаңа операторы өңдеу немесе жаңа шарт. Терминінде ағынды бағаны тәуелсіз жолы болуы тиіс дугу төлесе, бұрын белгілі жолдары.
Барлық тәуелсіз жолында баған құрайды базалық көптеген.
Қасиеттері базалық жиындар:
орындау әрбір шарттары бойынша True-тармағының және False-бұтақтары.
Қуаты базалық жиындар тең цикломатической алғанда ағымды баған.
Мәні екінші қасиеттері қиын – ол априорную санын бағалауды тәуелсіз жолдарын, ол мағынасы іздеу бағанында.
Цикломатическая күрделілігі формула бірі үш тәсілдері:
Цикломатическая күрделілігі тең саны өңірлер ағымды баған.
Цикломатическая күрделілігі формула бойынша анықталады
V(G)=E – N + 2 E – саны доғалары, N – саны түйіндерін ағымды баған.
Цикломатическая күрделілігі бойынша қалыптастырылады білдіруге V(G)=p+1, мұнда p - саны предикатных тораптарды потоковом бағанда G.
Қадамдар тәсілі тестілеу базалық жолдары.
Мәтін негізінде бағдарламаның қалыптасады ағындық бағаннан тұрады:
нөмірленеді операторлары мәтін.
жүргізіледі көрсету нөмірленген мәтін бағдарламаның тораптар мен төбесінің ағымды баған.
Анықталады цикломатическая күрделілігі, ағынды бағаны бойынша әрбір үш формулалар.
Анықталады базалық көптеген тәуелсіз желілік жолдар.
Дайындалады тест нұсқалары, бастамашыл орындау әрбір жолдары.
Әрбір тестілік нұсқасын қалыптастырылады және мынадай түрде:
Бастапқы деректер (ИД):
Күтілетін нәтижелер (СС.РЕЗ.):
Бастапқы деректер таңдалуы тиіс, сондықтан предикатные шыңдары қамтамасыз ететін қажетті ауыстырып – қосуды ғана операторларының санамаланған нақты жолдары, әрі қажетті тәртібі.
Нақты нәтижелер әр тест нұсқасы салыстырылады күтілетін нәтижелерімен. Орындағаннан кейін, барлық тест нұсқаларына кепілдік береді, бұл барлық операторлары бағдарламаның орындалуы кем дегенде бір рет.
Айта кету керек, кейбір тәуелсіз жолында тексерілуі мүмкін оқшау. Мұндай жолдары тексерілуі тиіс тестілеу кезінде басқа жолдары (бөлігі ретінде басқа тест нұсқа).