To jest stara wersja strony!
Prezentacja
Cel Projektu
Dla aplikacji HQEd:
Audyt kodu - sprowadziło się do analizy ostrzeżeń kompilacji
Statyczne zbudowanie aplikacji
Testowanie aplikacji - stworzenie dwóch dużych modeli, jak i testy na małych
Audyt kodu
Analiza ostrzeżeń kompilacji:
nieużywany parametr - najwięcej ostrzeżeń
niebezpieczna konwersja
niezainicjowana zmienna
Błędne nawiasowanie - wykrycie błędów logicznych
Brak klamr - wykrycie błędów logicznych
Testy
Główne Konfiguracje na których testowano 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
a także dla Ubuntu 8.10, qt w wersjach: 4.3.0 i 4.2.3.
Wykonane modele:
Thermostat
Zbudowany na podstawie juz dobrze opisanego sytemu:hekate_case_thermostat, zmieniłem miesiące aby odpowiadały porom roku na półkuli północnej.
Wykonanie w HQEd (plik '.hml' o ściągnięcia):
thermostat.zip
Thermostat (screen)
ATM
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 (plik '.hml' o ściągnięcia):
atm.zip
ATM (screen)
Wnioski