AUTOREF_Черноножкин (1013950), страница 3
Текст из файла (страница 3)
Îñíîâíàÿçàäà÷à îáåñïå÷åíèå ýôôåêòèâíîãî äîñòóïà ê èññëåäóåìûì îáúåêòàì. îòëè÷èå îò äðóãèõ ïîäîáíûõ ñèñòåì â äàííîé ðàáîòå áûëî ââåäåíî èðåàëèçîâàíî ïîíÿòèå ÷àñòè÷íîãî ïðîôèëÿ, ïîëó÷àåìîãî ñ ïîìîùüþ ñðåäñòâ,ïðåäîñòàâëÿåìûõ ðàáî÷åé ñðåäîé ïðîôèëÿ äèàëîãîâî-ïàêåòíûì êðîññîòëàä÷èêîì. Îáû÷íî ïðîôèëèðîâùèêè ñòðîÿò ïðîôèëü ïðîãðàììû äëÿ âñåãîâðåìåíè åå èñïîëíåíèÿ, òàê êàê ýëåìåíòû ïðîôèëèðîâàíèÿ çàäàþòñÿ äîèñïîëíåíèÿ è íå ìîãóò áûòü èçìåíåíû äî çàâåðøåíèÿ èñïîëíåíèÿ è íåòâîçìîæíîñòè ïîñìîòðåòü ðåçóëüòàòû âî âðåìÿ èñïîëíåíèÿ ïðîãðàììû.
Ïðîôèëüñîçäàåòñÿ ïîñëå èñïîëíåíèÿ ïóòåì îáðàáîòêè ñîáðàííûõ äàííûõ. Ðàçðàáîòàííàÿñèñòåìà ïîçâîëÿåò ðàñøèðèòü âîçìîæíîñòè ïðîôèëèðîâàíèÿ, ââîäÿ ÷àñòè÷íûéïðîôèëü, êîòîðûé õàðàêòåðèçóåò ðàáîòó ïðîãðàììû ëèøü íà íåêîòîðîì ååâðåìåííîì ó÷àñòêå. Äðóãèìè ñëîâàìè, ïîëüçîâàòåëü çàäàåò òî÷êè îñòàíîâà,èñïîëüçóÿ ñðåäñòâà îòëàä÷èêà, è â õîäå èñïîëíåíèÿ ïðîãðàììû ïîñëå îñòàíîâêèíà îäíîé èç ðàíåå ïîñòàâëåííûõ òî÷åê îñòàíîâà çàäàåò íàáîð îòñëåæèâàåìûõõàðàêòåðèñòèê äëÿ ïðîôèëèðîâàíèÿ è, âîçìîæíî, íîâûå òî÷êè îñòàíîâà.Ïðè äàëüíåéøåì èñïîëíåíèè, â ìîìåíò îñòàíîâêè ïðîãðàììû, ñóùåñòâóåòâîçìîæíîñòü ïîñìîòðåòü æåëàåìûå õàðàêòåðèñòèêè è ñîõðàíèòü èõ â ôàéëå,à åñëè íåîáõîäèìî, èçìåíèòü íàáîð õàðàêòåðèñòèê, è ò. ä.
íà ïðîòÿæåíèèâñåãî ñåàíñà èñïîëíåíèÿ ïðîãðàììû.10ï.2.1Âïðèâåäåí îáçîð ïðèìåíåíèÿ ïðîôèëåé è ìåòîäîâ èõ ïîñòðîåíèÿ.Îñòàíîâèìñÿ òîëüêî íà äâóõ ñïîñîáàõ èñïîëüçîâàíèÿ ïðîôèëåé. Ðåçóëüòàòûïðîôèëèðîâàíèÿ ìîæíî èñïîëüçîâàòü íà ýòàïå óëó÷øåíèÿ êà÷åñòâà ïðîãðàììû,à èìåííî: ïîäâåðãàòü óëó÷øåíèþ òå ó÷àñòêè ïðîãðàììû, íà êîòîðûõ îíàçàòðà÷èâàåò áîëüøå âñåãî âðåìåíè èñïîëíåíèÿ. Îñîáûé èíòåðåñ ïðåäñòàâëÿåòïðèìåíåíèå ïðîôèëèðîâàíèÿ íà ýòàïå òåñòèðîâàíèÿ ïðîãðàìì. Ïîëó÷àåìûåäèíàìè÷åñêèå õàðàêòåðèñòèêè ïîìîãàþò âûäåëèòü èíòåíñèâíî èñïîëüçóåìûåêîìïîíåíòû ïðîãðàìì, êîòîðûå öåëåñîîáðàçíî ïîäâåðãàòü íàèáîëåå òùàòåëüíîéïðîâåðêå. Âìåñòå ñ ýòèì íàõîäÿòñÿ êîìïîíåíòû, ñ ìàëîé èëè íóëåâîé ÷àñòîòîéïðîâåðêè èñïîëíåíèÿ, ïîäëåæàùèå äîïîëíèòåëüíîìó òåñòèðîâàíèþ èëè èññëåäîâàíèþíà äîñòèæèìîñòü.
Àíàëèç ñòàòèñòèêè óñëîâíûõ ïåðåõîäîâ è èòåðàöèé öèêëîâïîçâîëÿåò îáíàðóæèòü íåêîòîðûå òèïû îøèáîê.ãëàâà ïîñâÿùåíà ìåòîäàì òåñòèðîâàíèÿ ïðîãðàìì è èíñòðóìåíòàì,îáåñïå÷èâàþùèì ïîìîùü ïîëüçîâàòåëþ êàê â ïîñòðîåíèè õîðîøåãî íàáîðàòåñòîâ, òàê è â îöåíêå ïîëíîòû èìåþùåãîñÿ íàáîðà òåñòîâ. Òåñòèðîâàíèåÿâëÿåòñÿ îäíèì èç îñíîâíûõ ìåòîäîâ äîñòèæåíèÿ íàäåæíîñòè ïðîãðàììíîãîîáåñïå÷åíèÿ, ïîýòîìó, ÷òîáû äîáèòüñÿ âûñîêîãî êà÷åñòâà ïðîãðàììû, íåîáõîäèìîóìåòü ñòðîèòü äëÿ íåå õîðîøèé íàáîð òåñòîâ.
Õîðîøèé íàáîð òåñòîâ äîëæåí,â ïåðâóþ î÷åðåäü, èìåòü âûñîêóþ âåðîÿòíîñòü íàõîæäåíèÿ âñåõ âîçìîæíûõîøèáîê â ïðîãðàììå, ïðè÷åì èç ñîîáðàæåíèé ýôôåêòèâíîñòè æåëàòåëüíî,÷òîáû ýòà öåëü äîñòèãàëàñü ñ ìèíèìàëüíûìè çàòðàòàìè âðåìåíè íà ïîñòðîåíèåíàáîðà òåñòîâ, åãî ðåàëèçàöèþ, èñïîëíåíèå è ïðîâåðêó ðåçóëüòàòîâ.Ïðîáëåìó ïîëó÷åíèÿ õîðîøåãî íàáîðà òåñòîâ â îáùåì ñëó÷àå ìîæíîñôîðìóëèðîâàòü ñëåäóþùèì îáðàçîì:Äàíà ïðîãðàììà P è íàáîð òåñòîâ T. Äîñòàòî÷íîëè ýòîãî íàáîðà òåñòîâ T äëÿ "ïîëíîãî"òåñòèðîâàíèÿ ïðîãðàììû P, èåñëè íåò, òî êàêèå òåñòû íóæíî äîáàâèòü?Ïîëíîå òåñòèðîâàíèå ïðîãðàììû îçíà÷àåò, ÷òî íàáîð òåñòîâ ìîæåò îáíàðóæèòüëþáóþ îøèáêó â ïðîãðàììå, è åñëè ðåçóëüòàòû èñïîëíåíèÿ ïðîãðàììû íàýòîì íàáîðå òåñòîâ ñîâïàäàþò ñ îæèäàåìûìè, òî ïðàâèëüíîñòü ïðîãðàììûäîêàçàíà "îò ïðîòèâíîãî". Îäíàêî çàäà÷à ïîñòðîåíèÿ ïîëíîãî íàáîð òåñòîâÿâëÿåòñÿ àëãîðèòìè÷åñêè íåðàçðåøèìîé, ïîýòîìó âîçìîæíî ëèøü ÷àñòè÷íîåðåøåíèå ýòîé ïðîáëåìû, ò.å.
äëÿ äàííîãî íàáîðà òåñòîâ èíîãäà ìîæíî ñêàçàòü,êàêèå òåñòû íåîáõîäèìî äîáàâèòü åùå.Äëÿ ýòîãî áûëè ðàçðàáîòàíû ìåòîäû (êðèòåðèè) òåñòèðîâàíèÿ, êîòîðûåòðåáóþò ïîñòðîåíèÿ íàáîðà òåñòîâ ñ îïðåäåëåííûìè ñâîéñòâàìè.Äàëåå âî ââåäåíèè ïðîâîäèòñÿ îáçîð è äàåòñÿ êëàññèôèêàöèÿ ñèñòåìïîääåðæêè ïîëüçîâàòåëÿ äëÿ ïîñòðîåíèÿ õîðîøåãî íàáîðà òåñòîâ.Ôîðìóëèðóåòñÿ( beron-2/Modula2 overage ool), âêëþ÷àþùèé ñëåäóþùèå êðèòåðèè: C1, ïîêðûòèÿ óñëîâèé,ïîêðûòèÿ öèêëîâ, ïîêðûòèÿ îòíîøåíèé, ïîêðûòèÿ ðåêóðñèâíûõ ïðîöåäóð,êðèòåðèé èíòåãðàöèîííîãî òåñòèðîâàíèÿ ïîêðûòèå âûçîâîâ ïðîöåäóð, àòàêæå êðèòåðèé ïîêðûòèÿ âõîäíûõ ïàðàìåòðîâ è ðåçóëüòàòîâ ïðîöåäóð.Òðè ïîñëåäíèõ êðèòåðèÿ ïðåäëîæåíû âïåðâûå è î÷åíü âàæíû ïî äâóìïðè÷èíàì, âî-ïåðâûõ, îíè ôàêòè÷åñêè îáúåäèíÿþò ìåòîäû áåëîãî è ÷åðíîãîÿùèêîâ è, âî-âòîðûõ, òåñòèðóþò òàêîé âàæíûé îáúåêò êàê ïðîöåäóðà, ÷òîÒðåòüÿÏîñòàíîâêà çàäà÷è.CTêîìïëåêñíûé êðèòåðèé ñèñòåìû ÎÑÒ O11äëÿ ñèëüíî çàïðîöåäóðåííîãî ÿçûêà ïðîãðàììèðîâàíèÿ ïðîñòî íåîáõîäèìî.ïðåäëîæåí ìåõàíèçì ôîðìàëüíîãî îïèñàíèÿ êðèòåðèåâòåñòèðîâàíèÿ è ñ åãî ïîìîùüþ äàíû îïèñàíèÿ íàèáîëåå ïîïóëÿðíûõ êðèòåðèåâòåñòèðîâàíèÿ.Ïóñòü P ìíîæåñòâî âñåõ ïðîãðàìì, è ïóñòü P ïðîãðàììà èç Pñ ìíîæåñòâîì âõîäíûõ äàííûõ In è ìíîæåñòâîì âûõîäíûõ äàííûõ Out.Íàáîð òåñòîâ T äëÿ ïðîãðàììû P ýòî íåêîòîðîå ïîäìíîæåñòâî âõîäíûõäàííûõ: T ⊆ In.Êðèòåðèé òåñòèðîâàíèÿ C ýòî òàêîé ïðåäèêàò, ÷òî ðàçäåëå 3.112C(P, T ) ⇐⇒T äîñòàòî÷íî äëÿ òåñòèðîâàíèÿ Pñîãëàñíî äàííîìó êðèòåðèþ.Òàêîå îïðåäåëåíèå íå î÷åíü ïîëåçíî äëÿ öåëåé ïîñòðîåíèÿ íàáîðà òåñòîâ,óäîâëåòâîðÿþùåãî êðèòåðèþ, ïîýòîìó îïðåäåëèì C ñ ïîìîùüþ ìíîæåñòâàòðåáóåìûõ ýëåìåíòîâ è ïîíÿòèÿ ïîêðûòèÿ.Äëÿ êðèòåðèÿ C çàäàäèì ìíîæåñòâî òðåáóåìûõ ýëåìåíòîâ REQC (P )(ôóíêöèÿ, îïðåäåëåííàÿ íà P ) è ïðåäèêàò COVC , îïðåäåëåííûé íà ìíîæåñòâåP × In × REQC ñ íåôîðìàëüíîé ñåìàíòèêîé:COVC (P, x, r) ⇐⇒ïðè èñïîëíåíèè ïðîãðàììû P íà âõîäíûõäàííûõ x òðåáóåìûé ýëåìåíò r ïîêðûâàåòñÿ.Ñàì ïðåäèêàò C ìîæíî îïðåäåëèòü ñëåäóþùèì îáðàçîì:C(P, T ) ⇐⇒∀ r ∈ REQC (P ) & (∃ x ∈ In : COVC (P, x, r))∃ t ∈ T : COVC (P, t, r).Òàêèì îáðàçîì, äëÿ îïðåäåëåíèÿ êðèòåðèÿ íàäî çàäàòü ìíîæåñòâî òðåáóåìûõýëåìåíòîâ è îïðåäåëèòü ïðåäèêàò ïîêðûòèÿ êîíêðåòíîãî ýëåìåíòà.
Èìåííîòàê äàëåå â äàííîì ðàçäåëå îïðåäåëÿþòñÿ êðèòåðèè òåñòèðîâàíèÿ.Íàïðèìåð, êðèòåðèé all-defs îïðåäåëÿåòñÿ ñëåäóþùèì îáðàçîì:Êðèòåðèé all-defs (ïîêðûòèå âñåõ îïðåäåëåíèé)REQd (P )={(x, v) | x ∈ V AR, v ∈ Def (x)}COVd (P, x, (z, v)) ⇐⇒ ∃ q ∈ P T (run(P, x)) ∃ u ∈ U se(x) |clear_reach(q, v, u, z),ãäå V AR ìíîæåñòâî âñåõ ïåðåìåííûõ ïðîãðàììû, Def (x) ìíîæåñòâîâåðøèí èç V (âåðøèíû ÓÃ), â êîòîðûõ ïåðåìåííàÿ x èç V AR îïðåäåëÿåòñÿ,U se(x) ìíîæåñòâî âåðøèí, â êîòîðûõ x èñïîëüçóåòñÿ, P T (run(P, x)) ìíîæåñòâî ïóòåé èñïîëíåíèÿ P íà x.Ïðåäèêàò clear_reach(q, v, u, x), îçíà÷àþùèé, ÷òî ó÷àñòîê ïóòè[v, u] ⊂ q (v, u ∈ V ) íå ñîäåðæèò ïðèñâàèâàíèé ïåðåìåííîé x ∈ V AR,îïðåäåëÿåòñÿ òàê:clear_reach(q, v, u, x) ⇐⇒∃ i, j : i < j : qi = v & qj = u &∀ s : i < s < j : qs 6∈ Def (x). ðàçäåëå 3.2ïðèâåäåí îáçîð ñóùåñòâóþùèõ ñèñòåì ïîääåðæêè ñòðóêòóðíîãîòåñòèðîâàíèÿ ïðîãðàìì, èíñòðóìåíòîâ ïðîåêòèðîâàíèÿ òåñòîâ èç òåêñòàïðîãðàììû, à òàêæå äàíî îïèñàíèå è ðåàëèçàöèÿ ñèñòåìû TGS ( est enerationystem) ïðîåêòà ÑÎÊÐÀÒ.
Ïîñëåäíÿÿ äëÿ êàæäîé ïðîöåäóðû íàõîäèò ìíîæåñòâîïóòåé, ïîêðûâàþùèõ âñå åå äóãè, öèêëû è îïðåäåëåíèÿ ïåðåìåííûõ (äëÿTS13Gïîêðûòèÿ äóã ñòðîèòñÿ ìèíèìàëüíîå ìíîæåñòâî ïóòåé), è çàòåì âû÷èñëÿåòäëÿ íèõ óñëîâèÿ ðåàëèçóåìîñòè. Ïîñëå ýòîãî ïîëüçîâàòåëü äîëæåí íàéòèòåñòû, äëÿ êîòîðûõ ýòè óñëîâèÿ ðåàëèçóåìîñòè âûïîëíÿþòñÿ, è ïîëó÷èòü âðåçóëüòàòå íàáîð òåñòîâ, óäîâëåòâîðÿþùèõ êðèòåðèÿì C1, all-defs è ïîêðûòèÿöèêëîâ.Çàäà÷à ïîääåðæêè ñòðóêòóðíîãî òåñòèðîâàíèÿ ïðîãðàìì, ïî ñóùåñòâó,ñîñòîèò èç äâóõ ÷àñòåé.
Âî-ïåðâûõ, íåîáõîäèìî ïîìî÷ü ïîëüçîâàòåëþ âïîñòðîåíèè íàáîðà òåñòîâ, ïîêðûâàþùèõ ëîãèêó ïðîãðàììû (ýòà ÷àñòü ðåøàåòñÿñèñòåìîé TGS), à âî-âòîðûõ, ïðè òåñòèðîâàíèè îöåíèòü íàáîð òåñòîâ íàïîëíîòó äëÿ âûáðàííîãî êðèòåðèÿ òåñòèðîâàíèÿ è â êàæäûé òåêóùèé ìîìåíòïîêàçàòü ñòåïåíü òåñòèðîâàííîñòè äëÿ äàííîãî êðèòåðèÿ.Ðàçðàáîòàííàÿ ñèñòåìà îáåñïå÷èâàåò ïîääåðæêó òåñòèðîâàíèÿ ïðîãðàìì,íàïèñàííûõ íà äâóõ ÿçûêàõ: Ìîäóëå-2 è ÿçûêå àññåìáëåðà ÅÑ ÝÂÌ, èñîäåðæèò ñëåäóþùèå êîìïîíåíòû: êîìïîíåíò ïîñòðîåíèÿ óïðàâëÿþùåãîãðàôà ïðîãðàììû è ñîõðàíåíèÿ åãî â àðõèâå; êîìïîíåíò ïîñòðîåíèÿ ìíîæåñòâàïóòåé, ïîêðûâàþùèõ âñå òðåáóåìûå ýëåìåíòû êîìïëåêñíîãî êðèòåðèÿ, äëÿêðèòåðèÿ Ñ1 ñòðîèòñÿ ìèíèìàëüíîå ìíîæåñòâî ïóòåé; êîìïîíåíò ïîñòðîåíèÿôîðìóëû ðåàëèçóåìîñòè äëÿ çàäàííîãî ïóòè, ðåàëèçóåò ñèìâîëè÷åñêîå èñïîëíåíèåïðîãðàììû ïî äàííîìó ïóòè; êîìïîíåíò ïðîïóñêà ïàêåòà òåñòîâ ñ êîíòðîëåìêðèòåðèÿ òåñòèðîâàíèÿ è îöåíêîé ñòåïåíè òåñòèðîâàííîñòè.Äàëåå â ðàçäåëå èçëîæåíû ìåòîäû ðåàëèçàöèè êîìïîíåíòîâ ñèñòåìû.îïèñàíà ñèñòåìà ÎÑÒ, êîòîðàÿ ðåàëèçîâàíà ìåòîäîìèíñòðóìåíòàöèè èñõîäíîé ïðîãðàììû, ò.å.
â èñõîäíûé òåêñò ïðîãðàììûâñòàâëÿåòñÿ íåêîòîðûé êîä, ïðîâåðÿþùèé âûïîëíåíèå êðèòåðèåâ ïðè èñïîëíåíèèïðîãðàììû è ñîõðàíÿþùèé ðåçóëüòàòû ïîñëå åå îêîí÷àíèÿ. Çàòåì ýòè ðåçóëüòàòû(ïîëó÷åííûå ïîñëå èñïîëíåíèÿ íàáîðà òåñòîâ) îáðàáàòûâàþòñÿ ãåíåðàòîðîìîò÷åòîâ, êîòîðûé ñîîáùàåò ïîëüçîâàòåëþ ñòåïåíü òåñòèðîâàííîñòè èíñòðóìåíòèðîâàííûõìîäóëåé è ïðè íåîáõîäèìîñòè ïîêàçûâàåò íåïîêðûòûå òåñòîâûå óñëîâèÿ è,òàêèì îáðàçîì, ïîìîãàåò ïîñòðîèòü äîïîëíèòåëüíûå òåñòû.Äàëåå â ðàçäåëå äàíî ïîäðîáíîå îïèñàíèå ìåõàíèçìà ðàáîòû ñèñòåìû,èíñòðóìåíòàöèè èñõîäíîé ïðîãðàììû äëÿ âñåõ êðèòåðèåâ êîìïëåêñíîãî êðèòåðèÿñèñòåìû ÎÑÒ è ÿçûêà îïèñàíèÿ òåñòîâûõ óñëîâèé.Äëÿ êðèòåðèåâ ïîêðûòèÿ âõîäíûõ ïàðàìåòðîâ è ðåçóëüòàòîâ ïðîöåäóð èïîêðûòèÿ âûçîâîâ ïðîöåäóð òåñòîâûå óñëîâèÿ çàäàþòñÿ ñ ïîìîùüþ ñïåöèàëüíîðàçðàáîòàííîãî ÿçûêà îïèñàíèÿ òåñòîâûõ óñëîâèé.Ïîëüçîâàòåëü ñèñòåìû ñîçäàåò òåêñòîâûé ôàéë, â êîòîðîì îïèñûâàåòòåñòîâûå óñëîâèÿ òèïà è òåñòîâûå óñëîâèÿ âûçîâà ïðîöåäóð, åñòåñòâåííî,òîëüêî â òîì ñëó÷àå, åñëè îí õî÷åò âîñïîëüçîâàòüñÿ ýòèìè êðèòåðèÿìè.Êàæäîå òåñòîâîå óñëîâèå ñîñòîèò èç âûðàæåíèÿ òèïà BOOLEAN è ñâÿçàííîãîñ íèì ñîîáùåíèÿ.
Âûðàæåíèå èíñòðóìåíòàòîð âñòàâèò ñ íåêîòîðîé ìîäèôèêàöèåéâ òåêñò òåñòèðóåìîãî ìîäóëÿ, à ñîîáùåíèå áóäåò ïðèñóòñòâîâàòü â èòîãîâîìïîëíîì îò÷åòå ìîäóëÿ, åñëè äàííîå òåñòîâîå óñëîâèå íå áóäåò ïîêðûòî. çàêëþ÷åíèè äàííîãî ðàçäåëà () ïîä÷åðêèâàåòñÿ,÷òî ðàçðàáîòàííàÿñèñòåìà êîíòðîëÿ òåñòèðîâàííîñòè ïðîãðàìì, íàïèñàííûõ íà ÿçûêå Ìîäóëà2/Îáåðîí-2, ïîçâîëÿåò çíà÷èòåëüíî ïîâûñèòü ýôôåêòèâíîñòü òåñòèðîâàíèÿè íàéòè ìíîãèå îøèáêè, êîòîðûå èíà÷å ìîãëè áû îñòàòüñÿ â ïðîãðàììå è ðàçäåëå 3.3ï.3.3.414îáíàðóæèòüñÿ òîëüêî ïðè åå ýêñïëóàòàöèè. Ýòî îáåñïå÷èâàåòñÿ èñïîëüçîâàíèåìðàçðàáîòàííîãî êîìïëåêñíîãî êðèòåðèÿ òåñòèðîâàíèÿ, áëàãîäàðÿ êîòîðîìóâîçìîæíî ñîçäàíèå õîðîøåãî íàáîðà òåñòîâ. Ïðè ýòîì óäà÷íûé âûáîð êðèòåðèåâèçáàâëÿåò ïîëüçîâàòåëÿ îò ïîñòðîåíèÿ ìàëîýôôåêòèâíûõ òåñòîâ èëè òàêèõ,íà ïîñòðîåíèå êîòîðûõ òðàòèëîñü áû ñëèøêîì ìíîãî âðåìåíè.Ïðè ðàçðàáîòêå è ðåàëèçàöèè ñèñòåìû ÎÑÒ âïåðâûå ïðåäëîæåíû è ðåàëèçîâàíûêðèòåðèè ïîêðûòèÿ ðåêóðñèè, âõîäíûõ ïàðàìåòðîâ è ðåçóëüòàòîâ ïðîöåäóð,à òàêæå ÿçûê îïèñàíèÿ òåñòîâûõ óñëîâèé äëÿ òèïîâ è âûçîâîâ ïðîöåäóð èåãî ïðèìåíåíèå â èíñòðóìåíòå ïîäîáíîãî òèïà. ðàìêàõ äàííîé ðàáîòû âûïîëíåíû ðåàëèçàöèè ñëåäóþùèõ ïðîãðàììíûõñèñòåì: ìåòðè÷åñêèå êîìïèëÿòîðû ñ àññåìáëåðà ÅÑ ÝÂÌ è Ìîäóëû-2, ïðîôèëèðîâùèêèäëÿ íèõ, ñèñòåìà TGS è êîìïîíåíò îöåíêè òåñòèðîâàííîñòè àññåìáëåðíûõïðîãðàìì äëÿ êðèòåðèÿ Ñ1, ñèñòåìà ÎÑÒ.ïðèâåäåíà ìåòîäèêà èñïîëüçîâàíèÿ ñðåäñòâ èçìåðåíèÿ(äàííûé íàáîð ñðåäñòâ ñîñòîèò èç ìåòðè÷åñêîãî êîìïèëÿòîðà, ïðîôèëèðîâùèêàñèñòåìû TGS è êîìïîíåíòà îöåíêè ñòåïåíè òåñòèðîâàííîñòè) äëÿ àññåìáëåðíûõïðîãðàìì, âêëþ÷àþùàÿ ïîðîãîâûå çíà÷åíèÿ ìåð ñëîæíîñòè, è íà èõ îñíîâåêëàññèôèêàöèÿ ìîäóëåé.ñîäåðæèò ïðèìåðû ðàáîòû ïðîôèëèðîâùèêîâ àñåìáëåðíûõè Ìîäóëà-2-ïðîãðàìì.ïðèâåäåíû îñíîâíûå àëãîðèòìû ïîñòðîåíèÿ ìèíèìàëüíîãîäóãîâîãî ïîêðûòèÿ.ñîäåðæèò ïðèìåð ðàáîòû ñèñòåìû ÎÑÒ è âîçìîæíûéàíàëèç ïîëó÷åííûõ ðåçóëüòàòîâ äëÿ ïîïîëíåíèÿ íàáîðà òåñòîâ è îáíàðóæåíèÿèìåþùèõñÿ îøèáîê â ïðîãðàììå.Âïåðå÷èñëÿþòñÿ îñíîâíûå ðåçóëüòàòû ðàáîòû. ïðèëîæåíèè ÀÏðèëîæåíèå Á ïðèëîæåíèè ÂÏðèëîæåíèå ÃÇàêëþ÷åíèè1.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
