Составители:
Рубрика:
80
– ðåçóëüòàòû àíàëèçà ñîîòâåòñòâèÿ ðåàëèçàöèè, àíàëèçà îáëàñòè
ïîêðûòèÿ òðåáîâàíèé è àíàëèçà îáëàñòè ïîêðûòèÿ ñòðóêòóðû äîë-
æíû ïîêàçûâàòü, ÷òî êàæäîå òðåáîâàíèå ê ÏÑ ñâîäèìî ê îáëàñòè
êîäà, ðåàëèçóþùåãî ýòî òðåáîâàíèå, à òàêæå ê îáçîðàì, àíàëèçàì è
òåñòîâûì ñèòóàöèÿì, ïðîâåðÿþùèì åãî;
– åñëè íåò âîçìîæíîñòè âåðèôèöèðîâàòü ñïåöèôè÷åñêèå òðåáîâà-
íèÿ ê ÏÑ ïóòåì ýêñïëóàòàöèè ÏÑ â ðåàëüíûõ óñëîâèÿõ, äîëæíû
áûòü îáåñïå÷åíû èíûå ñðåäñòâà, à â ïëàíå âåðèôèêàöèè ÏÑ èëè
ñâîäêå ðåçóëüòàòîâ âåðèôèêàöèè ÏÑ äîëæíî áûòü îòìå÷åíî èõ èñ-
ïîëüçîâàíèå â ýòàïå âåðèôèêàöèè ÏÑ.
Ê ðåçóëüòàòàì ýòàïîâ ðàçðàáîòêè è âåðèôèêàöèè ÏÑ ìîãóò áûòü
ïðèìåíåíû ðàçëè÷íûå âèäû àíàëèçà è îáçîðîâ. Ðàçëè÷èÿ ìåæäó
îáçîðîì è àíàëèçîì çàêëþ÷àåòñÿ â òîì, ÷òî àíàëèç äàåò ïîâòîðÿå-
ìûå äîêàçàòåëüñòâà êîððåêòíîñòè, à îáçîð îáåñïå÷èâàåò êîëè÷åñòâåí-
íóþ îöåíêó êîððåêòíîñòè. Îáçîð ìîæåò ñîñòîÿòü èç èññëåäîâàíèÿ
âûõîäíûõ äàííûõ ýòàïà, âûïîëíåííîãî â âèäå äèàãðàììû. Àíàëèç
ìîæåò èññëåäîâàòü â äåòàëÿõ ôóíêöèîíèðîâàíèå, ïðîèçâîäèòåëüíîñòü,
òðàññèðóåìîñòü è âîïðîñû áåçîïàñíîñòè êîìïîíåíòà ÏÑ.
Îáçîðû è àíàëèç òðåáîâàíèé âûñîêîãî (ÂÓ), íèçêîãî óðîâíåé (ÍÓ),
àðõèòåêòóðû, èñõîäíîãî êîäà ïîêàçàíû â òàáë. 2.7. Öåëü òàêèõ
îáçîðîâ è àíàëèçîâ çàêëþ÷àåòñÿ â îáíàðóæåíèè îøèáîê â òðåáîâà-
íèÿõ, êîòîðûå ìîãëè áûòü âíåñåíû â õîäå âûïîëíåíèÿ ïîäýòàïà
ðàçðàáîòêè òðåáîâàíèé ê ÏÑ (ïðîåêòèðîâàíèÿ, ðàçðàáîòêè àðõè-
òåêòóðû, êîäèðîâàíèÿ).
Òàáëèöà 2.7
èèðåòèðKÓÂÿèíàâîáåðÒÓÍÿèíàâîáåðÒÑÏàðóòêåòèõðÀäîêéûíäîõñÈ
12 3 4 5
-è÷äîÏ
åèíåí
-ìåòñèñ
ìûí
-àâîáåðò
ìÿèí
-íàâîáåðò(
,)ÓÂìÿè
-àâîáåðò(
)ÓÍìÿèí
,ûìåòñèñèèöêíóÔ
àíåûìåÿíëîïûâ
-åäåðïî,ÑÏåçàá
-èöêíóô;ûíåë
-àâîáåðòåûíüëàíî
ÿèíêÿèíàâîáåðò,
-üëåòèäîâçèîðï
-ñàïîçåáèèòñîí
âûíåæàðòîèòñîí
;ÓÂõÿèíàâîáåðò
-åðòåûíäîâçèîðï
-òêåððîêÿèíàâîá
ûìèäîõáîåíèûí
ÿèíàâîáåðÒ
ûíåæàðòîÓÂ
-èíàâîáåðòâ
-îðï;ÓÍõÿ
åûíäîâçè
ÿèíàâîáåðò
èûíòêåððîê
-üëåòèâòñéåä
-èäîõáîåíîí
ûì
àðóòêåòèõðÀ
-êèëôíîêåíÑÏ
ò-àâîáåðòñòåó
-îñî,ÓÂèìÿèí
-êíóôâîííåá
-å÷åïñåáîõÿèö
-ñîíòñîëåöÿèí
ûìåòñèñèò
äîêéûíäîõñÈ
èíåòêåððîê
íåíåöîíëîï
þèíåøîíòîîï
-èíàâîáåðòê
åí;ÓÍìÿ
ÿñòþóçèëàåð
-èòíåìóêîäåí
åûííàâîð
èèöêíóô
Страницы
- « первая
- ‹ предыдущая
- …
- 78
- 79
- 80
- 81
- 82
- …
- следующая ›
- последняя »
