2024_Analysis_Airline-Reservation-System

Informacije o projektu:

Ovaj repozitorijuma sadrži rezultate praktičnog seminarskog rada u okviru kursa Verifikacija softvera, na master studijama Matematičkog fakulteta u Beogradu. Izrada projekta obuhvata primenu alata za verifikaciju softvera na odabranom projektu i analizu dobijenih rezultata.

Autor: Natalija Filipović 1013/2024

Informacije o projektu koji se analizira:

Projekat koji se analizira predstavlja sistem za pronalaženje letova. Sistem pruža mogućnost osnovne pretrage leta na osnovu datuma i kompanije, ali i naprednu pretragu najjeftinijeg let, najkraćeg let, kao i izbor letenja sa ili bez presedanja. Projekat je izradjen u programskom jeziku C++, a može se koristiti putem komandne linije.

Ovde možete pogledati odabrani projekat.

Pokretanje projekta:

1. Pre pokretanja projekta potrebno je izmeniti file na putanji Airline-Reservation-System/src/List.h: linija 3: #include"Vector" zameniti sa #include "Vector.h"
2. Prevodjenje aplikacije: g++ -o airline_reservation_system Main.cpp
3. Pokrenuti dobijeni izvršni fajl: ./airline_reservation_system

Primenjeni alati, instalacija i uputstvo za pokretanje: