Тестирлөө программалык камсыздоо ыкмалары жана аларды салыштыруу. "Бокс" менен "кара куту" сыноо тестирлөө ыкмасы жана ыкмасы

Testing программалык (SW) чечүү зарыл кодексине кемчиликтер, кемчиликтерди жана каталарды аныктоо. Ал ошондой эле талдоонун жардамы менен программалык ишмердүүлүгүн жана туура баа берүү деп аныктама берсе болот. программалык арыздарды бириктирүү жана тестирлөөнүн негизги методдору жана сапаттуу өзгөчөлүктөрү, дизайн жана коддоо, ишенимдүүлүк баалоо, текшерүү жана текшерүүнү текшерүү үчүн камсыз кылат.

ыкмалары

программалык тестирлөөнүн негизги максаты - кылдат көзөмөлгө шарттарда системалуу мүчүлүштүктөрдү колдонмолор аркылуу программалык системасынын сапатын ырастоо алардын толуктугун Кыргызпатент аныктайт жана тактыгын, ошондой эле жашыруун каталарды аныктоо.

текшерүү ыкмалары (тест) программалары Статикалык жана динамикалык бөлүүгө болот.

мурдагы расмий эмес, мониторинг жүргүзүү жана техникалык анализ, текшерүү, кадам талдоо, аудит тарабынан кадам, ошондой эле статистикалык маалымат агымы талдоо жана башкаруу боюнча маселелерди киргизүү.

Динамикалык ыкмалары болуп төмөнкүлөр саналат:

1. Тестирлөөнүн ак куту методу. Бул программа боюнча ички логикасы жана түзүмү боюнча толук изилдөө болуп саналат. Бул булак коду билим зарыл.
2. Тестирлөөнүн кара куту методу. Бул ыкма колдонуу ички иштер тууралуу ар кандай билимди талап кылбайт. Биз системасы эмес, байланышкан же анын ички логикалык структурасын бир нече менен байланышкан гана негизги жактарын карап көрөлү.
3. Gray куту методу. Бул эки тутум бириктирилген. өтүнмөнүн ички иштеши боюнча чектелген маалыматты бар Debugging системасынын негизги аспекттери жөнүндө билим менен айкалышкан.

ачык-айкын сыноо

ак куту методу тест ариптерин пайдалануу менен жол-жоболук үлгүсү структурасын башкаруу. Бул ыкма программалык ички иштер бир бөлүгүн талдоо менен, мисалы, начар башкаруу коду система катары ишке ашыруу каталар, билүүгө мүмкүндүк берет. Бул сыноо методдору жуурулушуна, модулдук система баскычтарында колдонулат. сыноочу булак коду алуу мүмкүнчүлүгүнө ээ болушу керек жана бирдигине туура эмес жүрүш-чыгып, аны колдонушат.

ак-бокс боюнча программаларды текшерүү төмөнкүдөй артыкчылыктарга ээ:

• Бул ашыкча сызыктар алып салуу аркылуу жашыруун код бир ката таап алууга мүмкүнчүлүк берет;
• Каптал таасирин пайдалануу;
• максималдуу камтуу сыноо скрипт жазуу аркылуу ишке ашат.

кемчиликтери:

• чебер мүчүлүштүктөрдү талап жогорку наркы тартиби;
• мүмкүн болгон бардык жашыруун каталардын кылдат текшерүү өтө татаал болгондуктан, көптөгөн жолдор менен изилденбеген бойдон калууда;
• кодексинин кээ бир көз жаздымында берилет.

Тестирлөөнүн ак куту методу кээде булагы кодунун негизинде ачык-айкын жана ачык кутучаны сынап, структуралык, логикалык тестирлөө менен аталат, жана логика архитектурасына жатат.

негизги түрлөрү:

; Структуралык стратегия программа, башкаруу логикасы моделин колдонуу жана аз комплекстүү бир дагы жөнөкөй жолдорун тандап катары - 1) агымы контролдук текшерүү

2) бир бутакты дагы бир биргелешкен чечим ар бир башкаруу оператор, ар бир жолду (чыныгы же жалган) мүчүлүштүктөрдү изилдөө максатында иштелип чыккан;

3) аткаруу жолдордун базалык топтомун жалгыз логикалуу комплекстүү чара жол долбоорун түзүү үчүн сыноочу берет негизги жолдон, сыноо;

4) маалымат толкунун текшерүү - түшүндүрмөлөрүндө менен изилдөө агымы башкаруу стратегиясын жарнамасы жөнүндөгү маалыматты эсептөө жана программалык өзгөрмө пайдаланууга;

5) тестирлөөнүн айлануусу - толугу менен үзгүлтүксүз берүү туура пайдаланууга багытталган.

жүрүм-турумдук мүчүлүштүктөрдү

Тестирлөөнүн кара куту "кара жашик" деп программалык мамиле - программа, ички иштер тууралуу маалымат санап эмес, ошондой эле системанын бир гана негизги аспектилерин текшерилет. Бул учурда, сыноочу булагы кодексине жете албаган система архитектураны билиши керек.

Бул ыкманын артыкчылыктары:

• чоң коду сегменти үчүн натыйжалуулугу;
• кабылдоо Сыноочу жана азайтуу;
• колдонуучунун көз карашы ачык-айкын иштеп келечеги ажыратылган (программист жана сыноочу бири-бирине көз каранды эмес);
• Сыноонун тез түзүү.

Testing программалык кара куту методу төмөнкү, кемчиликтер да бар:

• Чынында эле чектелген камтуу, натыйжада сыноо учурларда тандалган катар жүзөгө ашырган;
• тест скрипттерин иштеп чыгуу кыйын так көрсөтүү жоктугу;
• натыйжалуулугу төмөн.

Бул технологиянын башка аттары - жүрүм-турум, ачык-айкын эмес, иш тестирлөө жана жабык кутунун мүчүлүштүктөрдү ыкмасы.

Бул категория төмөнкү программалык тестирлөө ыкмаларын камтышы мүмкүн:

1) киргизүү программалык модулу маалыматтар өзүнчө бөлүктөргө бөлүнгөн эле текшерүү маалыматтардын жыйындысын азайтышы мүмкүн бөлүп барабар;

2) чек балл талдоо чек же өтө чектүү маанилеринен тактоо басым - дегенде, максималдуу жана ката мүнөздүү баалуулуктар;

3) майдалатуу - автоматтык же жарым-жартылай автоматтык режимде каталар же бурмаланган маалыматтарды poluiskazhennyh киргизүү менен издөөнү ишке ашыруу үчүн пайдалануу;

4) себептер эсеби - ыкмаларын иш-аракет жана анын себептери менен диаграммалары жана өз ара мамилелерин ачык аныктоочу түзүүгө негизделет: ким, тануу, логикалык ЖЕ жана логикалык AND - Себеп жана максат ортосундагы мамилени билдирип, төрт негизги белгилер;

5) ортогоналдуу Бүтүн текшерүү толук изилдөө мүмкүнчүлүгүн ашык салыштырмалуу аз киргизүү аянты менен маселелерди чечүүгө;

6) бардык жуптарды сыноо - тест баалуулуктардын жыйындысы киргизүү параметрлери ар бир жуп бардык мүмкүн болгон бинардык айкалыштары түзөт ыкмасын;

7) мүчүлүштүктөрдү мамлекеттик өтүү - машинаны статусун текшерүү, ошондой эле чабыттоо үчүн пайдалуу ыкма GUI пайдалануучу.

Тестирлөөнүн кара куту методу: мисалы,

кара-талаа техникасы өзгөчөлүктөрү, документтерди, ошондой эле программа иштей же системанын баяндардын негизделген. Андан тышкары, программалык күтүлгөн жүрүм өкүлү, моделдерин (расмий жана расмий эмес) пайдалана аласыз.

Эреже катары, бул ыкма да тиерик мүчүлүштүктөрдү үчүн пайдаланылат жана маалымат чогултуу жана жыйынтыктарды киргизүү жолу менен колдонуу менен өз ара талап - отчетторду же басылып чыккан, экрандан.

сыноочу, ошондуктан, өчүргүчтөрүн, топчу же башка сызууларды боюнча иш кылуу менен киргизүү боюнча программалар менен өз ара байланышта иштейт. киргизүү маалыматтарды тандоо, иш башкаруу же кезек күтүү тартиби төмөнкү мисалда көрсөтүлгөндөй, сөз айкаштарын зор жалпы санынын алып келиши мүмкүн.

Канча тесттер 4 терезелери желеги жана бир жолку талаа үчүн бардык мүмкүн болгон баалуулуктарды текшерүү үчүн эмне кылышыбыз керек, секунд менен калтырган? Биринчи көрүү эсептөө боюнча жөнөкөй: 4 талаалары эки мүмкүн болгон мамлекеттер менен - 24 = 16 00 99 чейин мүмкүн болгон кызмат орундарынын санына көбөйтүлгөн болушу керек, б.а. 1600 мүмкүн тесттер.

Биз эки чекиттүү талаа да, ал эки тамга кызмат орундарынын турат жана Ошентип, ж.б., тамга, жана өзгөчө белгилерине, боштуктарды камтышы мүмкүн, башкача айтканда, бир боштук бар экенин аныктоо мүмкүн болсо ....: Бирок бул эсептөө туура эмес системасы алар аткара турган болсо, 68.719.476 736. жалпы берет желектери 16 айкаштарын көбөйтүлгөн турган пайда 4294967296 тест учурларда 16-бит компьютер, буруп, 216 = 65536 ар бир кызмат орду боюнча бири болуп саналат 1 секундасына сыноо, жалпы салгыыта боюнча olzhitelnost тестирлөө 2 177,5 жыл болот. 32 же 64 биттик системалары үчүн узактыгы да көп.

Ошондуктан алгылыктуу деъгээлде бул мөөнөттү кыскартуу зарылчылыгы бар. Ошентип, ыкмалары сыноо көлөмүн кыскартуу жок сыноо учурлардын санын азайтуу үчүн колдонулушу керек.

бирдей бөлүү

Бирдей бөлүү ал киргизүү же чыгаруу баалуулуктар болобу, мүнөзү, сан, ж.б .. Бул бардык маалыматтар ошол Негизи бөлүп бири бирдей эле мамиле кылынат негизделген жана программалык ушул бардык өзгөрмөлөр үчүн колдонулуучу жөнөкөй ыкмасы болуп саналат Ошол эле көрсөтмө.

тест учурунда, ар бир конкреттүү бирдей бөлүштүрүүнүн бир өкүлү тандалган. Бул системалуу буйруктарына жана милдеттерди камтуу жоготуу мүмкүн тест учурлардын санын азайтууга мүмкүнчүлүк берет.

Бул бөлүү дагы бир натыйжасы ар кандай өзгөрүүлөр жана сыноо учурларда байланыштуу төмөндөтүүнүн ортосунда комбинатордук жарылуу кыскартуу болуп саналат.

Мисалы, (1 / х) ^1/2 үч маалыматтар тизмектерин, үч барабар бөлүү аркылуу:

1. Бардык оң саны бирдей мамиле кылынат жана туура натыйжаларды бериши керек.

2. Бардык терс сандар эле натыйжа менен ушундай жол менен чечүүгө болот. терс тамыры ойдон чыгарылган эмес, анткени, бул туура эмес.

3. Zero өзүнчө катышкан жана "нөлгө бөлүнүп," ката берүүгө болот. Бул бир маанидеги бир бөлүгү болуп саналат.

Ошентип, биз бир мааниге чейин кыскарган, алардын бири-биринен айырмалуу үч башка бөлүмдөрүн карагыла. ишенимдүү натыйжа берет бир "туура" бөлүмү бар, жана туура жыйынтыгы менен эки "туура эмес".

чек балл талдоо

барабар бөлүү чек иштетүү күткөндөн башкача болот. чектүү маанилеринен изилдөө - Бул жерлерде программалык турумдарын талдоо белгилүү болгон жакшы ыкмасы. Бул ыкма, мисалы, каталарды аныктоо үчүн мүмкүнчүлүк берет:

• мамиледеги операторлорунун туура эмес колдонуу (<,>, =, ≠, ≥, ≤);
• бир ката;
• айлануу жана сапарлардын проблемалар,
• маалыматты сактоо үчүн колдонулган өзгөрмөлөр туура эмес түрлөрү жана өлчөмү;
• маалымат түрлөрү жана өзгөрүүлөр менен байланышкан жасалма чектөөлөр.

тунук тестирлөө

ак куту методу сыноо камтуу, сен системасынын бардык оор денгээлде ак-кара жана техникасы айкаштыруу аркылуу таяна алабыз жогорулатат.

Бул ыкманы колдонуу менен, сыноо баалуулуктарды өнүктүрүү үчүн сыноочу ички маалымат структуралар жана алгоритмдер билимге ээ болушу керек. ак-талаа шерүүнүн ыкмаларын мисалдары төмөнкүлөр болуп саналат:

• архитектуралык модели;
• Бирдиктүү моделдештирүү тили (UML);
• мамлекеттин үлгүсү (чектүү мамлекеттик машина).

тесттик тапшырмаларды иштеп чыгуу үчүн боз кутунун ыкмасы ак инженердик коддору модулдарды изилдеп, чыныгы сыноо кара технологиялык программалардын сызууларды боюнча жүзөгө ашырылат.

Бул сыноо методдору төмөнкүдөй артыкчылыктарга ээ:

• артыкчылыктары боюнча техниги ак жана кара кутучалар айкалыштыруу;
• Сыноочу иштей жана иш тактоо жана булак коду жок негизделген;
• мүчүлүштүктөрдү улуу тесттик алат;
• текшерүү колдонуучуга эмес, программанын дизайнер көз карашынан жүзөгө ашырылат;
• колдонуучунун сыноо өнүктүрүүгө түзүү;
• калыстыгы.

кемчиликтери:

• булак коду жок болгондуктан, анткени тестирлөө камтуу чектелген;
• бөлүштүрүлгөн колдонмолордун кемчиликтерин татаалдыгы;
• ар кандай жолдор менен, изилденбеген бойдон калууда;
• программалык камсыздоону иштеп сыноо ишке болсо, анда мындан ары иликтөө өтө көп болушу мүмкүн.

боз талаа ыкмалары дагы бир аты - тунук мүчүлүштүктөрдү.

Бул категория сыноо сыяктуу ыкмаларды камтыйт:

1) ортогоналдуу Array - мүмкүн болгон бардык биригип топторду пайдалануу;

2) программалык маалыматтардын абалын пайдаланып, мүчүлүштүктөрдү;

3) ЭЭМ үчүн программага жаңы өзгөртүүлөрдү жүргүзүлгөн Эскичил текшерүү;

4) шаблон жакшы колдонуу архитектурасы жана анализ сыноо.

программалык сыноо ыкмалары менен салыштыруу

динамикалык ыкмаларды колдонуу иштеп чыгуу, ишке ашыруу жана жүзөгө ашырылышы керек сыноолордун санынын комбинатордук жарылууга алып келет. Ар бир ыкма эске өз мүмкүнчүлүктөрүнүн чектелүү экенин эске даражада прагматикалык түрдө колдонулууга тийиш.

жалгыз чыныгы ыкмасы бар, бир гана конкреттүү жагдайга ылайыктуу экенин да жок эмес. Структуралык инженердик бизге пайдасыз же зыяндуу код алууга жол берет, бирок алар татаал жана ири программаларды колдонууга мүмкүн болбогон. талаптарга негизделген ыкмалары - жок кодду аныктоо алат эле, бирок, алар бөлүп аныктоо мүмкүн эмес. Кээ бир ыкмалары башкаларга караганда бир сыноо деңгээл, ката түрү же контекстте үчүн ылайыктуу болуп саналат.

Төмөндө үч динамикалык сыноо ыкмалары ортосундагы негизги айырмачылыктар - программалык мүчүлүштүктөрдү үч түрү ортосунда салыштыруу үстөл берилет.

аспект	кара куту методу	Gray куту методу	Ак-куту методу
программанын курамы жөнүндө маалымат болушу	гана негизги жактарын карап	Программанын ички түзүлүшү жөнүндө билимибиз чектелүү	булак коду Толук мүмкүндүк алуу
Программанын бытырандылык Билими	төмөн	борбордук	бийик
Ким мүчүлүштүктөрдү пайда?	колдонуучулар, сыноочуларды жана иштеп End	Жок пайдалануучулар, иштеп жана debuggers	Иштеп чыгуучулар жана сыноочулар
база	Testing тышкы Өзгөчө кырдаалдар боюнча негизделген.	Схемалар базасы, маалымат агымы схемалар, алгоритм жана архитектура ички билимдерди мамлекеттик	Ички түзмөк толук билет
камтуу даражасы	Less тараптуу жана убакыттын аз талап кылат	борбордук	Мүмкүн болгон ар тараптуу. Убакыт-талап
Маалыматтар жана ички чек аралары	бир гана ката кетирүү жана сыноо боюнча мүчүлүштүктөрдү	алар белгилүү болсо, маалымат тармагын жана ички чек текшерүүгө болот	мыкты сыноо маалыматтар улуттук жана ички чек аралары
Жарактуулугу сыноо алгоритми	жок	жок	ооба

автоматизация

программалык сыноо автоматтык ыкмалары көп карабастан техникалык чөйрөнүн жана контекстин, текшерүү жол-жобосун жөнөкөйлөтүү жатат. Алар эки учурларда колдонулат:

1) Сыноочу маанилүү упай топтоо үчүн убакыт бошотуу үчүн бир нече киши катар мындай билэ салыштырганда катары чарчашы кайталануучу же кылдат милдеттерди автоматташтыруу үчүн;

2) экинчи биринчелик менен ченесе болот аткаруу текшерүү же талдоо жооп убакта эле жонокой адамдар тарабынан жүргүзүлүшү мүмкүн эмес салууну же милдеттерди жүзөгө ашыруу үчүн.

Test аспаптар ар кандай жолдор менен жашыруун болот. кийинки бөлүмү колдоо милдеттердин негизинде:

• тест Долбоорду башкаруу колдоону камтыйт башкаруу, котормолорун, тарам, тобокелдиктерди талдоо, тест салууну, катачылыктарды, кемчиликтерди жана отчеттук куралдары;
• талаптар башкаруу, сактоо талаптарын жана шарттарын камтыйт, толуктугу жана түшүнбөстүккө, алардын артыкчылыктуу жана ар бир сыноо көзөмөлдөө үчүн текшерүү;
• Жазуу кодексинин нормаларына ылайык сакталышын камсыз кылуу кемчиликтерди аныктоо үчүн байланыш булагы документтерди жана коду статикалык талдоо көз текшерүү жана эрежелерин, сын карап чыгуу жана статикалык анализи, анын ичинде агымы мониторинг жана милдеттерди, эсепке алуу жана сын-пикирлерди сактоо, кемчилик табуу жана пландаштырылган түзөтүүлөр башкаруу байланышы, курулуштарды жана көз карандылыгынын талдоо, коду жана архитектура метр параметрлерди эсептөө. Мындан тышкары, түзүүчүлөр, анализаторлор, генераторлор жана кайчылаш шилтемелер мамилелерин пайдаланууга;
• моделдөө бизнес-жүрүм-туруму үчүн куралдар камтылган моделдөө жана моделдерин иштетүү;
• сыноо өнүктүрүү шарттарын жана тобокелдиктерди башкаруу, статистикалык анализ эрежелеринин негизинде муунду шарттарды жана колдонуучу моделдер жана кодексинин негизинде күтүлгөн маалыматтарды, документ түзүү же өзгөртүү жана берилиштер базаларын, кабарлашуу, маалымат үчүн башкаруу текшерүүнү камсыз кылат;
• бир колдонуучунун орнотуусу аркылуу маалыматтарды киргизүү менен сын көз, API, буйрук ийгиликтүү жана ийгиликсиз сыноолорду экендигин аныктоого жардам берүү үчүн колдонуп салыштыргычтардан сызык;
• колдоо мүчүлүштүктөрдү чөйрө сен жок аппараттык же программалык алмаштырууга мүмкүндүк берет, анын ичинде т ч. келин жабдууларды чечкиндүү чыгаруучу кичи негизделген., терминалдык Emulators, уюлдук жана тармактык жабдууларды, тилине, иштеп жаткан системасын жана салыштыруу үчүн айлана-чөйрөнү аппараттык комплектелгенге айдоочу ордуна, жасалма модулдар ж.б., ошондой эле аспаптар OS басып алып, аларды өзгөртүү үчүн CPU машыктыруучу чектөө сурайт, RAM, ROM же тармак .;
• .. маалыматтарды салыштыруу, маалыматтар базасын, сыноо күтүлгөн натыйжаларды учурунда жана андан кийин толугу менен текшерип, анын ичинде динамикалуу жана партия салыштыруу, Automatic "сөздөрдү";
• өлчөө, талдоо жана системасы үчүн ресурстарды отчетту текшерүү үчүн өсүшү реалдуу жагдайда эстутум агып жана туура эмес, анын башкаруу жүрүм окшоштурулган жүк алып келүүчү жүк арыздар боюнча системасынын эсептөө машиналары, маалыматтар базалары, тармактары же ёзън- локалдаштыруу үчүн өлчөө каптаган;
• коопсуздук;
• аткаруу тестирлөө, жүк жана динамикалык анализи;
• башка аспаптар менен Vol. ч. Жазуу жана синтаксиси, текшерүү үчүн тармак коопсуздукту, бардык интернет беттеринде жана башка бар.

келечек

программалык камсыздоо тармагындагы өзгөрүлүп абалы менен жөндөө жараяны да өзгөртүүгө тийиш. Мындай кызмат-orientirovannae архитектура (SOA), зымсыз технологияларды, уюлдук байланыш кызматтары, жана башкалар. E. катары программалык сыноо жаңы ыкмалары бар, тестирлөө программалык жаңы жолдорун ачкан беле. өнөр кийинки бир нече жылда күтүлүп жаткан өзгөрүүлөрдүн кээ бирлери төмөнкүлөр саналат:

• Сыноочулар иштеп чыгуучулар өз кодун текшерип бере турган даярдоо моделин камсыз кылат;
• көрүп, анын ичинде сыноо методдорун иштеп чыгуу жана баштапкы этабында программаларды моделдөө, карама-каршылыктар көп жок кылат;
• бир нече чыгаргандык сыноо болушу ката аныктоо убактысын кыскартат;
• Статикалык анализатор табуу жана аныктоодо колдонулуучу дагы көп пайдалануу керек дегенди билдирет;
• Мындай тактоо чагылдыруу болуп жер казынасын пайдалануу менен тал- куу, пайдалануу, модель жана коду камтуу чөйрөсү долбоорлорун иштеп чыгууну аныктайт;
• комбинатордук аспаптар сыноочулар жөндөө үчүн артыкчылыктуу багыттарын аныктоого мүмкүндүк;
• Сыноочулар программалык камсыздоону иштеп чыгуу боюнча бир кыйла сезимтал жана баалуу кызматтарды камсыз кылат;
• debuggers жазылган жана программалоо тилдердин ар түрдүү менен өз ара куралдары жана программалык сыноо методдору түзө алабыз;
• Debugging эксперттер дагы кесиптик даярдоодон болот.

бир жаңы бизнес-багытталган программалык сыноо ыкмалар менен алмаштырылат, системалар менен өз ара жолун өзгөртүүгө жана тобокелдиктерди азайтуу жана бизнес өзгөрүүлөрдүн пайдасын жогорулатуу менен камсыз маалымат.