Automated Testing of Event-Driven Applications

Research output: Book/anthology/dissertation/reportPh.D. thesisResearch

Standard

Automated Testing of Event-Driven Applications. / Jensen, Casper Svenning.

Department of Computer Science, Aarhus University, 2015. 163 p.

Research output: Book/anthology/dissertation/reportPh.D. thesisResearch

Harvard

Jensen, CS 2015, Automated Testing of Event-Driven Applications. Department of Computer Science, Aarhus University.

APA

Jensen, C. S. (2015). Automated Testing of Event-Driven Applications. Department of Computer Science, Aarhus University.

CBE

Jensen CS 2015. Automated Testing of Event-Driven Applications. Department of Computer Science, Aarhus University. 163 p.

MLA

Jensen, Casper Svenning Automated Testing of Event-Driven Applications Department of Computer Science, Aarhus University. 2015.

Vancouver

Jensen CS. Automated Testing of Event-Driven Applications. Department of Computer Science, Aarhus University, 2015. 163 p.

Author

Jensen, Casper Svenning. / Automated Testing of Event-Driven Applications. Department of Computer Science, Aarhus University, 2015. 163 p.

Bibtex

@phdthesis{5b945559cf4f4b0ead540c98a562bf12,
title = "Automated Testing of Event-Driven Applications",
abstract = "may be tested by selecting an interesting input (i.e. a sequence ofevents), and deciding if a failure occurs when the selected input is applied tothe event-driven application under test. Automated testing promises to reducethe workload for developers by automatically selecting interesting inputsand detect failures. However, it is non-trivial to conduct automated testingof event-driven applications because of, for example, infinite input spaces andthe absence of specifications of correct application behavior.In this PhD dissertation, we identify a number of specific challenges whenconducting automated testing of event-driven applications, and we presentnovel techniques for solving these challenges.First, we present an algorithm for stateless model-checking of event-drivenapplications with partial-order reduction, and we show how this algorithmmay be used to systematically test web applications for timing related failures.Next, we present an algorithm for generating inputs to event-drivenapplications in a targeted manner, combining existing techniques using UImodels and concolic testing in a novel way. Finally, we show how server interfacedescriptions can be used to simplify the process of automated testing ofweb applications that depend on client-server communication, and we presenta learning algorithm for inferring such server interface descriptions from concreteobservations.We implement tools for web applications and Android mobile applicationsusing the above algorithms and techniques, and we experimentally evaluatethe effectiveness of the proposed solutions on real-world applications. Basedon our experiments, we conclude that our proposed solutions are useful whenautomatically testing event-driven applications, and that our proposed solutionspushes the state-of-the-art within this area.",
author = "Jensen, {Casper Svenning}",
year = "2015",
month = "1",
day = "4",
language = "English",
publisher = "Department of Computer Science, Aarhus University",

}

RIS

TY - BOOK

T1 - Automated Testing of Event-Driven Applications

AU - Jensen, Casper Svenning

PY - 2015/1/4

Y1 - 2015/1/4

N2 - may be tested by selecting an interesting input (i.e. a sequence ofevents), and deciding if a failure occurs when the selected input is applied tothe event-driven application under test. Automated testing promises to reducethe workload for developers by automatically selecting interesting inputsand detect failures. However, it is non-trivial to conduct automated testingof event-driven applications because of, for example, infinite input spaces andthe absence of specifications of correct application behavior.In this PhD dissertation, we identify a number of specific challenges whenconducting automated testing of event-driven applications, and we presentnovel techniques for solving these challenges.First, we present an algorithm for stateless model-checking of event-drivenapplications with partial-order reduction, and we show how this algorithmmay be used to systematically test web applications for timing related failures.Next, we present an algorithm for generating inputs to event-drivenapplications in a targeted manner, combining existing techniques using UImodels and concolic testing in a novel way. Finally, we show how server interfacedescriptions can be used to simplify the process of automated testing ofweb applications that depend on client-server communication, and we presenta learning algorithm for inferring such server interface descriptions from concreteobservations.We implement tools for web applications and Android mobile applicationsusing the above algorithms and techniques, and we experimentally evaluatethe effectiveness of the proposed solutions on real-world applications. Basedon our experiments, we conclude that our proposed solutions are useful whenautomatically testing event-driven applications, and that our proposed solutionspushes the state-of-the-art within this area.

AB - may be tested by selecting an interesting input (i.e. a sequence ofevents), and deciding if a failure occurs when the selected input is applied tothe event-driven application under test. Automated testing promises to reducethe workload for developers by automatically selecting interesting inputsand detect failures. However, it is non-trivial to conduct automated testingof event-driven applications because of, for example, infinite input spaces andthe absence of specifications of correct application behavior.In this PhD dissertation, we identify a number of specific challenges whenconducting automated testing of event-driven applications, and we presentnovel techniques for solving these challenges.First, we present an algorithm for stateless model-checking of event-drivenapplications with partial-order reduction, and we show how this algorithmmay be used to systematically test web applications for timing related failures.Next, we present an algorithm for generating inputs to event-drivenapplications in a targeted manner, combining existing techniques using UImodels and concolic testing in a novel way. Finally, we show how server interfacedescriptions can be used to simplify the process of automated testing ofweb applications that depend on client-server communication, and we presenta learning algorithm for inferring such server interface descriptions from concreteobservations.We implement tools for web applications and Android mobile applicationsusing the above algorithms and techniques, and we experimentally evaluatethe effectiveness of the proposed solutions on real-world applications. Basedon our experiments, we conclude that our proposed solutions are useful whenautomatically testing event-driven applications, and that our proposed solutionspushes the state-of-the-art within this area.

M3 - Ph.D. thesis

BT - Automated Testing of Event-Driven Applications

PB - Department of Computer Science, Aarhus University

ER -