Abstract
In this paper, we discuss a testing method for integration testing of complex and concurrent systems. Integration testing is considered the least well understood and hence is the most problematic level of testing related to concurrent system development. This is so, because integration testing is not completely unit (or code) neither testing nor it is completely system testing. To achieve this goal of improving integration testing, our proposed method exploits architectural specification of concurrent and distributed systems defined in the high level Petri nets, known as Hierarchical Predicate Transition Nets (HPrTNs). More specifically, our testing method implements the separation of concerns strategy to handle both the essential complexity associated with the front-end software development of inherently concurrent and distributed systems, i.e. architectural specification, and the difficulty and cost associated with the back-end development of these systems, namely, software testing.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Cordy J, Dean T (1995) A syntactic theory of software architecture. IEEE Trans Softw Eng 21(4)
Egyed A, Medvidovic N (2000) A formal approach to heterogeneous software modeling. LNCS 1783, FASE, 2000
Garlan D, Shaw M (1996) Software architecture: perspective on an emerging discipline. Prentice Hall
Ghosh S, Mathur P (1999) Issues in testing distributed component-based systems. In: First ICSE workshop on testing distributed component-based systems, 1999
He X (1996) A formal definition of hierarchical predicate transition nets. In: Proceedings of the 17th international conference on the application and the theory of petri nets, Osaka, Japan, June 1996
Jin Z, Offutt J (2001) Deriving tests from software architectures. In: The 12th IEEE international symposium on software reliability engineering (ISSRE’01), Hong Kong, November 2001
Jorgensen P (1995) Software Testing: A Craftsman’s Approach. CRC Press
Jorgensen P (2002) Software Testing: A Craftsman’s Approach, 2nd edn. CRC Publication
Juan E, Tsai J, Murata T (1998) Compositional verification of concurrent system using petri-net-based condensation rules. ACM Trans Program Lang Syst 20(5)
Lundberg L, Bosch J, Häggander D, Bengtsson P-O (1999) Quality attributes in software architecture design. In: 3rd Annual IASTED international conference software engineering and applications, Scottsdale, Arizona, USA, October 6–8, 1999
Medvidovic N, Taylor R (2000) A classification and comparison framework for software architecture description languages. IEEE Trans Softw Eng 21(1)
Muccini H, Bertolino A, Inverardi P (2004) Using software architecture for code testing. IEEE Trans Softw Eng 30(3)
Peterson J (1977) Petri nets. Comput Surveys 9(3)
Pressman V (2005) Software Engineering: A Practitioner’s Approach. McGraw-Hill
Reza H (2002) A framework for specifying software architecture based on petri net pattern, PhD Dissertation, Department of Computer Science, North Dakota State University, April 2002
Reza H, Grant E (2004) A two-way modeling approach to architectural design based on reusable specifications. In: The international conference on software engineering research and practice, Las Vegas, June 2004
Tracz W (1995) DSSA (domain-specific software architecture) pedagogical example. Software Eng Notes
Zhu H, He X (2000) A theory of testing high-level Petri nets. In: Proc. of the IFIP 16th world computer congress, Beijing, China, August, 2000
Author information
Authors and Affiliations
Corresponding author
Additional information
The authors were partially supported by an NASA grant NCC5-582
Rights and permissions
About this article
Cite this article
Reza, H., Grant, E.S. A method to test concurrent systems using architectural specification. J Supercomput 39, 347–357 (2007). https://doi.org/10.1007/s11227-006-0017-0
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11227-006-0017-0