Article

Free access

Deriving test plans from architectural descriptions

Authors:

A. Bertolino,

F. Corradini,

P. Inverardi,

H. MucciniAuthors Info & Claims

ICSE '00: Proceedings of the 22nd international conference on Software engineering

Pages 220 - 229

https://doi.org/10.1145/337180.337205

Published: 01 June 2000 Publication History

PDF eReader

References

[1]

Bass, L., Clements, P., Kazman, R. Software Architecture in Practice. SEI Series (1998), Addison- Wesley.]]

Digital Library

Google Scholar

[2]

Berry, G., Boudol, G. The Chemical Abstract Machine. Theoretical Computer Science 96, (1992), 217-248.]]

Digital Library

Google Scholar

[3]

Bertolino, A., Corradini, F., Inverardi, P., Muccini, H. Architectural Abstractions to Support Analysis and Testing. IR 50/99, University of L'Aquila, Online at <http://univaq.it/~inverard>.]]

Google Scholar

[4]

Bertolino, A., Inverardi, P., Muccini, H., Rosetti, A. An Approach to Integration Testing Based on Architectural Descriptions. IEEE Proc. ICECCS- 97 (Como, 1997).]]

Digital Library

Google Scholar

[5]

Boehm, B., Abts, C. Cots integration: Plug and pray? IEEE Computer 32, 1 (January 1999).]]

Digital Library

Google Scholar

[6]

Cardell-Oliver, R., Glover, T. A Practical and Complete Algorithm for Testing Real- Time Systems. Springer Verlag LNCS 1486, FTRTFTS98 (September 98), On-line at <http://cswww.essex.ac.uk/>.]]

Digital Library

Google Scholar

[7]

Carver, R.H., Tai, K.-C. Use of Sequencing Constraints for Speci cation-Based Testing of Concurrent Programs. IEEE Trans. on Software Engineering 24, 6 (June 1998).]]

Digital Library

Google Scholar

[8]

Cleaveland, R., Parrow, J., Ste en, B. The Concurrency Workbench. ACM Toplas 15, 1 (1993), 36-72.]]

Digital Library

Google Scholar

[9]

Compare, D., Inverardi, P., Wolf, A.L. Uncovering Architectural Mismatch in Component Behavior. Science of Computer Programming 33, 2 (1999), 101-131.]]

Digital Library

Google Scholar

[10]

Garlan, D., Allen, R., Ockerbloom, J. Architectural mismatch: Why reuse is so hard. IEEE Software 12, 6 (November 1995).]]

Digital Library

Google Scholar

[11]

Giannakopoulou, D., Magee, J., Kramer, J. The TRACTA Project, On-line at <http://www-dse.doc.ic.ac.uk/projects/tracta>.]]

Google Scholar

[12]

Inverardi, P., Wolf, A.L. Formal Speci cations and Analysis of Software Architectures Using the Chemical Abstract Machine Model. IEEE Trans. on Software Engineering 21, 4 (April 1995), 100- 114.]]

Digital Library

Google Scholar

[13]

Mandrioli, D., Morasca, S., Morzenti, A. Generating Test Cases for Real-Time Systems from Logic Speci cations. ACM Trans. on Computer Systems 13, 4 (1995).]]

Digital Library

Google Scholar

[14]

McCabe, T.J. A Complexity Measure. IEEE Trans. on Software Engineering 2, 4 (1976).]]

Digital Library

Google Scholar

[15]

Mercier, F., Le Gall, P., Bertolino, A. Formalizing Integration Test Strategies for Distributed Systems. 1st Int. ICSE Workshop on Testing Distributed Component-based Systems (Los Angeles (CA), USA, 1999).]]

Google Scholar

[16]

Perry, D.E., Wolf, A.L. Foundations for the Study of Software Architecture. SIGSOFT Software Engineering Notes 17, 4 (October 1992), 40-52.]]

Digital Library

Google Scholar

[17]

Rational Corporation. Uml Resource Center. UML documentation, version 1.3, On-line at <http://www.rational.com/uml/index.jtmpl>.]]

Google Scholar

[18]

Richardson, D.J., Wolf, A.L. Software testing at the architectural level. Second Int. Software Architecture Workshop ISAW-2 in Joint Proc. of the ACM SIFSOFT '96 Workshops, (October 1996).]]

Digital Library

Google Scholar

[19]

ROSATEA group. Architecture-based Analysis and Testing, On-line at <http://www.ics.uci.edu/~rosatea>.]]

Google Scholar

[20]

Shaw, M., Garlan, D. Software Architecture: Perspectives on an Emerging Discipline. Prentice-Hall, Englewood Cli s (New Jersey, 1996).]]

Digital Library

Google Scholar

[21]

Szyperski, C. Component Software. Beyond Object Oriented Programming. Addison Wesley, Harlow (England, 1998).]]

Digital Library

Google Scholar

Cited By

View all

Hasselbring W(2018)Software Architecture: Past, Present, FutureThe Essence of Software Engineering10.1007/978-3-319-73897-0_10(169-184)Online publication date: 14-Jun-2018
https://doi.org/10.1007/978-3-319-73897-0_10
Uzun BTekinerdogan B(2018)Architecture conformance analysis using model‐based testing: A case study approachSoftware: Practice and Experience10.1002/spe.266749:3(423-448)Online publication date: 22-Nov-2018
https://doi.org/10.1002/spe.2667
Gudmundsson VLindvall MAceto LBergthorsson JGanesan D(2016)Model-based Testing of Mobile Systems – An Empirical Study on QuizUp Android AppElectronic Proceedings in Theoretical Computer Science10.4204/EPTCS.208.2208(16-30)Online publication date: 25-May-2016
https://doi.org/10.4204/EPTCS.208.2
Show More Cited By

Index Terms

Deriving test plans from architectural descriptions
1. Social and professional topics
  1. Professional topics
    1. Management of computing and information systems
      1. Software management
        Software maintenance
2. Software and its engineering
  1. Software creation and management
    1. Software verification and validation
      1. Software defect analysis
        Software testing and debugging
  2. Software organization and properties
    1. Software system structures
      1. Software architectures

Recommendations

An approach to integration testing based on architectural descriptions
ICECCS '97: Proceedings of the Third IEEE International Conference on Engineering of Complex Computer Systems

Software architectures can play a role in improving the testing process of complex systems. In particular descriptions of the software architecture can be useful to drive integration testing, since they supply information about how the software is ...
Integration testing through reusing representative unit test cases for high-confidence medical software

As medical software is getting larger-sized, complex, and connected with other devices, finding faults in integrated software modules gets more difficult and time consuming. Existing integration testing typically takes a black-box approach, which treats ...
Generating User Acceptance Test Plans from Test Cases
COMPSAC '07: Proceedings of the 31st Annual International Computer Software and Applications Conference - Volume 02

There are numerous studies on generating test cases from classifications. These test cases consists of related classes from different classifications. On the other hand, a User Acceptance Test Plan (UAT) consist of test plans. Each of these test plans ...

Comments

Information & Contributors

Information

Published In

ICSE '00: Proceedings of the 22nd international conference on Software engineering

June 2000

843 pages

ISBN:1581132069

DOI:10.1145/337180

Chairmen:
Carlo Ghezzi
Politecnico di Milano, Milau, Italy
,
Mehdi Jazayeri
Technical Univ. of Vienna, Vienna, Austria
,
Alexander L. Wolf
Univ. of Colorado, Boulder, USA

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 June 2000

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Article

Conference

ICSE00

Sponsor:

Irish Comp Soc
SIGSOFT
IEEE-CS

ICSE00: 22nd International Conference on Software Engineering

June 4 - 11, 2000

Limerick, Ireland

Acceptance Rates

Overall Acceptance Rate 276 of 1,856 submissions, 15%

Upcoming Conference

ICSE 2025

2025 IEEE/ACM 46th International Conference on Software Engineering

April 26 - May 3, 2025

Ottawa , ON , Canada

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

24
Total Citations
View Citations
772
Total Downloads

Downloads (Last 12 months)65
Downloads (Last 6 weeks)16

Reflects downloads up to 09 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Hasselbring W(2018)Software Architecture: Past, Present, FutureThe Essence of Software Engineering10.1007/978-3-319-73897-0_10(169-184)Online publication date: 14-Jun-2018
https://doi.org/10.1007/978-3-319-73897-0_10
Uzun BTekinerdogan B(2018)Architecture conformance analysis using model‐based testing: A case study approachSoftware: Practice and Experience10.1002/spe.266749:3(423-448)Online publication date: 22-Nov-2018
https://doi.org/10.1002/spe.2667
Gudmundsson VLindvall MAceto LBergthorsson JGanesan D(2016)Model-based Testing of Mobile Systems – An Empirical Study on QuizUp Android AppElectronic Proceedings in Theoretical Computer Science10.4204/EPTCS.208.2208(16-30)Online publication date: 25-May-2016
https://doi.org/10.4204/EPTCS.208.2
Hasselbring W(2015)Formalization of Federated Schema Architectural Style VariabilityJournal of Software Engineering and Applications10.4236/jsea.2015.8200908:02(72-92)Online publication date: 2015
https://doi.org/10.4236/jsea.2015.82009
Gudmundsson VSchulze CGanesan DLindvall MWiegand R(2015)Model-based testing of NASA’s GMSEC, a reusable framework for ground system softwareInnovations in Systems and Software Engineering10.1007/s11334-015-0254-611:3(217-232)Online publication date: 14-Jul-2015
https://doi.org/10.1007/s11334-015-0254-6
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
Lun LChi XDing X(2013)C2-Style Architecture Testing and Metrics Using Dependency AnalysisJournal of Software10.4304/jsw.8.2.276-2858:2Online publication date: 1-Feb-2013
https://doi.org/10.4304/jsw.8.2.276-285
Bertolino AInverardi PMuccini H(2013)Software architecture-based analysis and testingComputing10.1007/s00607-013-0338-995:8(633-648)Online publication date: 1-Aug-2013
https://dl.acm.org/doi/10.1007/s00607-013-0338-9
Ramassamy CFouchal HHunel PVidot NGerla MCesana MBen-Othman J(2010)A pragmatic testing approach for wireless sensor networksProceedings of the 6th ACM workshop on QoS and security for wireless and mobile networks10.1145/1868630.1868641(55-61)Online publication date: 20-Oct-2010
https://dl.acm.org/doi/10.1145/1868630.1868641
Aldini ACorradini FBernardo MAldini ABernardo MCorradini F(2009)Component-Oriented Functional VerificationA Process Algebraic Approach to Software Architecture Design10.1007/978-1-84800-223-4_5(169-201)Online publication date: 3-Oct-2009
https://doi.org/10.1007/978-1-84800-223-4_5
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Index Terms

Recommendations

An approach to integration testing based on architectural descriptions

Integration testing through reusing representative unit test cases for high-confidence medical software

Generating User Acceptance Test Plans from Test Cases