article

A method to test concurrent systems using architectural specification

Authors:

Emanuel S. GrantAuthors Info & Claims

The Journal of Supercomputing, Volume 39, Issue 3

Pages 347 - 357

https://doi.org/10.1007/s11227-006-0017-0

Published: 01 March 2007 Publication History

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.

References

[1]

1. Cordy J, Dean T (1995) A syntactic theory of software architecture. IEEE Trans Softw Eng 21(4).]]

[2]

2. Egyed A, Medvidovic N (2000) A formal approach to heterogeneous software modeling. LNCS 1783, FASE, 2000.]]

[3]

3. Garlan D, Shaw M (1996) Software architecture: perspective on an emerging discipline. Prentice Hall.]]

[4]

4. Ghosh S, Mathur P (1999) Issues in testing distributed component-based systems. In: First ICSE workshop on testing distributed component-based systems, 1999.]]

[5]

5. 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.]]

Digital Library

[6]

6. 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.]]

Digital Library

[7]

7. Jorgensen P (1995) Software Testing: A Craftsman's Approach. CRC Press.]]

[8]

8. Jorgensen P (2002) Software Testing: A Craftsman's Approach, 2nd edn. CRC Publication.]]

[9]

9. 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).]]

[10]

10. 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.]]

[11]

11. Medvidovic N, Taylor R (2000) A classification and comparison framework for software architecture description languages. IEEE Trans Softw Eng 21(1).]]

[12]

12. Muccini H, Bertolino A, Inverardi P (2004) Using software architecture for code testing. IEEE Trans Softw Eng 30(3).]]

[13]

13. Peterson J (1977) Petri nets. Comput Surveys 9(3).]]

[14]

14. Pressman V (2005) Software Engineering: A Practitioner's Approach. McGraw-Hill.]]

[15]

15. 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.]]

[16]

16. 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.]]

[17]

17. Tracz W (1995) DSSA (domain-specific software architecture) pedagogical example. Software Eng Notes.]]

[18]

18. 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.]]

Cited By

Reza HAguilar MJalal SCarver JCiancarini PHong N(2015)Regression testing of GPU/MIC systems for HPCCProceedings of the 2015 International Workshop on Software Engineering for High Performance Computing in Science10.5555/2821003.2821009(30-37)Online publication date: 16-May-2015
https://dl.acm.org/doi/10.5555/2821003.2821009
Häser FFelderer MBreu RShepperd MHall TMyrtveit I(2014)Software paradigms, assessment types and non-functional requirements in model-based integration testingProceedings of the 18th International Conference on Evaluation and Assessment in Software Engineering10.1145/2601248.2601257(1-10)Online publication date: 13-May-2014
https://dl.acm.org/doi/10.1145/2601248.2601257

Index Terms

A method to test concurrent systems using architectural specification
1. Software and its engineering
2. Theory of computation
  1. Models of computation
    1. Concurrency
      1. Parallel computing models

Recommendations

Model Based Testing Using Software Architecture
ITNG '10: Proceedings of the 2010 Seventh International Conference on Information Technology: New Generations

Software testing is an ultimate obstacle to the final release of software products. Software testing is also a leading cost factor in the overall construction of software products. On the one hand, model-based testing methods are new testing techniques ...
Fault-based test suite prioritization for specification-based testing

Context: Existing test suite prioritization techniques usually rely on code coverage information or historical execution data that serve as indicators for estimating the fault-detecting ability of test cases. Such indicators are primarily empirical in ...
A Static Approach to Prioritizing JUnit Test Cases

Test case prioritization is used in regression testing to schedule the execution order of test cases so as to expose faults earlier in testing. Over the past few years, many test case prioritization techniques have been proposed in the literature. Most ...

Comments

Information & Contributors

Information

Published In

cover image The Journal of Supercomputing

The Journal of Supercomputing Volume 39, Issue 3

March 2007

104 pages

ISSN:0920-8542

Issue’s Table of Contents

Copyright © Copyright © 2007 Springer Science+Business Media, LLC.

Publisher

Kluwer Academic Publishers

United States

Publication History

Published: 01 March 2007

Author Tags

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

2
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 08 Feb 2025

Other Metrics

View Author Metrics

Citations

Cited By

Reza HAguilar MJalal SCarver JCiancarini PHong N(2015)Regression testing of GPU/MIC systems for HPCCProceedings of the 2015 International Workshop on Software Engineering for High Performance Computing in Science10.5555/2821003.2821009(30-37)Online publication date: 16-May-2015
https://dl.acm.org/doi/10.5555/2821003.2821009
Häser FFelderer MBreu RShepperd MHall TMyrtveit I(2014)Software paradigms, assessment types and non-functional requirements in model-based integration testingProceedings of the 18th International Conference on Evaluation and Assessment in Software Engineering10.1145/2601248.2601257(1-10)Online publication date: 13-May-2014
https://dl.acm.org/doi/10.1145/2601248.2601257

View Options

View options

Figures

Tables

Media

View Issue’s Table of Contents