An explorative journey from architectural tests definition down to code tests execution

Proceedings - International Conference on Software Engineering

Volumn , Issue , 2001, Pages 211-220

  Bertolino, A ^a   Inverardi, P ^a   Muccini, H ^a  

^a ISTI CNR   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; CODES (SYMBOLS); COMPUTER ARCHITECTURE; COMPUTER HARDWARE DESCRIPTION LANGUAGES; COMPUTER SIMULATION; COMPUTER SOFTWARE SELECTION AND EVALUATION; DISTRIBUTED COMPUTER SYSTEMS; ARCHITECTURE; TESTING;

ARCHITECTURAL DESCRIPTION LANGUAGE; CODE TEST EXECUTION; LABELED TRANSITION SYSTEMS; SOFTWARE ARCHITECTURE; TELESERVICE AND REMOTE MEDICAL CARE SYSTEM; ARCHITECTURAL PROCESS; ARCHITECTURAL SPECIFICATIONS; AS PATHS; CONFORMANCE TESTING; EXECUTABLES; LABELLED TRANSITION SYSTEMS; REFERENCE MODELING; TEST CASE; TEST EXECUTION; TEST LEVELS;

SOFTWARE ENGINEERING; INTEGRATION TESTING;

EID: 0035009546     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (23)

1. Robert Allen, David Garlan, A formal basis for architectural connection, ACM Transactions on Software Engineering and Methodology (TOSEM), v.6 n.3, p.213-249, July 1997 [doi>10.1145/258077.258078]
2. P. Inverardi, C. Mangano, F. Russo, S. Balsamo, Performance Evaluation of a Software Architecture: A Case Study, Proceedings of the 9th international workshop on Software specification and design, p.116, April 16-18, 1998
3. A. Bechini, K.-C. Tai, Design of a Toolset for Dynamic Analysis of Concurrent Java Programs, Proceedings of the 6th International Workshop on Program Comprehension, p.190, June 24-26, 1998
4. A. Bertolino, F. Corradini, P. Inverardi, and H. Muccini. Architectural Abstractions to Support Analysis and Testing. IR 50/99, University of L'Aquila, On-line at: < http://www.dm.univaq.it/_muccini/Page2.html >.
5. A. Bertolino, F. Corradini, P. Inverardi, H. Muccini, Deriving test plans from architectural descriptions, Proceedings of the 22nd international conference on Software engineering, p.220-229, June 04-11, 2000, Limerick, Ireland [doi>10.1145/337180.337205]
6. A. Bertolino, P. Inverardi, and H. Muccini. Specificationbased Testing In-The-Large Driven by the Software Architecture. IR 22/00, University of L'Aquila, On-line at: < http://www.dm.univaq.it/_muccini/Page2.html >.
7. A. Bertolino, P. Inverardi, H. Muccini, A. Rosetti, An approach to integration testing based on architectural descriptions, Proceedings of the Third IEEE International Conference on Engineering of Complex Computer Systems, p.77, September 08-12, 1997
8. Rachel Cardell-Oliver, Tim Glover, A Practical and Complete Algorithm for Testing Real-Time Systems, Proceedings of the 5th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, p.251-261, September 14-18, 1998
9. Richard H. Carver, Kuo-Chung Tai, Use of Sequencing Constraints for Specification-Based Testing of Concurrent Programs, IEEE Transactions on Software Engineering, v.24 n.6, p.471-490, June 1998 [doi>10.1109/32.689403]
10. Jean-Claude Fernandez, Claude Jard, Thierry Jéron, César Viho, Using On-The-Fly Verification Techniques for the Generation of test Suites, Proceedings of the 8th International Conference on Computer Aided Verification, p.348-359, August 03, 1996
11. FSP. Finite State Process. On-line at: < http://www-dse.doc.ic.ac.uk/_jnm/book/ltsa/Appendix-A.html >.
12. Susumu Fujiwara, Gregor von Bochmann, Ferhat Khendek, Mokhtar Amalou, Abderrazak Ghedamsi, Test Selection Based on Finite State Models, IEEE Transactions on Software Engineering, v.17 n.6, p.591-603, June 1991 [doi>10.1109/32.87284]
13. Christine Hofmeister, Robert Nord, Dilip Soni, Applied software architecture, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1999
14. LTSA. Labelled Transition System Analyzer. On-line at: < http://www-dse.doc.ic.ac.uk/_jnm/book/>.
15. Jeff Magee, Jeff Kramer, Concurrency: state models & Java programs, John Wiley & Sons, Inc., New York, NY, 2000
16. Dino Mandrioli, Sandro Morasca, Angelo Morzenti, Generating test cases for real-time systems from logic specifications, ACM Transactions on Computer Systems (TOCS), v.13 n.4, p.365-398, Nov. 1995 [doi>10.1145/210223.210226]
17. T. J. McCabe. A Complexity Measure. IEEE Trans. on Software Engineering, Vol. 2, N. 4, pp. 308-320, 1976.
18. Nenad Medvidovic, David S. Rosenblum, Richard N. Taylor, A language and environment for architecture-based software development and evolution, Proceedings of the 21st international conference on Software engineering, p.44-53, May 16-22, 1999, Los Angeles, California, USA [doi>10.1145/302405.302410]
19. Rational-Corporation. Uml Resource Center. UML documentation, version 1.3. On-line at: .
20. D. J. Richardson, P. Inverardi, and A. Bertolino. ACM Proc. Int. Workshop on the role of Software Architecture in testing and Analysis (ROSATEA), CNR-NSF, July 1998. On-line at: < http://www.ics.uci.edu/_djr/rosatea/ >.
21. Debra J. Richardson, Alexander L. Wolf, Software testing at the architectural level, Joint proceedings of the second international software architecture workshop (ISAW-2) and international workshop on multiple perspectives in software development (Viewpoints '96) on SIGSOFT '96 workshops, p.68-71, October 16-18, 1996, San Francisco, California, USA [doi>10.1145/243327.243605]
22. Mary Shaw, David Garlan, Software architecture: perspectives on an emerging discipline, Prentice-Hall, Inc., Upper Saddle River, NJ, 1996
23. Jan Tretmans, Conformance testing with labelled transition systems: implementation relations and test generation, Computer Networks and ISDN Systems, v.29 n.1, p.49-79, Dec. 1996 [doi>10.1016/S0169-7552(96)00017-7]