Systematic Testing of Software Architectures in the C

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

Volumn 2984, Issue , 2004, Pages 295-309

  Muccini, Henry ^a,b   Dias, Marcio ^a,b   Richardson, Debra J ^a,b  

^a UNIVERSITY OF L'AQUILA   (Italy)

^b Ringgold Standard Institution Informatics   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CODES (SYMBOLS); CONCRETES; SOFTWARE ARCHITECTURE; SOFTWARE ENGINEERING; SPECIFICATIONS;

ARCHITECTURAL STYLE; CONFORMANCE TESTING; REFERENCE MODELING; REFINEMENT STEP; SELECTION STAGES; SYSTEMATIC TESTING; TEST CASE;

SOFTWARE TESTING;

EID: 34247378928     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-24721-0_22     Document Type: Article

References (32)

1. AGEDIS Project. Automated Generation and Execution of Test Suites for Distributed Component-based Software. On-line at: http://www.agedis.de/index. shtml.
2. The Argus-I project. University of California, Irvine. Information on-line at http://www.ics.uci.edu/~mdias/research/Argust.
3. G. Bernot, M. C. Gaudel, and B. Marre. Software Testing Based on Formal Specifications: A Theory and a Tool. Software Engineering Journal, Vol. 6, N. 6, pp. 387-405, 1991.
4. A. Bertolino and P. Inverardi. Architecture-based software testing. In Proc. ISAW96, October 1996.
5. A. Bertolino. Knowledge Area Description of Software Testing. In SWEBOK: The Guide to the Software Engineering Body of Knowledge, Joint IEEE-ACM Soft. Eng.
6. A. Bertolino, P. Inverardi, and H. Muccini. 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.
7. A. Bertolino, P. Inverardi, H. Muccini. Formal Methods in Testing Software Architectures. Chapter in Formal Methods for Software Architectures, SFM-03: SA Lectures, Eds. M. Bemardo, P. Inverardi, LNCS 2804,2003, p. 124-149.
8. G. v. Bochmann and A. Petrenko. Protocol Testing: Review of Methods and Relevance for Software Testing. In ACM Proc. Int. Symposium on Software Testing and Analysis, ISSTA 94, pp. 109-124, 1994.
9. R. H. Carver and K.-C. Tai. 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.
10. The C2 Architectural Style. On-line at: http://www.ics.uci.edit/pub/arch/ c2.html.
11. E. Dashofy, A. van der Hoek, and R. N. Taylor An Infrastructure for the Rapid Development of XML-Based Architecture Description Languages. In Proceedings of the ICSE 2002 International Conference on Software Engineering (ICSE 2002), Orlando, Florida, May 2002.
12. J. Dick and A. Faivre. Automating the Generation and Sequencing of Test Cases from Model-Based Specifications. In J.C.P. Woodcock and P.G. Larsen (Eds.), PME'93: Industrial-Strenght Formal Methods, pp. 268-284. LNCS 670, 1993.
13. A. Egyed. A Scenario-Driven Approach to Traceability. IEEE Proc. Int. Conf. on Software Engineering (ICSE2001), pp. 123-132, May 2001.
14. J.-C. Fernandez, C. Jard, T. Jeron, L. Nedelka, and C. Viho. Using On-the-fly Verification Techniques for the Generation of Test Suites. In Proc, of the Eighth Int. Conf. on Computer Aided Verification (CAV'96), USA, pp. 348-359, 1996. LNCS 1102, Springer, 1996.
15. D. Garlan. "Software Architecture", Encyclopedia of Software Engineering, John Wiley & Sons Inc., 2001.
16. M. J. Harrold. Testing: A Roadmap. In A. Finkelstein (Ed.), ACM ICSE 2000, The Future of Software Engineering, pp. 61-72, 2000.
17. Labelled Transition System Analyzer (LTSA). On-line at: http://www-dse.doc.ic.ac.uk/~jnm/book/.
18. J. Magee, and J. Kramer. Concurrency: State models & java programs. Wiley publisher, April 1999.
19. N. Medvidovic. Formal definition of the Chiron-2 software architectural style. Technical Report UCI-ICS-95-24, Department of Information and Computer Science, University of California, Irvine, August 1995.
20. N. Medvidovic, and R. N. Taylor. A Classification and Comparison Framework for Software Architecture Description Languages. In IEEE Transactions on Software Engineering, vol. 26, no. 1 (January 2000).
21. R. T. Monroe, Rapid Development of Custom Software Architecture Design Environments, Ph.D. Thesis, Carnegie Mellon University, 1999.
22. H. Muccini, M. Dias, and D. Richardson. Software Architecture-based Conformance and Regression Testing - documents. On-line at: http://www. HenryMuccini.com/Research/ICSE04_Submitted. htm.
23. H. Muccini, M. Dias, and D. Richardson. Systematic Testing of Software Architectures in the C2 style. Extended version of the ETAPS 2004 publication. On-line at: htip://www.HenryMuccini.com/Research/ETAPS04.htm.
24. T. J. Ostrand and M. J. Balcer. The Category-Partition Method for Specifying and Generating Functional Tests. Communications of the ACM, Vol. 31, N. 6, pp. 676-686, June 1988.
25. O. Papapetrou, A. Stavrou and G. A. Papadopoulos. From Software Architectures to Coordination Programming: Bridging the Gap Between Architecture Specification and System Implementation. Submitted for publication.
26. J. Richardson and A. L.Wolf. Software testing at the architectural level. ISAW- 2 in Joint Proc. of the ACM SIGSOFT 96 Workshops, pp. 68-71, 1996.
27. J. Richardson, J. Stafford, and A. L. Wolf. A Formal Approach to Architecture-based Software Testing. Technical Report, University of California, Irvine, 1998.
28. Straw 2001. First Int. Workshop "From Software Requirements to Architectures" (STRAW'01), May 14,2001, Toronto, Canada.
29. R. N. Taylor, N. Medvidovic, K. M. Anderson, E. J. Whitehead Jr., J. E. Robbins, K. A. Nies, P. Oreizy, and D. L. Dubrow. A Component- and Message-Based Architectural Style for GUI Software. In IEEE Transactions on Software Engineering, June 1996.
30. J. Tretmans. Conformance Testing with Labeled Transition Systems: Implementation Relations and Test Generation. Computer Networks and ISDN Systems, Vol.29, pp. 49-79, 1996.
31. H. Watson and T. J. McCabe. Structured Testing: A Testing Methodology Using the Cyclomatic Complexity Metric. NIST Special Publication 500-235, August 1996.
32. M. Young. 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.