Dla aplikacji HQEd:

• Audyt kodu
• Statyczne zbudowanie aplikacji
• tesowanie aplikacji

Analiza ostrze kompilacji:

• nieużywany parametr
• niebezpieczna konwersja
• niezainicjowana zmienna
• Błędne nawiasowanie
• Brak klamr

Konfiguracja na której testowana była aplikacja:

• Ubuntu 8.10, Qt ver. 4.4.3, Gnome ver. 2.24.1
• Ubuntu 9.04, Qt ver. 4.5.0, Gnome ver. 2.26.1

Potem były także zmiany wersji qt na wersje: 4.3.0 i 4.2.3 (dla Ubuntu 8.10) - na nich większych testów nie przeprowadzałem.

Wykonane modele:

• Thermostat - ustalenie wartości zadanej dla klimatyzacji w zależności od miesiąca i godziny
• ATM - bankomat

Zbudowałem model termostatu na podstawie juz dobrze opisanego sytemu:hekate_case_thermostat. Ponieważ został juz ten problem tam dość dobrze opisany dodam tylko, że zmieniłem miesiące aby odpowiadały porom roku na półkuli północnej.

Wykonanie w HQEd (screen):

Wykonanie w HQEd (plik o ściągnięcia):

thermostat.zip

Zbudowałem model bankomatu trochę na podstawie już stworzonego modelu (dostępnego w aplikacji) i trochę na podstawie własnych pomysłów. Jak dane wejściowe otrzymuje pin wprowadzony przez użytkownika, prawidłowy z bazy danych, deklarowana kwota, dostępne środki na koncie jak i w bankomacie. Na podstawie tych danych daje jedną z odpowiedzi: ok, nieprawidłowy pin, brak środków na koncie, brak środków w bankomacie.

Wykonanie w HQEd (screen):

Wykonanie w HQEd (plik o ściągnięcia):

atm.zip