Automatically testing interactive applications using extended task trees

DOI10.1016/J.JLAP.2009.01.005MaRDI QIDQ2270687zbMATH OpenOpenAlexFDO

Authors Laya Madani, Ioannis Parissis

Publication date 29 July 2009

Published in The Journal of Logic and Algebraic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jlap.2009.01.005

zbMATH Keywords

interactive software testingmodel-based testingprobabilistic FSMtask treestest data generation

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Extending the test template framework for specification-based testing of interactive systems
• Demonstration of an automated integrated testing environment for CTI systems
• Demonstration of an automated integrated test environment for web-based applications

Cites work

• An experience in proving regular networks of processes by modular model checking
• Automatically testing interactive applications using extended task trees
• Customized Testing for Probabilistic Systems
• Derivation of a Suitable Finite Test Suite for Customized Probabilistic Systems
• Design, specification and verification of interactive systems '99. Proceedings of the Eurographics workshop held in Braga, Portugal, June 2--4, 1999
• Lutess: A testing environment for synchronous software

Cited in

(1)

• Automatically testing interactive applications using extended task trees

Describes a project that uses

Uses Software

• Lutess
• LUSTRE

This page was built for publication: Automatically testing interactive applications using extended task trees

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2270687)