Model driven testing based on test history

Isaac Corro Ramos; Alessandro Di Bucchianico; Lusine Hakobyan; Kees Van Hee

doi:10.1007/978-3-540-89287-8_9

Model driven testing based on test history

Isaac Corro Ramos^*, Alessandro Di Bucchianico, Lusine Hakobyan, Kees Van Hee

^*Corresponding author for this work

Health Technology Assessment (HTA)

Eindhoven University of Technology

Research output: Chapter/Conference proceeding › Conference proceeding › Academic › peer-review

1 Citation (Scopus)

Abstract

We consider software systems consisting of a set of components running as a sequential process. We model such software systems as a special class of transition systems. The difference with existing approaches is that we propose a test procedure based on the structure of the model and the prior test history that can be used for exhaustive testing in an efficient way. On top of that we provide a statistical stopping rule, that is independent of the underlying way of walking through the system, which allows us to stop earlier with a certain statistical reliability.

Original language	English
Title of host publication	Transactions on Petri Nets and Other Models of Concurrency I
Publisher	Springer-Verlag
Pages	134-151
Number of pages	18
ISBN (Print)	3540892869, 9783540892861
DOIs	https://doi.org/10.1007/978-3-540-89287-8_9
Publication status	Published - 2008
Event	28th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency - Siedlce, Poland Duration: 25 Jun 2007 → 29 Jun 2007

Publication series

Series	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	5100 LNCS
ISSN	0302-9743

Conference

Conference	28th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency
Country/Territory	Poland
City	Siedlce
Period	25/06/07 → 29/06/07

Access to Document

10.1007/978-3-540-89287-8_9

Cite this

@inproceedings{1563e7eb9d044f0088e3d100e3f7e5ce,

title = "Model driven testing based on test history",

abstract = "We consider software systems consisting of a set of components running as a sequential process. We model such software systems as a special class of transition systems. The difference with existing approaches is that we propose a test procedure based on the structure of the model and the prior test history that can be used for exhaustive testing in an efficient way. On top of that we provide a statistical stopping rule, that is independent of the underlying way of walking through the system, which allows us to stop earlier with a certain statistical reliability.",

author = "\{Corro Ramos\}, Isaac and \{Di Bucchianico\}, Alessandro and Lusine Hakobyan and \{Van Hee\}, Kees",

year = "2008",

doi = "10.1007/978-3-540-89287-8\_9",

language = "English",

isbn = "3540892869",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer-Verlag",

pages = "134--151",

booktitle = "Transactions on Petri Nets and Other Models of Concurrency I",

address = "Germany",

note = "28th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency ; Conference date: 25-06-2007 Through 29-06-2007",

}

Corro Ramos, I, Di Bucchianico, A, Hakobyan, L & Van Hee, K 2008, Model driven testing based on test history. in Transactions on Petri Nets and Other Models of Concurrency I. Springer-Verlag, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 5100 LNCS, pp. 134-151, 28th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency, Siedlce, Poland, 25/06/07. https://doi.org/10.1007/978-3-540-89287-8_9

Model driven testing based on test history. / Corro Ramos, Isaac; Di Bucchianico, Alessandro; Hakobyan, Lusine et al.
Transactions on Petri Nets and Other Models of Concurrency I. Springer-Verlag, 2008. p. 134-151 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 5100 LNCS).

Research output: Chapter/Conference proceeding › Conference proceeding › Academic › peer-review

TY - GEN

T1 - Model driven testing based on test history

AU - Corro Ramos, Isaac

AU - Di Bucchianico, Alessandro

AU - Hakobyan, Lusine

AU - Van Hee, Kees

PY - 2008

Y1 - 2008

N2 - We consider software systems consisting of a set of components running as a sequential process. We model such software systems as a special class of transition systems. The difference with existing approaches is that we propose a test procedure based on the structure of the model and the prior test history that can be used for exhaustive testing in an efficient way. On top of that we provide a statistical stopping rule, that is independent of the underlying way of walking through the system, which allows us to stop earlier with a certain statistical reliability.

AB - We consider software systems consisting of a set of components running as a sequential process. We model such software systems as a special class of transition systems. The difference with existing approaches is that we propose a test procedure based on the structure of the model and the prior test history that can be used for exhaustive testing in an efficient way. On top of that we provide a statistical stopping rule, that is independent of the underlying way of walking through the system, which allows us to stop earlier with a certain statistical reliability.

UR - https://www.scopus.com/pages/publications/58449100264

U2 - 10.1007/978-3-540-89287-8_9

DO - 10.1007/978-3-540-89287-8_9

M3 - Conference proceeding

AN - SCOPUS:58449100264

SN - 3540892869

SN - 9783540892861

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 134

EP - 151

BT - Transactions on Petri Nets and Other Models of Concurrency I

PB - Springer-Verlag

T2 - 28th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency

Y2 - 25 June 2007 through 29 June 2007

ER -

Corro Ramos I, Di Bucchianico A, Hakobyan L, Van Hee K. Model driven testing based on test history. In Transactions on Petri Nets and Other Models of Concurrency I. Springer-Verlag. 2008. p. 134-151. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 5100 LNCS). doi: 10.1007/978-3-540-89287-8_9

Model driven testing based on test history

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this