Model Engineering for Distributed O-O Component Testing

Ramakrishnan, Sita; Schmidt, Heinz

doi:10.1007/978-1-4471-0299-1_35

Sita Ramakrishnan⁴ &
Heinz Schmidt⁴

80 Accesses

Abstract

A model engineering approach is used in developing a testing method called VISWAS for the validation of distributed systems to test for safety and liveness properties. The VISWAS method is an integrated testing method, which incorporates a test environment with software modelling and automatic test sequence generation. This paper describes the three layered test architecture model of VISWAS, which includes a distributed architecture model (Ken-Gate model), a method (UML, OCL) and techniques (with Temporal Logic and TLA), to develop a tool for automatic test sequence generation.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Chapter: USD 29.95; Price excludes VAT (USA)

eBook: USD 39.99; Price excludes VAT (USA)

Softcover Book: USD 54.99; Price excludes VAT (USA)

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

References

Bezivin, J. (1998). Who is Afraid of Ontologies? In CDIF Workshop OOPSLA98, http://www.metamodel.com/oopsla98-cdif-workshop/bezivinl/ cited Sep 99.
Google Scholar
Booch, G., J. Rumbaugh, and I. Jacobson (1999). The Unified Modeling Language User Guide. Addison-Wesley.
Google Scholar
Graham, I., B. Henderson-Sellers, and H. Younessi (1997). The OPEN Process Specification. Addison-Wesley Longman Ltd.
Google Scholar
Ladkin, P. (1997, June). A Tutorial on TLA Verification. Technical Report, Universitat Bielefeld, Germany, 1–69.
Google Scholar
Lamport, L. (1994, May). The Temporal Logic of Actions. ACM Transactions on Programming Languages and Systems 16(3), 872–923.
Article Google Scholar
Manna, Z. and A. Pnueli (1992). The Temporal Logic of Reactive and Concurrent Systems. Springer-Verlag.
Book Google Scholar
Meyer, B. (1988). Object-oriented Software Construction. Prentice-Hall.
Google Scholar
Ramakrishnan, S. and J. D. McGregor (1999, May). Extending OCL to support Temporal Operators. In Workshop on Testing Distributed Component-based Systems held in conjunction with the 21st International Conference on S.E.
Google Scholar
Schmidt, H. (1995). Reasoning about concurrent objects. Technical-Report TR95/11, Dept. Software Development, Monash University.
Google Scholar

Download references

Author information

Authors and Affiliations

School of Computer Science and Software Engineering, Monash University, Melbourne, Victoria, 3145, Australia
Sita Ramakrishnan & Heinz Schmidt

Authors

Sita Ramakrishnan
View author publications
You can also search for this author in PubMed Google Scholar
Heinz Schmidt
View author publications
You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

School of Computing, Information Systems and Mathematics, South Bank University, 103 Borough Road, London, UK
Dilip Patel & Shushma Patel &
School of Computing, London Guildhall University, 100 Minories, London, UK
Islam Choudhury
Department of Information Systems and Computing, Brunel University, Uxbridge, London, UK
Sergio de Cesare

Rights and permissions

Reprints and permissions

Copyright information

About this paper

Cite this paper

Ramakrishnan, S., Schmidt, H. (2001). Model Engineering for Distributed O-O Component Testing. In: Patel, D., Choudhury, I., Patel, S., de Cesare, S. (eds) OOIS 2000. Springer, London. https://doi.org/10.1007/978-1-4471-0299-1_35

Download citation

DOI: https://doi.org/10.1007/978-1-4471-0299-1_35
Publisher Name: Springer, London
Print ISBN: 978-1-85233-420-8
Online ISBN: 978-1-4471-0299-1
eBook Packages: Springer Book Archive

Publish with us

Policies and ethics