|
| This Article | ||
| ||
| Share | ||
| Bibliographic References | ||
| Add to: | ||
 Digg  Furl  Spurl  Blink  Simpy  Google  Del.icio.us  Y!MyWeb | ||
| Search | ||
| ||
Testing Communication Protocols
January/February 1992 (vol. 9 no. 1)
pp. 27-37
| ASCII Text | x | ||
| Kshirasagar Naik, Behcet Sarikaya, "Testing Communication Protocols," IEEE Software, vol. 9, no. 1, pp. 27-37, January/February, 1992. | |||
| BibTex | x | ||
| @article{ 10.1109/52.108777, author = {Kshirasagar Naik and Behcet Sarikaya}, title = {Testing Communication Protocols}, journal ={IEEE Software}, volume = {9}, number = {1}, issn = {0740-7459}, year = {1992}, pages = {27-37}, doi = {http://doi.ieeecomputersociety.org/10.1109/52.108777}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, } | |||
| RefWorks Procite/RefMan/Endnote | x | ||
| TY - MGZN JO - IEEE Software TI - Testing Communication Protocols IS - 1 SN - 0740-7459 SP27 EP37 EPD - 27-37 A1 - Kshirasagar Naik, A1 - Behcet Sarikaya, PY - 1992 KW - communication protocols testing; common intermediate model; Lotos specifications; TTCN test; finite-state machines; conformance testing; CIM; generation; verification; selection; parametrization; conformance testing; formal specification; protocols VL - 9 JA - IEEE Software ER - | |||
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/52.108777
The authors describe a unifying, common intermediate model that lets Lotos specifications and TTCN test suites be translated into extended finite-state machines, providing a single medium for conformance testing. The paper covers specifying a protocol in Lotos, specifying test suites in TTCN, translating specifications to CIM, and the generation, verification, selection, parametrization, and execution of tests.
Index Terms:
communication protocols testing; common intermediate model; Lotos specifications; TTCN test; finite-state machines; conformance testing; CIM; generation; verification; selection; parametrization; conformance testing; formal specification; protocols
Citation:
Kshirasagar Naik, Behcet Sarikaya, "Testing Communication Protocols," IEEE Software, vol. 9, no. 1, pp. 27-37, Jan.-Feb. 1992, doi:10.1109/52.108777
Usage of this product signifies your acceptance of the Terms of Use.