Курстық жұмыс Ақпараттық жүйелерді тестілеу
Стохастикалық критерийлері (класс III)
жүктеу/скачать 133,19 Kb.
|
- Бұл бет үшін навигация:
- Мутационный критерийі (класс IV).
| Стохастикалық критерийлері (класс III).
Стохастическое тестирование қолданылады тестілеу кезінде күрделі бағдарламалық кешендерді қашан жинағы детерминирленген тест (X, Y) бар громадную қуаты. Жағдайларда, мұндай жинағы мүмкін емес әзірлеу және орындау кезеңіндегі тестілеу қолдануға болады мынадай әдістемесін. Бағдарламаларын әзірлеу-имитаторлары кездейсоқ тізбекті input {x}. Вычислить тәуелсіз тәсілімен маңызы бар қаланың {y} үшін тиісті input {y} және тестілік жинағы {X,Y}. Тексеруге қосымша тестілік теру {X,Y} пайдалана отырып, екі тәсілі бақылау нәтижелері: Детерминированный бақылау – тексеру сәйкестік есептелген мәндері мәні y нәтижесінде алынған айдап өту, тест теру {x} – кездейсоқ реттілігі кіріс сигналдарының, сгенерированной имитатором. Стохастикалық бақылау – тексеру сәйкестік көптеген { } нәтижесінде алынған айдап өту, тест теру мәндерінің {x}, алдын ала белгілі бөлу нәтижелерін F(Y). Бұл жағдайда, көптеген y белгісіз (оны есептеу мүмкін емес), бірақ белгілі таралу заңы осы жиындар. Критерийлері стохастикалық тестілеу: Статистикалық әдістері тестілеу аяқталғаннан – стохастикалық әдістері туралы шешім қабылдау сәйкес келген жорамалдарды бөлу туралы кездейсоқ шамаларды. Оларға тиесілі кеңінен танымал әдісі: Стьюдент (St) әдісін, Хи-квадрат (x2) және т. б. Әдісі жылдамдығын бағалау қателер анықталған – моделіне негізделген жылдамдығын анықтау қателер, оған сәйкес тестілеу тоқтатылады, егер бағаланған арасындағы уақыт аралығы, ағымдағы қателік келесі үшін тым үлкен болса фаза тестілеу қосымшалар. Мутационный критерийі (класс IV). Постулируется, кәсіби бағдарламашылар жазады бірден дерлік дұрыс бағдарлама ерекшеленетін дұрыс ұсақ қателер немесе описками типті – қайта кей жерлерде ең жоғары мәндерінің индекстерінің сипаттамасында массивтерді, қателіктер белгілері арифметикалық операциялар, кемітіп немесе шамадан тыс шекарасы цикл 1 және т. б. Ұсынылады тәсіл мүмкіндік беретін негізінде ұсақ қателерді бағалауға жалпы саны қателерді, қалған бағдарламасы. Тәсіл негізделген мынадай ұғымдар: Мутациялар – ұсақ қателіктер бағдарламасы. Мутанты – бағдарламаны бір-бірінен ерекшеленетін мутациями. Әдісі мутационного тестілеу – әзірленетін бағдарлама P енгізеді мутациялар, т. е. жасанды бағдарламаларын жасайды-мутанты P1, P2...содан Кейін бағдарлама P және оның мутанты тестіленеді бір және сол жиынтықта тест {X,Y}. Егер теру {X,Y} расталады дұрыстығын бағдарламасы P және, сонымен қатар, бөлінеді енгізілген барлық бағдарлама-мутанты қателер болса, онда тест жинағы (X,Y) сәйкес келеді мутационному өлшемі, ал тестируемая бағдарламасы жарияланады дұрыс. Егер кейбір мутанты анықтады барлық мутациялар, онда кеңейту керек тест жинағы (X,Y) және оны тестілеу. жүктеу/скачать 133,19 Kb. Достарыңызбен бөлісу:
|