Най-простите интуитивни (евристични) модели
Тези модели са особено ефективни за целите на сертифицирането. Разработени са няколко модела за оценка на броя на грешките. Те се основават на по-слаби предположения от сложните модели.
Предполага се, че ще започне тестване от две независими групи. За известно време се извършва паралелно тестване на системата, след което резултатите се събират и сравняват.
N12– брой грешки, открити два пъти (от двете групи)
N– брой грешки в програмата (неизвестен)
E– ефективност на тестване
Предполагаме, че възможността за откриване е същата. Това е сериозно предположение, не лишено от смисъл. Можете да разглеждате всяко подмножествоNкато приближение на цялото пространство.
Например, ако първата група е открила 10% грешки, тогава те трябва да са намерили приблизително 10% от всяко произволно избрано подмножество, например подмножествоN2. Може да се каже, че
Ако извършим заместване заN2, получаваме
Очевидно най-лесният начин за оценка на броя на грешките е да се сравнят оценките въз основа на исторически данни, по-специално средния брой грешки на оператор в предишни проекти. В литературата има данни за процента грешки, но те не са много обширни. Наличните данни са ориентирани към индустрията и се приемат като средна стойност за определен брой оператори (напр. 10 грешки на 1000 оператора).
Пример: IBM данни за OS/360,OS/VS1,OS/VS2 -
x– модулът, който трябва да бъде коригиран много пъти или броят на модулите, изискващи 10 или повече корекции.
y– брой модули, изискващи 1 или повече корекции.
z– общ брой корекции в модулите.
Поради неяснотите вВъв всички разглеждани модули най-разумният подход засега е използването на няколко модела и комбинирането на техните резултати. Например данни от минали проекти могат да се използват за груба оценка. След това можете да използвате модела с две паралелни групи. По-нататък - тестване с изкуствено въвеждане на грешки, за определяне на надеждността наСпо модела на Милс, както и за използване на други модели.
Комбиниране на множество резултати от теста:
Средно
симулационни модели
Такива модели, които имитират процесите на възникване на грешки, процеса на откриване на грешки, процеса на коригиране на грешки по отношение на надеждността на софтуера.
Често програмата се представя като последователност от възли, дъги и цикли на насочен граф.
Възлите са точки, в които части от програма се съединяват или разпадат.
Дъгите са последователности от линейни секции. Те разполагат с команди.
Тестване от. Сертификационно тестване Детерминистично тестване на дизайна. Детерминистично тестване за сертифициране. Принципи и задачи на детерминистичното тестване
Основната задача на детерминистичното тестване е да се установи дали програмите работят и отговарят на техните технически изисквания, както и да се идентифицират и отстранят грешките и да се приведат характеристиките на програмите до нивото на изискванията, определени от клиента.
Диагностиката се извършва от автоматични системи човек-машина, в които:
човек има анализираща роля при откриването на грешки, анализирането им и вземането на решения за коригирането им;
компютърните системи осигуряват изпълнение на програма, управление на задачи и тестове и селективна информация за напредъка на тестването.
При детерминистичното тестване резултатите се получават с фиксиран набор от първоначални данни, както и сравнение на тези стойности с референтните. Диапазонът на вариация на първоначалните данни и броят на опциите за комбиниране на променливи определят надеждността на отстраняването на грешки. Сравнението на производителността на рязане със стандартите по правило се извършва автоматично. Ако резултатът се различава от стандарта, се определя местоположението и вида на грешката.
В зависимост от информацията, използвана при тестването, се разграничават два метода:
Методът на проверка въз основа на първоначални данни и резултати.
Програмата се разглежда като черна кутия и след установяване на факта на неработоспособност на някакъв набор се използва информация за структурата на програмата, т.е. от общото към частното с надеждата, че няма грешка.
Метод, отчитащ междинните резултати.
Анализират се логическите пътища на изпълнение на програмата и междинните резултати в точките на маршрута. Проверката на програмата се извършва чрез кампанията на нейното изпълнение от конкретно към общо с увереност, че има грешка. Методът е бяла кутия.
"Сива кутия" - отчасти структурата е известна, отчасти - не.
Методът на бялата кутия е по-лесен за локализиране на грешки, но отнема повече време от метода проверка по финал.
Процесът на отстраняване на грешки в програма при детерминистично тестване е разделен на следните етапи:
съставяне на тестове и задачи за отстраняване на грешки и изпълнение на програмата;
информиране за резултатите от тестовите задачи;
анализ на резултатите, откриване и локализиране на грешки;
отстраняване на грешки и коригиране на оригиналния текст на програмата.
Детерминистичното тестване включва:
избор на последователност от контролни точки, входове и изходи от програмата;
избор на набори от начални стойностиданни;
междинни контролни точки и списък с променливи, които да се контролират в тези точки, се избират маршрути за изпълнение на програмата.
Редът на тестване може да бъде:
безусловно, т.е. независимо от резултатите от изпълнението на предишни серии;