Sök i LIBRIS databas



Sökning: onr:22682187 > Targeted Property-B...

Targeted Property-Based Testing with Applications in Sensor Networks [Elektronisk resurs]

Löscher, Andreas 1985- (författare)
Sagonas, Konstantinos (preses)
Voigt, Thiemo (preses)
Hughes, John (opponent)
Uppsala universitet Teknisk-naturvetenskapliga vetenskapsområdet (utgivare)
Uppsala universitet Teknisk-naturvetenskapliga vetenskapsområdet (utgivare)
Computing Science (medarbetare)
Uppsala Acta Universitatis Upsaliensis 2018
Engelska 124
Serie: Uppsala Dissertations from the Faculty of Science and Technology 1104-2516
Läs hela texten
Läs hela texten
  • E-bokAvhandling(Diss. Uppsala : Uppsala universitet, 2018)
Sammanfattning Ämnesord
  • Testing is a fundamental part of modern software development, as it unveils bugs in the system under test and gives confidence in their correctness. Testing is often a laborious task as it typically requires to write by hand a plethora of test cases to test a system thoroughly. This task can be aided by high-level testing techniques such as random property-based testing (PBT) where the testing task is reduced to specifying properties that the system under test is expected to satisfy, and generators that produce well-distributed random inputs to these properties. However, as with all random testing techniques, the confidence in the system and the chances of finding a bug is proportional to the number of tests. If the set of possible inputs is large, even a high number of tests does not yield a satisfactory result. One example is testing sensor networks, where one not only needs to produce the inputs for the software system but also needs to consider the network topology and the systems environment. This dissertation presents targeted property-based testing, an enhanced form of PBT where the input generation is guided by a search strategy instead of being random, thereby combining the strengths of QuickCheck-like and search-based testing techniques. It furthermore presents an automation for the simulated annealing search strategy that reduces the manual task of using targeted PBT. We present concrete implementations for all presented techniques and a framework for PBT of sensor networks. Applying PBT to testing sensor networks has allowed us to test relatively complex software and uncover subtle and hard-to-find bugs. We evaluate targeted PBT by comparing it to its random counterpart on a series of case studies. We show that its testing performance is significantly higher than that of random PBT. Furthermore, we demonstrate that the extra effort required to use targeted PBT is limited to specifying a test goal. With these results, we argue that targeted PBT improves the state-of-the-art of software testing and ultimately leads to higher confidence in complex software systems. 


Natural Sciences  (hsv)
Computer and Information Sciences  (hsv)
Computer Sciences  (hsv)
Naturvetenskap  (hsv)
Data- och informationsvetenskap  (hsv)
Datavetenskap (datalogi)  (hsv)
Computer Science  (uu)
Datavetenskap  (uu)

Indexterm och SAB-rubrik

Software Testing
Search-Based Software Testing
Property-Based Testing
Inställningar Hjälp

Uppgift om bibliotek saknas i LIBRIS

Kontakta ditt bibliotek, eller sök utanför LIBRIS. Se högermenyn.

Fel i posten?
Teknik och format
Sök utifrån
LIBRIS söktjänster

Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.

Copyright © LIBRIS - Nationella bibliotekssystem

pil uppåt Stäng

Kopiera och spara länken för att återkomma till aktuell vy