Abstract
The paper addresses the problem of test suite derivation from a formal specification of a distributed concurrent software system given as a collection of labeled transition systems. It presents a new concurrency model, called behavior machine, and its construction algorithm. Further, the paper outlines how test derivation can be based on the new concurrency model in order to derive test suites that still exhibit true concurrency between test events. A toolset is presented to support the generation of concurrent test suites from specifications given in the formal description technique LOTOS. Finally, some comments on requirements for the design of a distributed test architecture are given.
Chapter PDF
Similar content being viewed by others
Keywords
References
A. V. Aho, A. T. Dahbura, D. Lee, M. Ü. Uyar: An optimization technique for protocol conformance test generation based on UIO sequences and rural Chinese postman tours; IEEE Transactions on Communications, vol. 39, no. 11 (Nov. 1991); pp. 1604–1615.
Ed Brinksma: A theory for the derivation of tests; 8th Intl Symposium on Protocol Specification, Testing and Verification (PSTV’88), Atlantic City, USA; 1988.
J. Esparza, S. Römer, W. Vogler: An improvement of McMillan’s unfolding algorithm; 2nd Intl Workshop on Tools and Algorithms for the Construction and Analysis of Systems; Passau, Germany; 1996.
J.-C. Fernandez, C. Jard, Th. Jéron, César Viho: Using on-the-fly verifi- cation techniques for the generation of test suites; 8th Int’l Conference on Computer Aided Verification (CAV’96); New Brunswick, New Jersy, USA; 1996.
H. Garavel, J. Sifakis: Compilation and verification of Lotos specifications; 10th Int’l Symposium on Protocol Specification, Testing and Verification (PSTV’90); Ottawa, Canada; 1990; pp. 379–394.
B. Grahlmann, E. Best: PEP — More than a Petri net tool; 2nd Intl Workshop on Tools and Algorithms for the Construction and Analysis of Systems (TACAS’96); Passau, Germany; 1996.
O. Henniger: On test case generation from asynchronously communicating state machines; 10th Int’l Workshop on Testing of Communicating Systems (IWTCS’97); Cheju Island, Korea; Sep. 1997.
M. C. Kim, S. T. Chanson, S. W. Kang, J. W. Shin: An approach for testing asynchronous communicating systems; 9th Intl Workshop on Testing of Communicating Systems; Darmstadt, Germany; Sep. 1996.
R. Langerak: A testing theory for LOTOS using deadlock detection; 9th Intl Symposium on Protocol Specification, Testing and Verification (PSTV’90); Enschede, The Netherlands; 1990.
D. Lee, K. K. Sabnani, D. M. Kristol, S. Paul: Conformance testing of protocols specified as communicating FSMs; IEEE INFOCOM’93; San Fransisco, CA, USA; 1993.
McM95] K. L. McMillan: A technique of state space search based on unfolding; Formal Methods in System Design, vol. 6, no. 1 (Jan. ‘85); pp. 45–65.
V. Pratt: Modelling Concurrency with partial orders; International Journal of Parallel Programming, vol. 15, no. 1 (Feb. 1986); pp. 33–71.
D. K. Probst, H. F. Li, K. G. Larsen, A. Skou: Partial-order model checking: a guide for the perplexed; 3nd Int’l Conference on Computer-aided Verification (CAV’91); Aalborg, Denmark; 1991.
A. Petrenko, G. v. Bochmann, M. Yao: On fault coverage of tests for finite state specifications; Special Issue on Protocol Testing, Computer Networks and ISDN Systems, vol. 29, 1996; pp. 81–106.
W. Reisig: Petri nets; Springer Verlag, 1991.
K. C. Tai, R. H. Carver, E. E. Obaid: Debugging concurrent Ada programs by deterministic execution; IEEE Transactions on Software Engineering, vol. 17, no. 1 (Jan. 1991); pp. 45–63.
A. Ulrich, S. T. Chanson: An approach to testing distributed software systems; 15th Intl Symposium on Protocol Specification, Testing and Verification (PSTV’95); Warsaw, Poland; pp. 107–122; 1995.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1997 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Ulrich, A., König, H. (1997). Specification-based testing of concurrent systems. In: Mizuno, T., Shiratori, N., Higashino, T., Togashi, A. (eds) Formal Description Techniques and Protocol Specification, Testing and Verification. IFIP — The International Federation for Information Processing. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-35271-8_1
Download citation
DOI: https://doi.org/10.1007/978-0-387-35271-8_1
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4757-5260-1
Online ISBN: 978-0-387-35271-8
eBook Packages: Springer Book Archive