ePrints.FRI - University of Ljubljana, Faculty of Computer and Information Science
slovenščina

Programme for automatic verification of algorithms written in C++ programming language

Tadej Golobič (2015) Programme for automatic verification of algorithms written in C++ programming language. EngD thesis.

[img]
Preview
 PDF
Download (392Kb)

    Abstract

    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.

    Item Type: Thesis (EngD thesis)
    Keywords: C++, compiler, debugger, static libraries, shared libraries, linux, ubuntu, automake, autoconf.
    Number of Pages: 55
    Language of Content: Slovenian
    Mentor / Comentors:
    Name and SurnameIDFunction
    doc. dr. Tomaž Dobravec258Mentor
    Link to COBISS: http://www.cobiss.si/scripts/cobiss?command=search&base=51012&select=(ID=1536462275)
    Institution: University of Ljubljana
    Department: Faculty of Computer and Information Science
    Item ID: 3054
    Date Deposited: 08 Sep 2015 13:35
    Last Modified: 15 Sep 2015 09:45
    URI: http://eprints.fri.uni-lj.si/id/eprint/3054

    Actions (login required)

    		 View Item
    EPrints Logo
    ePrints.FRI is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.