Weryfikacja systemu

W Requirements Portal wymagania są powiązane z jednym lub większą liczbą systemów lub podsystemów. Systemy te są weryfikowane za pomocą działań w zakresie weryfikacji i walidacji (V&V). Wymaganie bloku może być weryfikowane przez jedno lub wiele działań V&V. Każde działanie może być powiązane 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 w Requirements Portal, i wyjaśnimy następujące kwestie:

• Jak tworzyć działania V&V.

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

• Jak uruchomić działanie.

• Zaprezentujemy automatyczne metody weryfikacji w Requirements Portal.

Tworzenie i wczytywanie widoków do weryfikacji

Requirements 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 oraz 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. Otwórz specyfikację Fan_Spec (pod wpisem Requirements w drzewie projektu).

2. Najedź kursorem na nagłówek dowolnej kolumny, kliknij ikonę , która się pojawi, 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

   Możesz także zaznaczać/odznaczać atrybuty w panelu Columns, dostępnym z prawej strony. To podejście pokazujemy po to, aby zwrócić uwagę na dodatkowe opcje dostępne w nagłówkach kolumn, takie jak filtry i opcje dopasowania 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 oknie Save current view, które się otworzy, wpisz Verification_View jako View name, wybierz Private, a następnie kliknij .

   

   Wszystkie wybrane kolumny, szerokości kolumn oraz 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 weryfikacji i walidacji do wymagania

Requirements Portal oferuje trzy kolumny dedykowane weryfikacji i walidacji wymagań (poza dodatkowymi kolumnami, takimi jak Compliance i Compliance Comment, a nawet niestandardowymi kolumnami związanymi 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.

• V&V Rules – automatyczna weryfikacja oparta na porównaniu vali pomiędzy wymaganiem a modułem Blocks.

1. Rozwiń wpis Verifications & Validations w drzewie projektu i wybierz Activities.

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

   

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

   

4. Kliknij przycisk w lewym górnym rogu. W oknie Link Requirement, które się otworzy, wybierz R-Fan-001 z listy rozwijanej Requirement oraz wybierz Valifan z listy rozwijanej Block, a następnie kliknij .

   

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

   

W ten sposób pomyślnie utworzyliśmy ręczne działanie weryfikacyjne. Zobaczmy teraz, jak uzyskać automatyczne weryfikacje naszych wymagań, które sprawdzają vali bloków względem vali wymagań.

Automatyczna weryfikacja systemu przy użyciu reguł

1. Otwórz specyfikację Fan_Spec (pod wpisem Requirements w drzewie projektu).

2. Najedź kursorem na vali 300 g w kolumnie Text dla wymagania R-Fan-001 i sprawdź jego nazwę w dymku. Ta nazwa zostanie użyta podczas tworzenia reguły, w której to vali będzie porównywane z vali z modułu Blocks.

   

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

3. 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ą nasze wymaganie Valifan mass of 300 g z vali masy systemu Valifan z modułu Blocks. Użyj symbolu $, aby odwoływać się do vali. W wyświetlonym okienku możesz wyszukiwać vali, wpisując ich nazwy. Zdefiniuj regułę w następujący sposób:

   $Valifan.Mass<$R-Fan_001.maximum_fan_mass

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

   

4. Kliknij przycisk w oknie V&V Rules, a następnie zamknij okno. W tabeli zobaczysz, że mamy teraz jedną regułę (która jest zweryfikowana) powiązaną z wymaganiem oraz łączny status V&V 2/2 (ponieważ działanie kontroli masy również zostało wcześniej zweryfikowane).

   

Kolejne kroki?

Gratulacje — teraz wiesz, jak poruszać się po Requirements Portal!

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

• Dodaj Compliance 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.

• 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.