Курстық жұмыс Ақпараттық жүйелерді тестілеу
Тәсілдері тестілеу шарттары
жүктеу/скачать 133,19 Kb.
|
| Тәсілдері тестілеу шарттары.
Мақсаты бұл әулеттің тәсілдерін тестілеу – строить тест нұсқалары тексеру үшін логикалық бағдарламаның шарттарын. Бұл ретте мүмкіндігінше қамтуды қамтамасыз ету операторларының барлық тармақтарының бағдарламасы. Қарастырайық пайдаланылатын мұнда терминологияны. Қарапайым шарты – булева айнымалы немесе өрнек қарым-қатынас. Өрнек қарым-қатынас түрі бар E1<оператор қарым>E2, Онда E1, E2 – арифметикалық өрнектер, ал оператор ретінде қарым-қатынас пайдаланылады бірін операторлар: Құрама шарт-бірнеше қарапайым шарттарын, булевых операторларының және дөңгелек жақша. Боламыз қолдануға бульдік операторлары OR, AND (&), NOT. Шарттары, құрамында өрнектер қатынас деп аталады булевыми выражениями. Осылайша, элементтері шарттары болып табылады: булев операторы, булева ауыспалы жұп жақша (жасасушы қарапайым немесе құрама шарт) оператор қарым-арифметикалық өрнек. Бұл элементтер анықтайды қателердің түрлері бар. Егер шарт дұрыс болса, онда үстінгі кем дегенде бір элементтерін шарттары. Демек, бұл жағдайда болуы мүмкін мынадай қателер типтері: Қате булева оператордың болуы (қате/ жоқ/ артық булевых операторлар). Қате булевой айнымалы. Қате оператор қарым-қатынасы. Қате арифметикалық өрнектер. Тәсілі тестілеу шарттарын бағытталған тестілеу әр шарттары болып табылады. Тестілеу әдістемесі жағдай екі артықшылықтары. Біріншіден, жеткілікті орындау өлшеу тест жабу шарттары. Екіншіден, тест қақпақ жағдайлар бағдарламасы – бұл іргетас генерациялау үшін қосымша тест бағдарламасы. Тестілеудің мақсаты шарттарын анықтау болып табылады ғана емес, қателер жағдайында, бірақ және басқа да қателер бағдарламалары. Егер тест жинағы үшін бағдарлама A тиімді үшін қателер анықталған жағдайларда ұсталатын A, онда бәлкім, бұл жиынтығы, сондай-ақ тиімді табу үшін басқа да қателер A. Сонымен қатар, егер тестілеу әдістемесі үшін тиімді қателер табылған жағдайда, онда бәлкім, бұл әдістеме тиімді табу үшін қателердің бағдарламасы. Бірнеше әдістемелер тестілеу шарттары. Простейшая әдістемесі – тестілеу тармақтары. Мұнда құрамдас шарттар тексеріледі: әрбір қарапайым шарт; True-бұтағы; False-бұтақ. Басқа әдісі – тестілеу облысының анықтау онда қарым-қатынасты көрсету үшін талап етілетін генерация 3-4 тесттер. Өрнек түрі Е1<оператор қарым - >Е2 тексеріледі үш тестілердің қалыптастыратын мәні Е1 үлкен қарағанда, Е2 тең Е2 және аз қарағанда Е2. Егер оператор қарым-қатынас неправилен, ал Е1 және Е2 корректны, онда бұл үш тест кепілдік береді анықтау қателер операторының қарым-қатынас. Анықтау үшін қателер Е1 және Е2 тест қалыптастыруға тиіс мәні Е1 үлкен немесе аз қарағанда, Е2, әрі қамтамасыз ету ретінде болады төмен арасындағы айырмашылықты осы мәндері. жүктеу/скачать 133,19 Kb. Достарыңызбен бөлісу:
|