Formal Methods for Conformance Testing: Theory Can Be Practical!

Hendrik Brinksma, N. Halbwachs (Editor), D. Peled (Editor)

Research output: Contribution to conferencePaperAcademicpeer-review

Abstract

Although testing is the most widely used technique to control the quality of software systems, it is a topic that, until relatively recently, has received scant attention from the computer research community. Although some pioneering work was already done a considerable time ago [Cho78,GG83,How78,Mye79], the testing of software systems has never become a mainstream activity of scientific research. The reasons that are given to explain this situation usually include arguments to the effect that testing as a technique is inferior to verification -testing can show only the presence of errors, not their absence - and that we should therefore concentrate on developing theory and tools for the latter. It has also been frequently said that testing is by its very nature a non-formal activity, where formal methods and related tools are at best of little use.
Original languageUndefined
Pages44-46
Number of pages3
Publication statusPublished - Jul 1999
Event11th International Conference on Computer Aided Verification, CAV 1999 - Trento, Italy
Duration: 6 Jul 199910 Jul 1999
Conference number: 11

Conference

Conference11th International Conference on Computer Aided Verification, CAV 1999
Abbreviated titleCAV
CountryItaly
CityTrento
Period6/07/9910/07/99

Keywords

  • FMT-TESTING
  • IR-63320
  • EWI-6514

Cite this

Brinksma, H., Halbwachs, N. (Ed.), & Peled, D. (Ed.) (1999). Formal Methods for Conformance Testing: Theory Can Be Practical!. 44-46. Paper presented at 11th International Conference on Computer Aided Verification, CAV 1999, Trento, Italy.
Brinksma, Hendrik ; Halbwachs, N. (Editor) ; Peled, D. (Editor). / Formal Methods for Conformance Testing: Theory Can Be Practical!. Paper presented at 11th International Conference on Computer Aided Verification, CAV 1999, Trento, Italy.3 p.
@conference{f74dc4290631472bbdbd4194bb4c75c6,
title = "Formal Methods for Conformance Testing: Theory Can Be Practical!",
abstract = "Although testing is the most widely used technique to control the quality of software systems, it is a topic that, until relatively recently, has received scant attention from the computer research community. Although some pioneering work was already done a considerable time ago [Cho78,GG83,How78,Mye79], the testing of software systems has never become a mainstream activity of scientific research. The reasons that are given to explain this situation usually include arguments to the effect that testing as a technique is inferior to verification -testing can show only the presence of errors, not their absence - and that we should therefore concentrate on developing theory and tools for the latter. It has also been frequently said that testing is by its very nature a non-formal activity, where formal methods and related tools are at best of little use.",
keywords = "FMT-TESTING, IR-63320, EWI-6514",
author = "Hendrik Brinksma and N. Halbwachs and D. Peled",
year = "1999",
month = "7",
language = "Undefined",
pages = "44--46",
note = "null ; Conference date: 06-07-1999 Through 10-07-1999",

}

Brinksma, H, Halbwachs, N (ed.) & Peled, D (ed.) 1999, 'Formal Methods for Conformance Testing: Theory Can Be Practical!' Paper presented at 11th International Conference on Computer Aided Verification, CAV 1999, Trento, Italy, 6/07/99 - 10/07/99, pp. 44-46.

Formal Methods for Conformance Testing: Theory Can Be Practical! / Brinksma, Hendrik; Halbwachs, N. (Editor); Peled, D. (Editor).

1999. 44-46 Paper presented at 11th International Conference on Computer Aided Verification, CAV 1999, Trento, Italy.

Research output: Contribution to conferencePaperAcademicpeer-review

TY - CONF

T1 - Formal Methods for Conformance Testing: Theory Can Be Practical!

AU - Brinksma, Hendrik

A2 - Halbwachs, N.

A2 - Peled, D.

PY - 1999/7

Y1 - 1999/7

N2 - Although testing is the most widely used technique to control the quality of software systems, it is a topic that, until relatively recently, has received scant attention from the computer research community. Although some pioneering work was already done a considerable time ago [Cho78,GG83,How78,Mye79], the testing of software systems has never become a mainstream activity of scientific research. The reasons that are given to explain this situation usually include arguments to the effect that testing as a technique is inferior to verification -testing can show only the presence of errors, not their absence - and that we should therefore concentrate on developing theory and tools for the latter. It has also been frequently said that testing is by its very nature a non-formal activity, where formal methods and related tools are at best of little use.

AB - Although testing is the most widely used technique to control the quality of software systems, it is a topic that, until relatively recently, has received scant attention from the computer research community. Although some pioneering work was already done a considerable time ago [Cho78,GG83,How78,Mye79], the testing of software systems has never become a mainstream activity of scientific research. The reasons that are given to explain this situation usually include arguments to the effect that testing as a technique is inferior to verification -testing can show only the presence of errors, not their absence - and that we should therefore concentrate on developing theory and tools for the latter. It has also been frequently said that testing is by its very nature a non-formal activity, where formal methods and related tools are at best of little use.

KW - FMT-TESTING

KW - IR-63320

KW - EWI-6514

M3 - Paper

SP - 44

EP - 46

ER -

Brinksma H, Halbwachs N, (ed.), Peled D, (ed.). Formal Methods for Conformance Testing: Theory Can Be Practical!. 1999. Paper presented at 11th International Conference on Computer Aided Verification, CAV 1999, Trento, Italy.