Formal methods in testing software architectures

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2804, Issue , 2003, Pages 122-147

  Bertolino, Antonia ^a   Inverardi, Paola ^b   Muccini, Henry ^b  

^a ISTI CNR   (Italy)

^b UNIVERSITY OF L'AQUILA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

CONCRETE TESTING; FORMAL METHODS; SOFTWARE ARCHITECTURE; SYSTEMS ANALYSIS;

ARCHITECTURAL DESCRIPTION LANGUAGES; COLLABORATIVE WRITING SYSTEMS; CONFORMANCE TESTING; HIGH-LEVEL MODELING; LABELLED TRANSITION SYSTEMS; REACTIVE SYSTEM; RECENT RESEARCHES; SYSTEM COMPONENTS;

SOFTWARE TESTING;

EID: 34247379329     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-39800-4_7     Document Type: Article

References (48)

1. The AGEDIS Project: Automated Generation and Execution of Test Suites for Distributed Component-based Software. On-line at http://www.agedis.de
2. Allen, R., Garlan, D.: A Formal Basis for Architectural Connection. ACM Trans. on Software Engineering and Methodology, Vol. 6, N. 3, pp. 213-249, July 1997.
3. Basanieri, F., Bertolino, A., Marchetti, E.: The Cow Suite Approach to Planning and Deriving Test Suites in UML Projects. In Proc. 5th Int. Conf. UML 2002, Dresden, Germany. LNCS 2460 (2002), pp. 383-397.
4. Bass, L., Clements, P., Kazman, R.: Software Architecture in Practice. SEI Series in Software Engineering, Addison-Wesley, 1998.
5. Bertolino, A.: Knowledge Area Description of Software Testing. In SWEBOK, Joint IEEE-ACM Software Engineering Coordinating Committee. On-line at: 〈http://www.swebok.org〉.
6. Bertolino, A.: Software Testing Research and Practice. Invited presentation at ASM 2003, Taormina, Italy. LNCS 2589 (2003), pp. 1-21.
7. Bertolino, A., Inverardi, P.: Architecture-based software testing. In Proc. ISAW96, October 1996.
8. Bertolino, A., Corradini, F., Inverardi, P., Muccini, H.: Deriving Test Plans from Architectural Descriptions. In ACM Proc. Int. Conf. on Software Engineering (ICSE2000), pp. 220-229, June 2000.
9. Bertolino, A., Inverardi, P., Muccini, H.: An Explorative Journey from Architectural Tests Definition downto Code Tets Execution. In IEEE Proc. Int. Conf. on Software Engineering (ICSE2001), pp. 211-220, May 2001.
10. Briand, L., Labiche, Y.: A UML-Based Approach to System Testing. Software and System Modeling 1(1), 2002, pp. 10-42.
11. The C2 style and ADL. Project web page on-line at: 〈http://www.isr.uci.edu/architecture/c2.html〉.
12. The C2 Framework. On-line at: 〈http://www.isr.uci.edu/architecture/software.html〉.
13. Caesar/Aldebaran Tool (CADP). On-line at: 〈http://inrialpes.fr/vasy/cadp〉.
14. Carver, R. H., Tai, K.-C.: Use of Sequencing Constraints for Specification-Based Testing of Concurrent Programs. IEEE Trans. on Software Engineering, Vol. 24, N. 6, pp. 471-490, June 1998.
15. Conallen, J.: Building Web Applications with UML. The Addison-Wesley Object Technology Series.
16. Dashofy, E. M., van der Hoek, A., Taylor, R. N.: An Infrastructure for the Rapid Development of XML-Based Architecture Description Languages. In Proc. of the 24th Int. Conf. on Software Engineering, 2002.
17. De Nicola, R., Hennessy, M.: Testing Equivalences for Processes. Theoretical Computer Science, 34: 83-133, (1984).
18. Dick, J., Faivre, A.: Automating the Generation and Sequencing of Test Cases from Model-Based Specifications. In J.C.P. Woodcock and P.G. Larsen (Eds.), FME'93: Industrial-Strenght Formal Methods, pp. 268-284. LNCS 670, Springer Verlag, 1993.
19. FC2Tools. On-line at: 〈http://www-sop.inria.fr/meije/verification/quick-guide.html〉.
20. Fernandez, J.-C., Jard, C., Jeron, T., Nedelka, L., Viho, C.: An Experiment in Automatic Generation of Test Suites for Protocols with Verification Technology. Special Issue of Science of Computer Programming, Vol. 29, pp. 123-146, 1997.
21. Finite State Process (FSP). On-line at: 〈http://www.dse.doc/ic.ac.uk/∼jnm/book/ ltsa/Appendix-A.html〉.
22. Harrold, M. J.: Architecture-Based Regression Testing of Evolving Systems. In Proc. Int. Workshop on the ROle of Software Architecture in TEsting and Analysis (ROSATEA), CNR-NSF, pp. 73-77, July 1998.
23. Harrold, M. J.: Testing: A Roadmap. In A. Finkelstein (Ed.), ACM ICSE 2000, The Future of Software Engineering, pp. 61-72, 2000.
24. Hofmeister, C., Nord, R. L., Soni, D.: Applied Software Architecture. Addison Wesley, 1999.
25. Inverardi, P., Wolf, A. L.: Formal Specifications and Analysis of Software Architectures Using the Chemical Abstract Machine Model. IEEE Trans. on Software Engineering, Vol. 21, N. 4, pp. 100-114, April 1995.
26. Inverardi, P., Tivoli, M., Bucchiarone, A.: Coordinators synthesis for COTS group-ware systems: an example. In Proc. Int. Workshop on Distributed and Mobile Collaboration, 2003 (DMC 2003). Extended version as technical Report, University of LAquila, Department of Computer Science, http://www.di.univaq.it/tivoli/cscw_techrep.pdf, March 2003.
27. Jacobson, I., Booch, G., Rumbaugh, J.: The Unified Software Development Process. Addison Wesley, Object Technology Series, 1999.
28. Jard, C., Jéron, T.: TGV: Theory, Principles and Algorithms. Proc. Conf. IDPT 2002. Pasadena (USA), (2002).
29. Jrjens, J.: UMLsec: Extending UML for Secure Systems Development. Proc. UML 2002, Dresden, Sept. 30 - Oct. 4, 2002, LNCS.
30. Kruchten, P.: Architectural Blueprints - The "4+1" View Model of Software Architecture. IEEE Software, 12(6) November 1995, pp. 42-50.
31. Labelled Transition System Analyzer (LTSA). On-line at: 〈http://www-dse.doc.ic.ac.uk/∼jnm/book/〉.
32. Lay, M., Karis, M.: Collaborative writing in industry: Investigations in theory and practice. Baywood Publishing Company, Amityville, 1991.
33. Luckham, D. C., Kenney, J. J., Augustin, L. M., Vera, J., Bryan, D., Mann, W.: Specification and Analysis of System Architecture Using Rapide. IEEE Trans. on Software Engineering, Special Issue on Software Architecture, Vol. 21, N. 4, pp. 336-355, April 1995.
34. Magee, J., Kramer, J.: Concurrency: State Models & Java Programs. Wiley, April 1999.
35. Medvidovic, N., Rosenblum, D. S., Redmiles, D. F., Robbins, J. E.: Modeling software architectures in the Unified Modeling Language. ACM Transactions on Software Engineering and Methodology (TOSEM), Vol. 11 , Issue 1, Jan. 2002.
36. Milner, R.: Communication on Concurrences. International Series on Computer Science. Prentice Hall International, 1989.
37. Muccini, H.: Software Architecture for Testing, Coordination Models and Views Model Checking. PhD thesis, University of L'Aquila, year 2002. On-line at: 〈http://www.HenryMuccini.com/publications.htm〉.
38. Muccini, H., Bertolino, A., Inverardi, P.: Using Software Architecture for Code Testing Submitted for publication.
39. Muccini, H., Bertolino, A., Inverardi, P.: Using Software Architecture for Code Testing. Long version of [38]. On-line at http://www.HenryMuccini.com/publications.htm
40. Richardson, D. J., Wolf, A. L.: Software testing at the architectural level. ISAW-2 in Joint Proc. of the ACM SIGSOFT '96 Workshops, pp. 68-71, 1996.
41. Richardson, D. J., Stafford, J., Wolf, A. L.: A Formal Approach to Architecture-based Software Testing. Technical Report, University of California, Irvine, 1998.
42. TorX Test Tool Information. http://fmt.cs.utwente.nl/tools/torx/introduction.html
43. Tretmans, J.: Test Generation with Inputs, Outputs and Repetitive Quiescence. Software-Concepts and Tools, 17(3):103-120, 1996.
44. Tretmans, J.: Testing Concurrent Systems: A Formal Approach. Proc. of CONCUR'99, LNCS 1664 (1999), pp. 46-65.
45. UML. Object Management Group: OMG Unified Modeling Language (UML), V1.4, 2001. http://www.omg.org
46. de Vries, R. G., Tretmans, J.: Towards Formal Test Purposes. Proc. FATES'01, Aalborg, Denmark (2001).
47. Watson, A. H., McCabe, T. J.: Structured Testing: A Testing Methodology Using the Cyclomatic Complexity Metric. NIST Special Publication 500-235, August 1996.
48. Young, M.: Testing Complex Architectural Conformance Relations. In Proc. Int. Workshop on the ROle of Software Architecture in TEsting and Analysis (ROSATEA), CNR-NSF, pp. 42-45, July 1998.