uu.seUppsala University Publications
Change search
ReferencesLink to record
Permanent link

Direct link
A case study in Non-Functional Regression Verification
Uppsala University, Disciplinary Domain of Science and Technology, Mathematics and Computer Science, Department of Information Technology.
2016 (English)Independent thesis Advanced level (degree of Master (Two Years)), 20 credits / 30 HE creditsStudent thesis
Abstract [en]

In the process of software evolution, it is an important concern to prevent the introduction of unwanted behavior or bugs (known as regressions) due to updates or when a new feature is implemented in the software. Regression testing is one common solution to identify regressions; a complementary approach that has the same goals as regression testing, but applies methods from formal verification is called regression verification. Usually, both regression testing and verification only consider functional properties, e.g., the results produced by a program. In this thesis, non-functional regressions are considered, in particular detection of modifications that adversely affect program run-time. Applying the method of regression verification, it is shown that two versions of a program produce the same output for all inputs, as well as verified that the two versions are equal with respect to run-time. For the latter step, programs are instrumented to count the number of executed instructions (weighted by the cost of instructions); those counters can then be compared using functional regression verification. Experiments show that this combination of functional regression verification and instrumentation can effectively analyze non-functional Equivalence properties for a range of example programs. In the experiments, the REVE tool, is used to determine functional equivalence after instrumentation.

Place, publisher, year, edition, pages
2016. , 70 p.
IT, 16038
National Category
Engineering and Technology
URN: urn:nbn:se:uu:diva-302089OAI: oai:DiVA.org:uu-302089DiVA: diva2:956351
Educational program
Masters Programme in Embedded Systems
Available from: 2016-08-30 Created: 2016-08-30 Last updated: 2016-08-30Bibliographically approved

Open Access in DiVA

fulltext(642 kB)16 downloads
File information
File name FULLTEXT01.pdfFile size 642 kBChecksum SHA-512
Type fulltextMimetype application/pdf

By organisation
Department of Information Technology
Engineering and Technology

Search outside of DiVA

GoogleGoogle Scholar
Total: 16 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Total: 160 hits
ReferencesLink to record
Permanent link

Direct link