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

• Przedstawienie metod automatycznej 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 i Properties. Może to jednak prowadzić do nadmiernego przewijania w poziomie na mniejszych ekranach. Możesz tworzyć niestandardowe widoki zawierające tylko najważniejsze atrybuty, aby usprawnić proces weryfikacji. Utwórzmy nowy widok do weryfikacji i go wczytajmy.

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

2. Najedź kursorem na dowolny nagłówek 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

   Atrybuty można również zaznaczać/odznaczać za pomocą panelu Columns, dostępnego po prawej stronie. To podejście pokazano również po to, aby uświadomić Ci dodatkowe opcje dostępne w nagłówkach kolumn, takie jak filtry i opcje zmiany 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 Portal oferuje trzy kolumny przeznaczone do weryfikacji i walidacji wymagań (oprócz dodatkowych kolumn, takich jak Compliance i Compliance Comment, a nawet kolumn niestandardowych 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.

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

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

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 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 otwartym oknie Link Requirement wybierz R-Fan-001 z listy rozwijanej Requirement oraz Valifan 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.

   

Dzięki temu pomyślnie utworzyliśmy ręczne działanie weryfikacyjne. Przyjrzyjmy się teraz, jak skonfigurować automatyczne weryfikacje naszych wymagań, które porównują vali bloków z vali wymagań.

Automatyczna weryfikacja systemu przy użyciu reguł

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

2. 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 modułu Blocks.

   

   Vali w wymaganiach można edytować, klikając ikonę w wyskakującym oknie. 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ą masę Valifan requirement wynoszącą 300 g z vali masy systemu Valifan z modułu Blocks. Użyj symbolu $, aby odwoływać się do vali. W wyświetlonym oknie podręcznym 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 poniżej pola tekstowego rzeczywiste powiązane wartości.

   

4. 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 oraz łączny status V&V równy 2/2 (ponieważ działanie kontroli masy również zostało wcześniej zweryfikowane).

   

Kolejne kroki?

Gratulacje, znasz już Requirements Portal!

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

• Dodaj Compliance do swoich wymagań.

• Dodaj kilka relacji parent/children między wymaganiami, sprawdź wykres połączeń connections graph 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 światła na panel słoneczny.