Òåîðèÿ è ïðàêòèêà çàùèòû ïðîãðàìì

       

Ìîäåëü Øóìàíà


Öåëåñîîáðàçíîñòü ïðèìåíåíèÿ ìîäåëè Øóìàíà[ÒËÍ] äëÿ îöåíêè íàäåæíîñòè ïðîãðàììíîãî îáåñïå÷åíèÿ çàâèñÿò îò ïðèíÿòûõ äîïóùåíèé è óñëîâèé, íàèáîëåå ñóùåñòâåííûì èç êîòîðûõ ÿâëÿåòñÿ óñëîâèå ñóùåñòâîâàíèÿ ïðîãðàììû-èññëåäîâàòåëÿ ñèñòåìû. Îñòàëüíûå äîïóùåíèÿ è óñëîâèÿ íîñÿò ñòàòè÷åñêèé õàðàêòåð è íå ñâÿçàíû ñ êàêèìè-ëèáî ñïåöèôè÷åñêèìè ñâîéñòâàìè ïðîãðàììíîãî îáåñïå÷åíèÿ. Ïî ñóùåñòâó îíè ñâîäÿòñÿ ê ñëåäóþùåìó:

ïðåäïîëàãàåòñÿ, ÷òî â íà÷àëüíûé ìîìåíò êîìïîíîâêè ïðîãðàììíûõ ñðåäñòâ â ñèñòåìå èìååòñÿ Åt, îøèáîê. Ñ ýòîãî ìîìåíòà íà÷èíàåòñÿ îòñ÷åò âðåìåíè îòëàäêè t, êîòîðîå âêëþ÷àåò çàòðàòû âðåìåíè íà âûÿâëåíèå îøèáîê ñ ïîìîùüþ òåñòîâ, íà êîíòðîëüíûå ïðîâåðêè è ò.ï. ïðè ýòîì âðåìÿ èñïðàâíîãî ôóíêöèîíèðîâàíèÿ ñèñòåìû íå ó÷èòûâàåòñÿ;

ïðåäïîëàãàåòñÿ, ÷òî çíà÷åíèå ôóíêöèè ÷àñòîòû îòêàçîâ ò(t) ïðîïîðöèîíàëüíî ÷èñëó îøèáîê, îñòàâøèõñÿ â ïðîãðàììíîì îáåñïå÷åíèè ïîñëå èçðàñõîäîâàíèÿ âðåìåíè t íà îòëàäêó èññëåäóåìîé ïðîãðàììû.

Ïðîãðàììà-èññëåäîâàòåëü ñèñòåìû äîëæíà ñíàáæàòü èñïûòóåìûå ïðîãðàììíûå ñðåäñòâà âõîäíûìè äàííûìè, îòðàæàþùèìè ðåàëüíûå óñëîâèÿ ôóíêöèîíèðîâàíèÿ. Òàêèå äàííûå íàçûâàþòñÿ ôóíêöèîíàëüíûì ðàçðåçîì è îïðåäåëÿþòñÿ ãëàâíûì îáðàçîì ÷åðåç ðàñïðåäåëåíèå âåðîÿòíîñòåé çíà÷åíèé âõîäíûõ ïåðåìåííûõ.



Ñîäåðæàíèå ðàçäåëà