Towards a Theory for Testing Non-terminating Programs

Arnaud Gotlieb, Matthieu Petit

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Abstract

Non-terminating programs are programs that legally perform unbounded computations. Though they are ubiquitous in real-world applications, testing these programs requires new theoretic developments as usual definitions of test data adequacy criteria ignore infinite paths. This paper develops a theory of program-based structural testing based on operational semantics. Reasoning at the program semantics level permits to cope with infinite paths (and non-feasible paths) when defining test data adequacy criteria. As a result, our criteria respect the first Weyuker’s property on finite applicability, even for non-terminating programs. We discuss the consequences of this re-interpretation of test data adequacy criteria w.r.t. existing test coverage criteria.
Original languageEnglish
Title of host publication33rd Annual IEEE International Computer Software and Applications Conference
PublisherIEEE
Publication date2009
Pages160-165
Publication statusPublished - 2009
Event33rd IEEE International Computer Software and Applications Conference - Seattle, United States
Duration: 20 Jul 200924 Jul 2009
Conference number: 33

Conference

Conference33rd IEEE International Computer Software and Applications Conference
Number33
CountryUnited States
CitySeattle
Period20/07/200924/07/2009

Keywords

  • Structural Software Testing
  • Test Data Adequacy Criteria

Cite this

Gotlieb, A., & Petit, M. (2009). Towards a Theory for Testing Non-terminating Programs. In 33rd Annual IEEE International Computer Software and Applications Conference (pp. 160-165). IEEE.
Gotlieb, Arnaud ; Petit, Matthieu. / Towards a Theory for Testing Non-terminating Programs. 33rd Annual IEEE International Computer Software and Applications Conference. IEEE, 2009. pp. 160-165
@inproceedings{57b0ce80782d11debfff000ea68e967b,
title = "Towards a Theory for Testing Non-terminating Programs",
abstract = "Non-terminating programs are programs that legally perform unbounded computations. Though they are ubiquitous in real-world applications, testing these programs requires new theoretic developments as usual definitions of test data adequacy criteria ignore infinite paths. This paper develops a theory of program-based structural testing based on operational semantics. Reasoning at the program semantics level permits to cope with infinite paths (and non-feasible paths) when defining test data adequacy criteria. As a result, our criteria respect the first Weyuker’s property on finite applicability, even for non-terminating programs. We discuss the consequences of this re-interpretation of test data adequacy criteria w.r.t. existing test coverage criteria.",
keywords = "Structural Software Testing, Test Data Adequacy Criteria",
author = "Arnaud Gotlieb and Matthieu Petit",
year = "2009",
language = "English",
pages = "160--165",
booktitle = "33rd Annual IEEE International Computer Software and Applications Conference",
publisher = "IEEE",
address = "United States",

}

Gotlieb, A & Petit, M 2009, Towards a Theory for Testing Non-terminating Programs. in 33rd Annual IEEE International Computer Software and Applications Conference. IEEE, pp. 160-165, Seattle, United States, 20/07/2009.

Towards a Theory for Testing Non-terminating Programs. / Gotlieb, Arnaud; Petit, Matthieu.

33rd Annual IEEE International Computer Software and Applications Conference. IEEE, 2009. p. 160-165.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

TY - GEN

T1 - Towards a Theory for Testing Non-terminating Programs

AU - Gotlieb, Arnaud

AU - Petit, Matthieu

PY - 2009

Y1 - 2009

N2 - Non-terminating programs are programs that legally perform unbounded computations. Though they are ubiquitous in real-world applications, testing these programs requires new theoretic developments as usual definitions of test data adequacy criteria ignore infinite paths. This paper develops a theory of program-based structural testing based on operational semantics. Reasoning at the program semantics level permits to cope with infinite paths (and non-feasible paths) when defining test data adequacy criteria. As a result, our criteria respect the first Weyuker’s property on finite applicability, even for non-terminating programs. We discuss the consequences of this re-interpretation of test data adequacy criteria w.r.t. existing test coverage criteria.

AB - Non-terminating programs are programs that legally perform unbounded computations. Though they are ubiquitous in real-world applications, testing these programs requires new theoretic developments as usual definitions of test data adequacy criteria ignore infinite paths. This paper develops a theory of program-based structural testing based on operational semantics. Reasoning at the program semantics level permits to cope with infinite paths (and non-feasible paths) when defining test data adequacy criteria. As a result, our criteria respect the first Weyuker’s property on finite applicability, even for non-terminating programs. We discuss the consequences of this re-interpretation of test data adequacy criteria w.r.t. existing test coverage criteria.

KW - Structural Software Testing

KW - Test Data Adequacy Criteria

M3 - Article in proceedings

SP - 160

EP - 165

BT - 33rd Annual IEEE International Computer Software and Applications Conference

PB - IEEE

ER -

Gotlieb A, Petit M. Towards a Theory for Testing Non-terminating Programs. In 33rd Annual IEEE International Computer Software and Applications Conference. IEEE. 2009. p. 160-165