Weryfikacja systemu

W Requirements & Systems Portal wymagania są powiązane z jednym lub większą liczbą systemów albo podsystemów. Systemy te są weryfikowane za pomocą działań Verifications and Validations (V&V). Wymaganie bloku może być weryfikowane przez jedno lub wiele działań V&V. Każde działanie może być połączone z jednym lub kilkoma wymaganiami i może weryfikować jeden lub więcej systemów.

W tej części samouczka omówimy, jak przeprowadzać działania V&V przy użyciu Requirements & Systems Portal, oraz wyjaśnimy następujące kwestie:

• Jak tworzyć działania V&V.

• Jak łączyć działania V&V z wymaganiami.

• Jak uruchomić działanie.

• Przedstawienie metod automatycznej weryfikacji w Requirements & Systems Portal.

Tworzenie i wczytywanie widoków do weryfikacji

Requirements & Systems Portal oferuje różne wstępnie wybrane atrybuty, takie jak Identifier, Text, Parents, Children, Type, State, V&V Status, V&V Activities, V&V Blocks, Tags i Properties. Może to jednak prowadzić do nadmiernego przewijania w poziomie na mniejszych ekranach. Możesz tworzyć niestandardowe widoki zawierające tylko niezbędne atrybuty, aby usprawnić proces weryfikacji. Utwórzmy nowy widok do weryfikacji i wczytajmy go.

1. Przejdź do modułu Requirements Module () i otwórz specyfikację Fan_Spec.

2. Najedź kursorem na dowolny nagłówek kolumny, kliknij wyświetloną ikonę , a następnie kliknij ikonę , aby wyświetlić listę dostępnych kolumn.

   

3. Odznacz wszystkie kolumny na liście i zaznacz tylko następujące kolumny:

   • Text

   • Parents

   • Children

   • V&V Activities

   • V&V Status

   • V&V Rules

   • Applicable Block

   • Tags

   Atrybuty możesz także zaznaczać/odznaczać za pomocą panelu Columns dostępnego po prawej stronie. To podejście pokazano po to, aby uświadomić Ci również dodatkowe opcje dostępne w nagłówkach kolumn, takie jak filtry i opcje rozmiaru tabeli. Na przykład ikona udostępnia opcje filtrowania dla konkretnej kolumny.

4. Kliknij prawym przyciskiem myszy w tabeli i wybierz polecenie Save view z menu kontekstowego. W otwartym oknie Save current view wpisz Verification_View jako View name, wybierz Private, a następnie kliknij .

   

   Wszystkie wybrane kolumny, szerokości kolumn i zastosowane filtry zostaną zapisane w dedykowanym widoku. Po zapisaniu widoku możesz go wczytać, klikając prawym przyciskiem myszy w tabeli i wybierając odpowiednią pozycję w podmenu Load View.

Dodawanie działania Verification & Validation do wymagania

Requirements & Systems Portal oferuje trzy kolumny przeznaczone do weryfikacji i walidacji wymagań (oprócz dodatkowych kolumn, takich jak Compliance i Compliance Comment, a nawet niestandardowych kolumn związanych z działaniami weryfikacyjnymi):

• V&V Activities – wyświetla działania V&V powiązane z wymaganiem.

• V&V Status – wskazuje ogólny status weryfikacji wymagania na podstawie statusu powiązanych działań V&V. Jeśli wymaganie nie ma przypisanych działań V&V, status można ustawić ręcznie.

• V&V Rules – umożliwia przypisywanie reguł do wymagania w celu wykonania automatycznego porównania vali między wymaganiem a System Design Module.

1. Przejdź do modułu Verifications & Validations Module  , klikając ikonę  na pasku nawigacji modułów po lewej stronie.

2. Kliknij przycisk . W otwartym oknie Create V&V Activity wpisz Mass Inspection w polu Name oraz This activity measures the mass of the Valifan. w polu Description, a następnie kliknij .

   

3. Teraz połączymy nowe działanie z jednym z naszych wymagań z Requirements Module. Kliknij nazwę działania w kolumnie Name i kliknij kontrolkę Requirements Statuses u góry strony.

   

4. Kliknij przycisk  w prawym górnym rogu. W otwartym oknie Link Requirement wybierz R-Fan-001 z listy rozwijanej Requirement oraz wybierz Fan z listy rozwijanej Block, a następnie kliknij .

   

5. Załóżmy, że przeprowadzono kontrolę masy zgodnie z instrukcjami działania i teraz chcemy ustawić status weryfikacji na verified. Aby to zrobić, kliknij dwukrotnie komórkę w kolumnie Status i wybierz Verified z listy rozwijanej.

   

6. Przejdź do modułu Requirements Module () i otwórz specyfikację Fan_Spec.

7. W tabeli zobaczysz przypisane działanie V&V w kolumnie V&V Activities oraz status Verified 1/1 w kolumnie V&V Status.

   

W ten sposób pomyślnie utworzyliśmy ręczne działanie weryfikacyjne. Przyjrzyjmy się teraz, jak wykonywać automatyczne weryfikacje naszych wymagań, które sprawdzają vale projektu systemu względem vali wymagań.

Automatyczna weryfikacja systemu przy użyciu reguł

1. W specyfikacji Fan_Spec najedź kursorem na vali 300 g w kolumnie Text dla wymagania R-Fan-001 i sprawdź jego nazwę w wyskakującym oknie. Ta nazwa zostanie użyta podczas tworzenia reguły, w której to vali będzie porównywane z vali z System Design Module.

   

   Vali w wymaganiach można edytować, klikając ikonę  w wyskakującym oknie. Możesz dostosować parametry, takie jak nazwa, marginesy itp.

2. Kliknij dwukrotnie komórkę w kolumnie V&V Rules dla wymagania R-Fan-001 . Otworzy się okno V&V Rules, w którym możesz zdefiniować regułę porównującą masę Valifan requirement wynoszącą 300 g z vali masy systemu Fan z System Design Module. Użyj symbolu $, aby odwoływać się do vali. W wyświetlonym oknie podręcznym możesz wyszukiwać vale, wpisując ich nazwy. Zdefiniuj regułę w następujący sposób:

   $Valifan.Mass<$R-Fan_001.maximum_valifan_mass

   Zwróć uwagę, że Requirements & Systems Portal pobiera poniżej pola tekstowego rzeczywiste powiązane wartości.

   

3. Kliknij przycisk  w oknie V&V Rules, a następnie zamknij okno. W tabeli zobaczysz, że mamy teraz jedną regułę (która jest verified) powiązaną z wymaganiem.

   

Kolejne kroki?

Gratulacje, znasz już Requirements & Systems Portal!

Możesz dalej rozwijać swój projekt wentylatora biurkowego. Oto kilka pomysłów:

• Dodaj zgodność do swoich wymagań

• Dodaj kilka relacji nadrzędny/podrzędny między wymaganiami, sprawdź graf połączeń i zwróć uwagę na kody kolorów przy wymaganiu. Co powiesz na utworzenie symulacji obliczającej wynikowe przemieszczenie powietrza w zależności od trybów pracy wentylatora?

• Dodaj blok panelu słonecznego, aby wentylator był przenośny. Możesz uzależnić maksymalną prędkość obrotową od kąta padania słońca na panel słoneczny.