Program za avtomatsko preverjanje algoritmov napisanih v programskem jeziku C++ : diplomsko delo

Golobič, Tadej (avtor), Dobravec, Tomaž (mentor)

Testiranje igra zelo pomemben del pri procesu razvoja programske opreme. Ne glede na to kateri proces razvoja programske opreme izberemo, je vedno treba preveriti pravilnost delovanja algoritma. V svojem diplomskem delu sem ˇzelel nadgraditi oziroma razˇsiriti sistem ALGator, da ne bi samo prever- jal pravilnosti delovanja algoritmov, napisanih v programskem jeziku JAVA, ampak, da bi tudi preverjal pravilnosti delovanja algoritmov, napisanih v pro- gramskem jeziku C++. Glede na to, da naˇs pristop temelji na ˇze obstojeˇcem sistemu ALGator, bi radi vsem uporabnikom tega sistema omogoˇcili enako izkuˇsnjo na sistemu ALGator, kot na njegovi razˇsiritvi imenovani ALGatorC. Prav tako bi radi preverjali iste parametre tako v programskem jeziku C++ kot tudi v programskem jeziku JAVA, da bi lahko kasneje te rezultate tudi primerjali med seboj.

• Jezik: Slovenski jezik
• Ključne besede: C++, prevajalnik, statične knjižnice, dinamične knjižnice, linux, ubuntu, razhroščevalnik, automake, autoconf
• Vrsta gradiva: Diplomsko delo/naloga
• Tipologija: 2.11 - Diplomsko delo
• Organizacija: FRI - Fakulteta za računalništvo in informatiko
• Založnik: [T. Golobič]
• Leto izida: 2015
• Št. strani: 55 str.
• PID: 20.500.12556/RUL-72319
• COBISS.SI-ID: 1536462275
• Datum objave v RUL: 11.09.2015

Licence

• Licenca: CC BY-SA 2.5 SI, Creative Commons Priznanje avtorstva-Deljenje pod enakimi pogoji 2.5 Slovenija
• Povezava: https://creativecommons.org/licenses/by-sa/2.5/si/deed.sl
• Opis: Dovoljuje kopiranje in razširjanje vsebin v kakršnemkoli mediju in obliki. Dovoljuje remixanje, urejanje, predelava in vključevanje vsebine v lastna dela v vse namene, tudi komercialne. Primerno morate navesti avtorja, povezavo do licence in označiti spremembe, če so kakšne nastale. To lahko storite na kakršenkoli razumen način, vendar ne na način, ki bi namigoval na to, da dajalec licence podpira vas ali vašo uporabo dela. Če vsebino uredite, predelate (remixate) ali gradite na njej, morate svojo različico razširjati pod isto licenco kot izvirnik. Ne smete uporabiti pravnih določil ali tehničnih ukrepov, ki bi pravno omejili ali onemogočilo druge, da bi storili karkoli, kar licenca dovoli.

Sekundarni jezik

• Jezik: Angleški jezik
• Naslov: Programme for automatic verification of algorithms written in C++ programming language

Izvleček

Testing plays a very important role in the process of software development. Accuracy of the correctly functioning algorithm must be checked, regardless of the developing software process we use. In my thesis I wanted to upgrade or more precisely – to expand ALGator system, so that it would not only verify the accuracy of algorithms functionality written in JAVA programming language, but to also check the functionality of algorithms written in C++ programming language. Our approach is based on a already existing system – ALGator, but we would like to enable equal experience while working on ALGatorC - expanded version of the programme. We would also like to check the same parameters in C++ and JAVA programming languages, so we could be able to compare given results.

• Ključne besede: C++, compiler, debugger, static libraries, shared libraries, linux, ubuntu, automake, autoconf