Automātiska tehnisko specifikāciju prasÄ«bu pārbaude dinamiskās modelÄ“Å”anas laikā

Turpinot tēmu "Kādi ir jÅ«su pierādÄ«jumi?", aplÅ«kosim matemātiskās modelÄ“Å”anas problēmu no otras puses. Kad esam pārliecinājuÅ”ies, ka modelis atbilst paÅ”māju dzÄ«ves patiesÄ«bai, varam atbildēt uz galveno jautājumu: "Kas mums te Ä«sti ir?" Veidojot tehniskā objekta modeli, parasti vēlamies pārliecināties, vai Å”is objekts attaisnos mÅ«su cerÄ«bas. Å im nolÅ«kam tiek veikti procesu dinamiskie aprēķini un rezultāts tiek salÄ«dzināts ar prasÄ«bām. Å is ir digitālais dvÄ«nis, virtuālais prototips utt. modÄ«gi mazi puiÅ”i, kuri projektÄ“Å”anas stadijā risina problēmu, kā pārliecināties, ka esam iecerējuÅ”i.

Kā mēs varam ātri pārliecināties, ka mÅ«su sistēma ir tieÅ”i tāda, kādu mēs izstrādājam, vai mÅ«su dizains lidos vai peldēs? Un, ja tas lido, cik augstu? Un, ja tas peld, cik dziļi?

Automātiska tehnisko specifikāciju prasÄ«bu pārbaude dinamiskās modelÄ“Å”anas laikā

Å ajā rakstā aplÅ«kota tehniskās ēkas prasÄ«bu atbilstÄ«bas pārbaudes automatizācija, veidojot tehnisko sistēmu dinamiskos modeļus. Kā piemēru aplÅ«kosim gaisa kuÄ£a gaisa dzesÄ“Å”anas sistēmas tehniskās specifikācijas elementu.

Mēs ņemam vērā tās prasÄ«bas, kuras var izteikt skaitliski un pārbaudÄ«t matemātiski, pamatojoties uz konkrētu aprēķinu modeli. Skaidrs, ka tā ir tikai daļa no vispārÄ«gajām prasÄ«bām jebkurai tehniskai sistēmai, taču tieÅ”i to pārbaudei mēs tērējam laiku, nervus un naudu, veidojot objekta dinamiskus modeļus.

Aprakstot tehniskās prasības dokumenta veidā, var izdalīt vairākus dažādu prasību veidus, no kuriem katram ir nepiecieŔamas dažādas pieejas prasību izpildes automātiskās pārbaudes veidoŔanai.

Piemēram, apsveriet Å”o nelielo, bet reālo prasÄ«bu kopumu:

  1. Atmosfēras gaisa temperatÅ«ra pie ieejas Å«dens attÄ«rÄ«Å”anas sistēmā:
    autostāvvietā - no mÄ«nus 35 lÄ«dz 35 ĀŗŠ”,
    lidojumā - no mÄ«nus 35 lÄ«dz 39 ĀŗŠ”.
  2. Atmosfēras gaisa statiskais spiediens lidojuma laikā ir no 700 līdz 1013 GPa (no 526 līdz 760 mm Hg).
  3. Kopējais gaisa spiediens pie ieejas SVO gaisa ieplūdē lidojuma laikā ir no 754 līdz 1200 GPa (no 566 līdz 1050 mm Hg).
  4. DzesēŔanas gaisa temperatūra:
    autostāvvietā - ne vairāk kā 27 ĀŗŠ”, tehniskajiem blokiem - ne vairāk kā 29 ĀŗŠ”,
    lidojumā - ne vairāk kā 25 ĀŗŠ”, tehniskajiem blokiem - ne vairāk kā 27 ĀŗŠ”.
  5. DzesēŔanas gaisa plūsma:
    stāvvietā - vismaz 708 kg/h,
    lidojumā - ne mazāk kā 660 kg/h.
  6. Gaisa temperatÅ«ra instrumentu nodalÄ«jumos nav augstāka par 60 ĀŗŠ”.
  7. Smalkā brÄ«vā mitruma daudzums dzesÄ“Å”anas gaisā ir ne vairāk kā 2 g/kg sausa gaisa.

Pat Å”ajā ierobežotajā prasÄ«bu kopumā ir vismaz divas kategorijas, kas sistēmā jāapstrādā atŔķirÄ«gi.

  • prasÄ«bas sistēmas darbÄ«bas apstākļiem (1.-3. punkts);
  • parametru prasÄ«bas sistēmai (3.-7. punkts).

Sistēmas darbības nosacījumu prasības
ModelÄ“Å”anas laikā izstrādājamās sistēmas ārējos nosacÄ«jumus var norādÄ«t kā robežnosacÄ«jumus vai vispārējās sistēmas darbÄ«bas rezultātā.
Dinamiskajā simulācijā ir jānodroŔina, lai simulācijas process aptvertu norādītos darbības apstākļus.

Prasības parametru sistēmai
Å Ä«s prasÄ«bas ir parametri, ko nodroÅ”ina pati sistēma. ModelÄ“Å”anas procesā Å”os parametrus varam iegÅ«t kā aprēķinu rezultātus un pārliecināties par prasÄ«bu izpildi katrā konkrētajā aprēķinā.

PrasÄ«bu identifikācija un kodÄ“Å”ana

Lai atvieglotu darbu ar prasÄ«bām, esoÅ”ie standarti iesaka katrai prasÄ«bai pieŔķirt identifikatoru. PieŔķirot identifikatorus, ļoti vēlams izmantot vienotu kodÄ“Å”anas sistēmu.

PrasÄ«bas kods var bÅ«t vienkārÅ”i skaitlis, kas apzÄ«mē prasÄ«bas pasÅ«tÄ«juma numuru, vai arÄ« tas var ietvert prasÄ«bas veida kodu, tās sistēmas vai vienÄ«bas kodu, uz kuru tas attiecas, parametra kodu, atraÅ”anās vietas kodu un jebkas cits, ko inženieris var iedomāties. (skatiet rakstu par kodējuma izmantoÅ”anu)

1. tabulā sniegts vienkārÅ”s prasÄ«bu kodÄ“Å”anas piemērs.

  1. prasību avota kods R-prasības TK;
  2. koda tips prasības E - prasības - vides parametri, vai ekspluatācijas apstākļi
    S - sistēmas nodroÅ”inātās prasÄ«bas;
  3. gaisa kuÄ£a statusa kods 0 ā€“ jebkurÅ”, G ā€“ stāvvietā, F ā€“ lidojumā;
  4. fizikālā parametra tipa kods T ā€“ temperatÅ«ra, P ā€“ spiediens, G ā€“ plÅ«smas ātrums, mitrums H;
  5. prasības sērijas numurs.

ID
Prasības
Apraksts Parametrs
REGT01 Apkārtējā gaisa temperatÅ«ra pie ieejas Å«dens dzesÄ“Å”anas sistēmā: autostāvvietā - no mÄ«nus 35ĀŗŠ”. lÄ«dz 35ĀŗŠ”.
REFT01 Atmosfēras gaisa temperatÅ«ra pie ieejas pretgaisa aizsardzÄ«bas sistēmā: lidojuma laikā - no mÄ«nus 35 ĀŗŠ” lÄ«dz 39 ĀŗŠ”.
REFP01 Statiskais atmosfēras gaisa spiediens lidojuma laikā ir no 700 līdz 1013 hPa (no 526 līdz 760 mm Hg).
REFP02 Kopējais gaisa spiediens pie ieejas SVO gaisa ieplūdē lidojuma laikā ir no 754 līdz 1200 hPa (no 566 līdz 1050 mm Hg).
RSGT01 DzesÄ“Å”anas gaisa temperatÅ«ra: novietojot stāvvietā ne vairāk kā 27 ĀŗŠ”
RSGT02 DzesÄ“Å”anas gaisa temperatÅ«ra: autostāvvietā, tehniskajām vienÄ«bām ne vairāk kā 29 ĀŗŠ”
RSFT01 DzesÄ“Å”anas gaisa temperatÅ«ra lidojuma laikā nav augstāka par 25 ĀŗŠ”
RSFT02 DzesÄ“Å”anas gaisa temperatÅ«ra: lidojuma laikā tehniskajām vienÄ«bām ne vairāk kā 27 ĀŗŠ”
RSGG01 DzesÄ“Å”anas gaisa plÅ«sma: stāvÄ“Å”anai ne mazāk kā 708 kg/h
RSFG01 DzesÄ“Å”anas gaisa plÅ«sma: lidojumā ne mazāk kā 660 kg/h
RS0T01 Gaisa temperatÅ«ra instrumentu nodalÄ«jumos nav augstāka par 60 ĀŗŠ”
RSH01 Smalkā brÄ«vā mitruma daudzums dzesÄ“Å”anas gaisā ir ne vairāk kā 2 g/kg sausa gaisa

PrasÄ«bu pārbaudes sistēmas projektÄ“Å”ana.

Katrai projektÄ“Å”anas prasÄ«bai ir izstrādāts algoritms projektÄ“Å”anas parametru un prasÄ«bā norādÄ«to parametru atbilstÄ«bas novērtÄ“Å”anai. Kopumā jebkurā vadÄ«bas sistēmā pēc noklusējuma vienmēr ir algoritmi prasÄ«bu pārbaudei. Un pat jebkurÅ” regulators tos satur. Ja temperatÅ«ra pārsniedz ierobežojumus, gaisa kondicionieris ieslēdzas. Tādējādi jebkura regulējuma pirmais posms ir pārbaudÄ«t, vai parametri atbilst prasÄ«bām.

Un tā kā verifikācija ir algoritms, mēs varam izmantot tos paÅ”us rÄ«kus un rÄ«kus, kurus izmantojam vadÄ«bas programmu izveidei. Piemēram, SimInTech vide ļauj izveidot projektu pakotnes, kas satur dažādas modeļa daļas, kas tiek izpildÄ«tas atseviŔķu projektu veidā (objekta modelis, vadÄ«bas sistēmas modelis, vides modelis utt.).

PrasÄ«bu pārbaudes projekts Å”ajā gadÄ«jumā kļūst par tādu paÅ”u algoritma projektu un ir savienots ar modeļa pakotni. Un dinamiskajā modelÄ“Å”anas režīmā tas veic analÄ«zi par atbilstÄ«bu tehnisko specifikāciju prasÄ«bām.

Iespējamais sistēmas konstrukcijas piemērs ir parādīts 1. attēlā.

Automātiska tehnisko specifikāciju prasÄ«bu pārbaude dinamiskās modelÄ“Å”anas laikā
1. attēls. Pārbaudes projekta izstrādes piemērs.

Tāpat kā vadÄ«bas algoritmiem, prasÄ«bas var noformēt kā lapu kopu. Darba ērtÄ«bai ar algoritmiem strukturālās modelÄ“Å”anas vidēs, piemēram, SimInTech, Simulink, AmeSim, tiek izmantota iespēja izveidot daudzlÄ«meņu struktÅ«ras apakÅ”modeļu veidā. Å Ä« organizācija dod iespēju sagrupēt dažādas prasÄ«bas kopās, lai vienkārÅ”otu darbu ar prasÄ«bu masÄ«vu, kā tas tiek darÄ«ts vadÄ«bas algoritmiem (sk. 2. att.).

Automātiska tehnisko specifikāciju prasÄ«bu pārbaude dinamiskās modelÄ“Å”anas laikā
2. attēls. Prasību pārbaudes modeļa hierarhiskā struktūra.

Piemēram, aplÅ«kojamajā gadÄ«jumā izŔķir divas grupas: prasÄ«bas videi un prasÄ«bas tieÅ”i sistēmai. Tāpēc tiek izmantota divu lÄ«meņu datu struktÅ«ra: divas grupas, no kurām katra ir algoritma lapa.

Lai savienotu datus ar modeli, tiek izmantota standarta shēma signālu datu bāzes Ä£enerÄ“Å”anai, kurā tiek glabāti dati apmaiņai starp projekta daļām.

Veidojot un testējot programmatÅ«ru, Å”ajā datubāzē tiek ievietoti vadÄ«bas sistēmas izmantoto sensoru (reālo sistēmas sensoru analogu) rādÄ«jumi.
Testa projektā jebkurus dinamiskajā modelÄ« aprēķinātos parametrus var saglabāt tajā paŔā datubāzē un tādējādi izmantot, lai pārbaudÄ«tu, vai prasÄ«bas ir izpildÄ«tas.

Å ajā gadÄ«jumā pats dinamiskais modelis var tikt izpildÄ«ts jebkurā matemātiskās modelÄ“Å”anas sistēmā vai pat izpildāmas programmas veidā. VienÄ«gā prasÄ«ba ir programmatÅ«ras saskarņu klātbÅ«tne modelÄ“Å”anas datu izdoÅ”anai ārējai videi.

Automātiska tehnisko specifikāciju prasÄ«bu pārbaude dinamiskās modelÄ“Å”anas laikā
3. attēls. Pārbaudes projekta savienoÅ”ana ar komplekso modeli.

Pamatprasību pārbaudes lapas piemērs ir parādīts 4. attēlā. No izstrādātāja viedokļa tā ir parasta aprēķinu diagramma, uz kuras grafiski attēlots prasību pārbaudes algoritms.

Automātiska tehnisko specifikāciju prasÄ«bu pārbaude dinamiskās modelÄ“Å”anas laikā
4. attēls. Prasību pārbaudes lapa.

Pārbaudes lapas galvenās daļas ir aprakstÄ«tas 5. attēlā. Pārbaudes algoritms tiek veidots lÄ«dzÄ«gi kā vadÄ«bas algoritmu projektÄ“Å”anas diagrammas. Labajā pusē ir bloks signālu nolasÄ«Å”anai no datu bāzes. Å is bloks simulācijas laikā piekļūst signālu datu bāzei.

Saņemtie signāli tiek analizēti, lai aprēķinātu prasību pārbaudes nosacījumus. Šajā gadījumā tiek veikta augstuma analīze, lai noteiktu gaisa kuģa pozīciju (vai tas ir novietots stāvvietā vai lidojumā). Šim nolūkam varat izmantot citus modeļa signālus un aprēķinātos parametrus.

Pārbaudāmie verifikācijas nosacÄ«jumi un parametri tiek pārnesti uz standarta verifikācijas blokiem, kuros tiek analizēta Å”o parametru atbilstÄ«ba noteiktajām prasÄ«bām. Rezultāti tiek ierakstÄ«ti signālu datu bāzē tā, lai tos varētu izmantot, lai automātiski Ä£enerētu kontrolsarakstu.

Automātiska tehnisko specifikāciju prasÄ«bu pārbaude dinamiskās modelÄ“Å”anas laikā
5. attēls. Prasību pārbaudes aprēķinu lapas struktūra.

Pārbaudāmie parametri ne vienmēr izmanto datu bāzē esoÅ”os signālus, kurus kontrolē simulācijas procesā aprēķinātie parametri. Nekas neliedz mums veikt papildu aprēķinus projektu prasÄ«bu ietvaros, tāpat kā mēs aprēķinām pārbaudes nosacÄ«jumus.

Piemēram, Ŕī prasÄ«ba:

Korekcijas sistēmas aktivizācijas reižu skaits lidojuma laikā uz mērķi nedrīkst pārsniegt 5, un kopējais korekcijas sistēmas darbības laiks nedrīkst pārsniegt 30 sekundes.

Å ajā gadÄ«jumā prasÄ«bu projektÄ“Å”anas diagrammai tiek pievienots algoritms palaiÅ”anas reižu skaita un kopējā darbÄ«bas laika noteikÅ”anai.

Tipisku prasību pārbaudes bloks.

Katra standarta prasÄ«bas izvēles rÅ«tiņa ir paredzēta, lai aprēķinātu noteikta veida prasÄ«bas izpildi. Piemēram, vides prasÄ«bas ietver apkārtējās darba temperatÅ«ras diapazonu stāvvietā un lidojuma laikā. Å im blokam kā parametrs jāsaņem gaisa temperatÅ«ra modelÄ« un jānosaka, vai Å”is parametrs aptver norādÄ«to temperatÅ«ras diapazonu./p>

Blokā ir divi ievades porti, parametrs un nosacījums.

Pirmais tiek padots ar pārbaudāmo parametru. Å ajā gadÄ«jumā ā€œÄ€rējā temperatÅ«raā€.

Otrajam portam tiek piegādāts Būla mainīgais - nosacījums pārbaudes veikŔanai.

Ja otrajā ieejā tiek saņemts TRUE (1), tad bloks veic prasību pārbaudes aprēķinu.

Ja otrā ievade saņem FALSE (0), tad pārbaudes nosacÄ«jumi nav izpildÄ«ti. Tas ir nepiecieÅ”ams, lai varētu ņemt vērā aprēķina nosacÄ«jumus. MÅ«su gadÄ«jumā Ŕī ievade tiek izmantota, lai iespējotu vai atspējotu pārbaudi atkarÄ«bā no modeļa stāvokļa. Ja lidaparāts simulācijas laikā atrodas uz zemes, tad ar lidojumu saistÄ«tās prasÄ«bas netiek pārbaudÄ«tas, un otrādi - ja lidmaŔīna atrodas lidojumā, tad netiek pārbaudÄ«tas prasÄ«bas saistÄ«bā ar darbÄ«bu stendā.

Å o ievadi var izmantot arÄ« modeļa iestatÄ«Å”anai, piemēram, aprēķina sākuma stadijā. Kad modelis ir nogādāts vajadzÄ«gajā stāvoklÄ«, pārbaudes bloki tiek atspējoti, bet, tiklÄ«dz sistēma sasniedz nepiecieÅ”amo darbÄ«bas režīmu, tiek ieslēgti pārbaudes bloki.

Å Ä« bloka parametri ir:

  • robežnosacÄ«jumi: augŔējā (UpLimit) un apakŔējā (DownLimit) diapazona robežas, kas ir jāpārbauda;
  • nepiecieÅ”amais sistēmas ekspozÄ«cijas laiks robeždiapazonos (TimeInterval) sekundēs;
  • PieprasÄ«juma ID ReqName;
  • diapazona pārsniegÅ”anas pieļaujamÄ«ba Out_range ir BÅ«la mainÄ«gais, kas nosaka, vai vērtÄ«ba, kas pārsniedz pārbaudÄ«to diapazonu, ir prasÄ«bas pārkāpums.

Dažos gadījumos testa vērtības izvade norāda, ka sistēmai ir zināma rezerve un tā var darboties ārpus darbības diapazona. Citos gadījumos izvade nozīmē, ka sistēma nespēj noturēt iestatītās vērtības diapazonā.

Automātiska tehnisko specifikāciju prasÄ«bu pārbaude dinamiskās modelÄ“Å”anas laikā
6. attēls. Tipisks Ä«paŔību pārbaudes bloks diagrammā un tā parametri.

Å Ä« bloka aprēķina rezultātā izejā tiek izveidots mainÄ«gais Rezultāts, kas iegÅ«st Ŕādas vērtÄ«bas:

  • 0 ā€“ rNav, vērtÄ«ba nav definēta;
  • 1 ā€“ rGatavs, prasÄ«ba ir izpildÄ«ta;
  • 2 ā€“ rKļūme, prasÄ«ba nav izpildÄ«ta.

Bloka attēlā ir:

  • identifikatora teksts;
  • mērÄ«jumu robežu parametru digitālie displeji;
  • parametra statusa krāsu identifikators.

Bloka iekÅ”pusē var bÅ«t diezgan sarežģīta loÄ£isko secinājumu ķēde.

Piemēram, lai pārbaudÄ«tu 6. attēlā redzamās iekārtas darba temperatÅ«ras diapazonu, iekŔējā ķēde ir parādÄ«ta 7. attēlā.

Automātiska tehnisko specifikāciju prasÄ«bu pārbaude dinamiskās modelÄ“Å”anas laikā
7. attēls. TemperatÅ«ras diapazona noteikÅ”anas vienÄ«bas iekŔējā diagramma.

Ķēdes bloka iekÅ”pusē tiek izmantotas bloka parametros norādÄ«tās Ä«paŔības.
Bloka iekŔējā diagramma papildus prasÄ«bām atbilstÄ«bas analÄ«zei satur simulācijas rezultātu attēloÅ”anai nepiecieÅ”amo grafiku. Å o grafiku var izmantot gan apskatei aprēķina laikā, gan rezultātu analÄ«zei pēc aprēķina.

Aprēķinu rezultāti tiek pārsūtīti uz bloka izvadi un vienlaikus tiek ierakstīti vispārējā pārskata failā, kas tiek izveidots, pamatojoties uz visa projekta rezultātiem. (skat. 8. att.)

Atskaites, kas izveidota, pamatojoties uz simulācijas rezultātiem, piemērs ir html fails, kas izveidots atbilstoÅ”i noteiktam formātam. Formātu var patvaļīgi konfigurēt formātam, ko akceptējusi konkrēta organizācija.

Ķēdes bloka iekÅ”pusē tiek izmantotas bloka parametros norādÄ«tās Ä«paŔības.
Bloka iekŔējā diagramma papildus prasÄ«bām atbilstÄ«bas analÄ«zei satur simulācijas rezultātu attēloÅ”anai nepiecieÅ”amo grafiku. Å o grafiku var izmantot gan apskatei aprēķina laikā, gan rezultātu analÄ«zei pēc aprēķina.

Aprēķinu rezultāti tiek pārsūtīti uz bloka izvadi un vienlaikus tiek ierakstīti vispārējā pārskata failā, kas tiek izveidots, pamatojoties uz visa projekta rezultātiem. (skat. 8. att.)

Atskaites, kas izveidota, pamatojoties uz simulācijas rezultātiem, piemērs ir html fails, kas izveidots atbilstoÅ”i noteiktam formātam. Formātu var patvaļīgi konfigurēt formātam, ko akceptējusi konkrēta organizācija.

Automātiska tehnisko specifikāciju prasÄ«bu pārbaude dinamiskās modelÄ“Å”anas laikā
8. attēls. Ziņojuma faila piemērs, kas balstīts uz simulācijas rezultātiem.

Å ajā piemērā atskaites forma ir konfigurēta tieÅ”i projekta rekvizÄ«tos, un formāts tabulā ir iestatÄ«ts kā globālie projekta signāli. Å ajā gadÄ«jumā SimInTech pati atrisina atskaites iestatÄ«Å”anas problēmu, un bloks rezultātu ierakstÄ«Å”anai failā izmanto Ŕīs rindas, lai rakstÄ«tu atskaites failā.

Automātiska tehnisko specifikāciju prasÄ«bu pārbaude dinamiskās modelÄ“Å”anas laikā
9. attēls. Atskaites formāta iestatÄ«Å”ana globālajos projekta signālos

Signālu datu bāzes izmantoŔana prasībām.

Lai automatizētu darbu ar rekvizītu iestatījumiem, katram tipiskajam blokam signālu datu bāzē tiek izveidota standarta struktūra. (skat. 10. att.)

Automātiska tehnisko specifikāciju prasÄ«bu pārbaude dinamiskās modelÄ“Å”anas laikā
10. attēls. Prasību pārbaudes bloka struktūras piemērs signālu datu bāzē.

Signālu datu bāze nodroŔina:

  • Saglabā visus nepiecieÅ”amos sistēmas prasÄ«bu parametrus.
  • Ērta esoÅ”o projekta prasÄ«bu apskate no norādÄ«tajiem parametriem un aktuālajiem modelÄ“Å”anas rezultātiem.
  • Viena bloka vai bloku grupas iestatÄ«Å”ana, izmantojot skriptu programmÄ“Å”anas valodu. Izmaiņas signālu datu bāzē rada izmaiņas bloka Ä«paŔību vērtÄ«bās diagrammā.
  • Teksta aprakstu, saiÅ”u uz tehnisko specifikāciju vienÄ«bām vai identifikatoru glabāŔana prasÄ«bu pārvaldÄ«bas sistēmā.

Signālu datu bāzes struktÅ«ras prasÄ«bām var viegli konfigurēt darbam ar treŔās puses prasÄ«bu pārvaldÄ«bas sistēmu.VispārÄ«ga mijiedarbÄ«bas ar prasÄ«bu pārvaldÄ«bas sistēmām diagramma parādÄ«ta 11. attēlā.

Automātiska tehnisko specifikāciju prasÄ«bu pārbaude dinamiskās modelÄ“Å”anas laikā
11. attēls. Mijiedarbības ar prasību vadības sistēmu diagramma.

SimInTech testa projekta un prasÄ«bu kontroles sistēmas mijiedarbÄ«bas secÄ«ba ir Ŕāda:

  1. Darba uzdevumi ir sadalīti prasībās.
  2. Ir noteiktas tehnisko specifikāciju prasÄ«bas, kuras var pārbaudÄ«t, veicot tehnisko procesu matemātisku modelÄ“Å”anu.
  3. Izvēlēto prasību atribūti tiek pārnesti uz SimInTech signālu datu bāzi standarta bloku struktūrā (piemēram, maksimālā un minimālā temperatūra).
  4. Aprēķinu procesā struktūras dati tiek pārnesti uz blokprojekta diagrammām, tiek veikta analīze un rezultāti tiek saglabāti signālu datu bāzē.
  5. Kad aprēķins ir pabeigts, analīzes rezultāti tiek pārsūtīti uz prasību pārvaldības sistēmu.

PrasÄ«bu 3. lÄ«dz 5. darbÄ«bu var atkārtot projektÄ“Å”anas procesa laikā, kad projektā un/vai prasÄ«bās notiek izmaiņas un izmaiņu ietekme ir jāpārbauda atkārtoti.

Secinājumi.

  • Izveidotais sistēmas prototips ievērojami samazina esoÅ”o modeļu analÄ«zes laiku tehnisko specifikāciju prasÄ«bām.
  • Piedāvātajā testÄ“Å”anas tehnoloÄ£ijā tiek izmantoti jau esoÅ”ie dinamiskie modeļi, un to var izmantot pat jebkuriem dinamiskiem modeļiem, arÄ« tiem, kas netiek veikti SimInTech vidē.
  • Izmantojot pakeÅ”u datu organizÄ“Å”anu, paralēli modeļu izstrādei var izveidot prasÄ«bu pārbaudes pakotnes vai pat izmantot Ŕīs pakotnes kā modeļa izstrādes tehniskās specifikācijas.
  • TehnoloÄ£iju var integrēt ar esoÅ”ajām prasÄ«bu pārvaldÄ«bas sistēmām bez ievērojamām izmaksām.

Tiem, kas izlasa līdz beigām, saite uz video, kurā parādīts, kā darbojas prototips.

Avots: www.habr.com

Pievieno komentāru