Analyzing the impact of protocol changes on tests

Mahadevan Subramaniam; Zoltán Pap

doi:10.1007/11754008_13

Analyzing the impact of protocol changes on tests

Mahadevan Subramaniam, Zoltán Pap

Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

1 Scopus citations

Abstract

Protocols governing communication among system components evolve during design and maintenance and need to be re-tested. For faster testing turnaround time, it is important that the consistency of the testing infrastructure with the protocol be preserved across changes. In this paper, we propose a state exploration based approach to identify the impacts of protocol changes on a given set of protocol tests. Protocols are modeled as a network of communicating finite state machines exchanging messages over bounded queues. Each machine denotes the behavior of an individual protocol component (controller). A protocol test is modeled as a sequence of inputs from the environment to the protocol controllers in an execution starting from a stable protocol state. A notion of consistency of a test relative to a protocol is introduced. Conditions under which a protocol change requires changing a test to preserve the consistency of the test are identified. Changes consisting of multiple atomic updates are analyzed to remove redundancies and their impact on tests is studied. A by-product of the proposed approach is a classification of tests based on how they are impacted by protocol changes, which can help users in regression test selection.

Original language	English (US)
Title of host publication	Testing of Communicating Systems - 18th IFIP TC 6/WG 6.1 International Conference, TestCom 2006, Proceedings
Editors	Ali Y. Duale, M. Ümit Uyar, Mariusz A. Fecko
Publisher	Springer Verlag
Pages	197-212
Number of pages	16
ISBN (Electronic)	9783540341840
ISBN (Print)	3540341846, 9783540341840
DOIs	https://doi.org/10.1007/11754008_13
State	Published - 2006
Event	18th IFIP TC 6/WG 6.1 International Conference on Testing of Communicating Systems, TestCom 2006 - New York, NY, United States Duration: May 16 2006 → May 18 2006

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	3964 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	18th IFIP TC 6/WG 6.1 International Conference on Testing of Communicating Systems, TestCom 2006
Country	United States
City	New York, NY
Period	5/16/06 → 5/18/06

Keywords

Changes
Communicating finite state machines
Evolution
Protocol
Test consistency

ASJC Scopus subject areas

Theoretical Computer Science
Computer Science(all)

Access to Document

10.1007/11754008_13

Fingerprint Dive into the research topics of 'Analyzing the impact of protocol changes on tests'. Together they form a unique fingerprint.

Cite this

Subramaniam, M., & Pap, Z. (2006). Analyzing the impact of protocol changes on tests. In A. Y. Duale, M. Ü. Uyar, & M. A. Fecko (Eds.), Testing of Communicating Systems - 18th IFIP TC 6/WG 6.1 International Conference, TestCom 2006, Proceedings (pp. 197-212). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 3964 LNCS). Springer Verlag. https://doi.org/10.1007/11754008_13

Analyzing the impact of protocol changes on tests. / Subramaniam, Mahadevan; Pap, Zoltán.

Testing of Communicating Systems - 18th IFIP TC 6/WG 6.1 International Conference, TestCom 2006, Proceedings. ed. / Ali Y. Duale; M. Ümit Uyar; Mariusz A. Fecko. Springer Verlag, 2006. p. 197-212 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 3964 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Subramaniam, M & Pap, Z 2006, Analyzing the impact of protocol changes on tests. in AY Duale, MÜ Uyar & MA Fecko (eds), Testing of Communicating Systems - 18th IFIP TC 6/WG 6.1 International Conference, TestCom 2006, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 3964 LNCS, Springer Verlag, pp. 197-212, 18th IFIP TC 6/WG 6.1 International Conference on Testing of Communicating Systems, TestCom 2006, New York, NY, United States, 5/16/06. https://doi.org/10.1007/11754008_13

Subramaniam M, Pap Z. Analyzing the impact of protocol changes on tests. In Duale AY, Uyar MÜ, Fecko MA, editors, Testing of Communicating Systems - 18th IFIP TC 6/WG 6.1 International Conference, TestCom 2006, Proceedings. Springer Verlag. 2006. p. 197-212. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). https://doi.org/10.1007/11754008_13

Subramaniam, Mahadevan ; Pap, Zoltán. / Analyzing the impact of protocol changes on tests. Testing of Communicating Systems - 18th IFIP TC 6/WG 6.1 International Conference, TestCom 2006, Proceedings. editor / Ali Y. Duale ; M. Ümit Uyar ; Mariusz A. Fecko. Springer Verlag, 2006. pp. 197-212 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{2377f3fe16454f4b879754734d39e389,

title = "Analyzing the impact of protocol changes on tests",

abstract = "Protocols governing communication among system components evolve during design and maintenance and need to be re-tested. For faster testing turnaround time, it is important that the consistency of the testing infrastructure with the protocol be preserved across changes. In this paper, we propose a state exploration based approach to identify the impacts of protocol changes on a given set of protocol tests. Protocols are modeled as a network of communicating finite state machines exchanging messages over bounded queues. Each machine denotes the behavior of an individual protocol component (controller). A protocol test is modeled as a sequence of inputs from the environment to the protocol controllers in an execution starting from a stable protocol state. A notion of consistency of a test relative to a protocol is introduced. Conditions under which a protocol change requires changing a test to preserve the consistency of the test are identified. Changes consisting of multiple atomic updates are analyzed to remove redundancies and their impact on tests is studied. A by-product of the proposed approach is a classification of tests based on how they are impacted by protocol changes, which can help users in regression test selection.",

keywords = "Changes, Communicating finite state machines, Evolution, Protocol, Test consistency",

author = "Mahadevan Subramaniam and Zolt{\'a}n Pap",

note = "Copyright: Copyright 2015 Elsevier B.V., All rights reserved.; 18th IFIP TC 6/WG 6.1 International Conference on Testing of Communicating Systems, TestCom 2006 ; Conference date: 16-05-2006 Through 18-05-2006",

year = "2006",

doi = "10.1007/11754008_13",

language = "English (US)",

isbn = "3540341846",

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

publisher = "Springer Verlag",

pages = "197--212",

editor = "Duale, {Ali Y.} and Uyar, {M. {\"U}mit} and Fecko, {Mariusz A.}",

booktitle = "Testing of Communicating Systems - 18th IFIP TC 6/WG 6.1 International Conference, TestCom 2006, Proceedings",

}

TY - GEN

T1 - Analyzing the impact of protocol changes on tests

AU - Subramaniam, Mahadevan

AU - Pap, Zoltán

PY - 2006

Y1 - 2006

N2 - Protocols governing communication among system components evolve during design and maintenance and need to be re-tested. For faster testing turnaround time, it is important that the consistency of the testing infrastructure with the protocol be preserved across changes. In this paper, we propose a state exploration based approach to identify the impacts of protocol changes on a given set of protocol tests. Protocols are modeled as a network of communicating finite state machines exchanging messages over bounded queues. Each machine denotes the behavior of an individual protocol component (controller). A protocol test is modeled as a sequence of inputs from the environment to the protocol controllers in an execution starting from a stable protocol state. A notion of consistency of a test relative to a protocol is introduced. Conditions under which a protocol change requires changing a test to preserve the consistency of the test are identified. Changes consisting of multiple atomic updates are analyzed to remove redundancies and their impact on tests is studied. A by-product of the proposed approach is a classification of tests based on how they are impacted by protocol changes, which can help users in regression test selection.

AB - Protocols governing communication among system components evolve during design and maintenance and need to be re-tested. For faster testing turnaround time, it is important that the consistency of the testing infrastructure with the protocol be preserved across changes. In this paper, we propose a state exploration based approach to identify the impacts of protocol changes on a given set of protocol tests. Protocols are modeled as a network of communicating finite state machines exchanging messages over bounded queues. Each machine denotes the behavior of an individual protocol component (controller). A protocol test is modeled as a sequence of inputs from the environment to the protocol controllers in an execution starting from a stable protocol state. A notion of consistency of a test relative to a protocol is introduced. Conditions under which a protocol change requires changing a test to preserve the consistency of the test are identified. Changes consisting of multiple atomic updates are analyzed to remove redundancies and their impact on tests is studied. A by-product of the proposed approach is a classification of tests based on how they are impacted by protocol changes, which can help users in regression test selection.

KW - Changes

KW - Communicating finite state machines

KW - Evolution

KW - Protocol

KW - Test consistency

UR - http://www.scopus.com/inward/record.url?scp=33745893238&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=33745893238&partnerID=8YFLogxK

U2 - 10.1007/11754008_13

DO - 10.1007/11754008_13

M3 - Conference contribution

AN - SCOPUS:33745893238

SN - 3540341846

SN - 9783540341840

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

SP - 197

EP - 212

BT - Testing of Communicating Systems - 18th IFIP TC 6/WG 6.1 International Conference, TestCom 2006, Proceedings

A2 - Duale, Ali Y.

A2 - Uyar, M. Ümit

A2 - Fecko, Mariusz A.

PB - Springer Verlag

T2 - 18th IFIP TC 6/WG 6.1 International Conference on Testing of Communicating Systems, TestCom 2006

Y2 - 16 May 2006 through 18 May 2006

ER -