Skip to main content
SpringerLink
Log in
Book cover

International Conference on the Quality of Software Architectures

International Workshop on Software Quality

QoSA 2005, SOQUA 2005: Quality of Software Architectures and Software Quality pp 21–37Cite as

An Architecture-Centric Approach for Producing Quality Systems

  • Conference paper

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 3712))

Abstract

Software architecture has been advocated as an effective means to produce quality systems. In this paper, we argue that integration between analysis conducted at different stages of development is still lacking. Hence we propose an architecture-centric approach which, by combining different technologies and tools for analysis and testing, supports a seamless tool-supported approach to validate required properties. The idea is to start from the requirements, produce a validated model of the SA, and then use the SA to derive a set of conformance test cases. In this paper, we outline the process, and discuss how some existing tools, namely QuARS,ModTest, CowTest and UIT, could be exploited to support the approach. The integrated framework is under development.

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

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. CHARMY Project. Charmy Web Site (2004), http://www.di.univaq.it/charmy

  2. TOGAF 8: The Open Group Architecture Framework (2005), http://www.opengroup.org/architecture/togaf/

  3. STRAW 2003: Second Int. Workshop From Software Requirements to Architectures, May 09, 2003, Portland, Oregon, USA (2003)

    Google Scholar 

  4. Allen, R., Garlan, D.: A Formal Basis for Architectural Connection. ACM Trans. on Software Engineering and Methodology 6(3), 213–249 (1997)

    Article  Google Scholar 

  5. Atkinson, C., Bayer, J., Bunse, C., Kamsties, E., Laitenberger, O., Laqua, R., Muthig, D., Paech, B., Wüst, J., Zettel, J.: Component-Based Product-Line Engineering with UML. Addison-Wesley, Reading (2001)

    Google Scholar 

  6. Autili, M., Inverardi, P., Pelliccione, P.: A graphical scenario-based notation for automatically specifying temporal properties. Technical report, Department of Computer Science, University of L’Aquila (2005)

    Google Scholar 

  7. Basanieri, F., Bertolino, A.: A Practical Approach to UML-based Derivation of Integration Tests. In: Proceeding of QWE 2000, Bruxelles, November 20-24 (2000)

    Google Scholar 

  8. Basanieri, F., Bertolino, A., Marchetti, E.: The Cow_Suite Approach to Planning and Deriving Test Suites in UML Projects. In: Jézéquel, J.-M., Hussmann, H., Cook, S. (eds.) UML 2002. LNCS, vol. 2460, pp. 383–397. Springer, Heidelberg (2002)

    Google Scholar 

  9. Bass, L., Clements, P., Kazman, R.: Software Architecture in Practice, 2nd edn. SEI Series in Software Engineering. Addison-Wesley, Reading (2003)

    Google Scholar 

  10. Bass, L., Kazman, R.: Architecture-Based Development. Technical report, Carnegie Mellon, Software Engineering Institute, CMU/SEI-99-TR-007 (1999)

    Google Scholar 

  11. Bernardo, M., Inverardi, P.: Formal Methods in Testing Software Architectures. In: Bernardo, M., Inverardi, P. (eds.) SFM 2003. LNCS, vol. 2804, pp. 122–147. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  12. Bril, R.J., Krikhaar, R.L., Postma, A.: Architectural Support in Industry: a reflection using C-POSH. Journal of Software Maintenance and Evolution (2005)

    Google Scholar 

  13. Bucchiarone, A., Muccini, H., Pelliccione, P., Pierini, P.: Model-Checking plus Testing: from Software Architecture Analysis to Code Testing. In: Núñez, M., Maamar, Z., Pelayo, F.L., Pousttchi, K., Rubio, F. (eds.) FORTE 2004. LNCS, vol. 3236, pp. 351–365. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  14. Chatley, R., Eisenbach, S., Kramer, J., Magee, J., Uchitel, S.: Predictable dynamic plugin systems. In: Wermelinger, M., Margaria-Steffen, T. (eds.) FASE 2004. LNCS, vol. 2984, pp. 129–143. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  15. Compare, D., Inverardi, P., Wolf, A.: Uncovering Architectural Mismatch in Dynamic Behavior. Science of Computer Programming 33(2), 101–131 (1999)

    Article  MATH  Google Scholar 

  16. Cortellessa, V., Marco, A.D., Inverardi, P., Muccini, H., Pelliccione, P.: Using UML for SA-based Modeling and Analysis. In: Int. Workshop on Software Architecture Description & UML. Hosted at the Seventh International Conference on UML Modeling Languages and Applications, Lisbon, Portugal, October, 11-15 (2004)

    Google Scholar 

  17. CowSuite, http://www.isti.cnr.it/researchunits/labs/se-lab/software-tools.html

  18. Garlan, D.: Software Architecture. In: Encyclopedia of Software Engineering. John Wiley & Sons, Chichester (2001)

    Google Scholar 

  19. Gnesi, S., Lami, G., Trentanni, G., Fabbrini, F., Fusani, M.: An Automatic Tool for the Analysis of Natural Language Requirements. In: Computer Systems Science & Engineering Special issues on Automated Tools for Requirements Engineering, vol. 20(1) (2005)

    Google Scholar 

  20. Group, O.M.: OMG/Unified Modelling Language(UML) V2.0 (2004)

    Google Scholar 

  21. Grünbacher, P., Egyed, A., Medvidovic, N.: Reconciling Software Requirements and Architectures with Intermediate Models. Journal for Software and Systems Modeling, SoSyM (accepted for publication) (2004)

    Google Scholar 

  22. Hofmeister, C., Nord, R., Soni, D.: Applied Software Architecture. Addison-Wesley, Reading (1998)

    Google Scholar 

  23. Holzmann, G.J.: The SPIN Model Checker: Primer and Reference Manual. Addison-Wesley, Reading (2003)

    Google Scholar 

  24. Jacobson, I., Booch, G., Rumbaugh, J.: The Unified Software Development Process. Object Technology Series. Addison-Wesley, Reading (1999)

    Google Scholar 

  25. Magee, J., Kramer, J., Giannakopoulou, D.: Behaviour Analysis of Software Architectures. In: First Working IFIP Conference on Software Architecture, WICSA1 (1999)

    Google Scholar 

  26. Medvidovic, N., Grünbacher, P., Egyed, A., Boehm, B.: Bridging Models across the Software Life-Cycle. Journal for Software Systems (JSS) 68(3), 199–215 (2003)

    Article  Google Scholar 

  27. Muccini, H., Bertolino, A., Inverardi, P.: Using Software Architecture for Code Testing. IEEE Trans. on Software Engineering 30(3), 160–171 (2003)

    Article  Google Scholar 

  28. Mustapic, G., Wall, A., Norstrom, C., Crnkovic, I., Sandstrom, K., Andersson, J.: Real world influences on software architecture - interviews with industrial system experts. In: Fourth Working IEEE/IFIP Conference on Software Architecture, WICSA 2004, June 2004, pp. 101–111 (2004)

    Google Scholar 

  29. Nuseibeh, B.: Weaving Together Requirements and Architectures. IEEE Computer 34(3), 115–117 (2001)

    Google Scholar 

  30. Ostrand, T.J., Balcer, M.J.: The Category-Partition Method for Specifying and Generating Functional Tests. In: Communications of the ACM, pp. 676–686 (1998)

    Google Scholar 

  31. Pelliccione, P., Inverardi, P., Muccini, H.: Charmy: A framework for Designing and Validating Architectural Specifications. Technical report, Department of Computer Science, University of L’Aquila (May 2005)

    Google Scholar 

  32. Pelliccione, P., Muccini, H., Bucchiarone, A., Facchini, F.: Deriving Test Sequences from Model-based Specifications. In: Heineman, G.T., Crnković, I., Schmidt, H.W., Stafford, J.A., Szyperski, C., Wallnau, K. (eds.) CBSE 2005. LNCS, vol. 3489, pp. 267–282. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  33. Richardson, D.J., Inverardi, P.: ROSATEA: International Workshop on the Role of Software Architecture in Analysis E(and) Testing. In: ACM SIGSOFT Software Engineering Notes, vol. 24(4) (1999)

    Google Scholar 

  34. Souza, D.D., Wills, A.C.: Objects, components, and frameworks with UML. In: The Catalysis approach. Addison-Wesley, Reading (1998)

    Google Scholar 

  35. Zhao, J.: Software Architecture Slicing. In: Proceedings of the 14th Annual Conference of Japan Society for Software Science and Technology (1997)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Istituto di Scienza e Tecnologie dell’Informazione “A. Faedo” (ISTI-CNR), Area della Ricerca CNR di Pisa, 56100, Pisa, Italy

    Antonia Bertolino, Antonio Bucchiarone & Stefania Gnesi

  2. IMT Graduate School, Lucca

    Antonio Bucchiarone

  3. Dipartimento di Informatica, Universitá dell’Aquila, Via Vetoio 1, 67100, L’Aquila, Italy

    Henry Muccini

Authors
  1. Antonia Bertolino
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Antonio Bucchiarone
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Stefania Gnesi
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Henry Muccini
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Chair for Software Design and Quality, University of Karlsruhe (TH), Am Fasanengarten 5, 76131, Karlsruhe, Germany

    Ralf Reussner

  2. Dept. of Applied Information Processing, University of Ulm, 89069, Ulm, Germany

    Johannes Mayer

  3. Computer Science, Tufts University, 161 College Avenue, Medford, 02155, Boston, MA, USA

    Judith A. Stafford

  4. Dept. of Software Engineering and Business Information Systems, Augsburg University, Universitätsstraße 16, 86135, Augsburg, Germany

    Sven Overhage

  5. FZI Forschungszentrum Informatik, Haid-und-Neu-Straße 10-14, 76131, Karlsruhe, Germany

    Steffen Becker

  6. Department of Electrical Engineering and Computer Science, Milwaukee School of Engineering, 53202, Milwaukee, WI, USA

    Patrick J. Schroeder

Rights and permissions

Reprints and permissions

Copyright information

© 2005 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Bertolino, A., Bucchiarone, A., Gnesi, S., Muccini, H. (2005). An Architecture-Centric Approach for Producing Quality Systems. In: Reussner, R., Mayer, J., Stafford, J.A., Overhage, S., Becker, S., Schroeder, P.J. (eds) Quality of Software Architectures and Software Quality. QoSA SOQUA 2005 2005. Lecture Notes in Computer Science, vol 3712. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11558569_4

Download citation

  • DOI: https://doi.org/10.1007/11558569_4

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-29033-9

  • Online ISBN: 978-3-540-32056-2

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation