Dynamic detection of COTS component incompatibility

IEEE Software

Volumn 24, Issue 5, 2007, Pages 76-85

  Mariani, Leonardo ^a,c   Pezzè, Mauro ^b  

^a Systems and Communication ^*  (Italy)

^b UNIVERSITY OF LUGANO   (Switzerland)

^c UNIVERSITY OF MILANO BICOCCA   (Italy)

Author keywords

COTS components; Dynamic analysis; Run time verification

Indexed keywords

EID: 84969862372     PISSN: 07407459     EISSN: None     Source Type: Journal    
DOI: 10.1109/MS.2007.138     Document Type: Article

References (15)

1. D. Garlan, R. Allen, and J. Ockerbloom, "Architectural Mismatch: Why Reuse is So Hard," IEEE Software, vol. 12, no. 6, 1995, pp. 17-26.
2. B. Boehm and C. Abts, "COTS Integration: Plug and Pray?" Computer vol. 32, no. 1, 1999, pp. 135-138.
3. B. Beizer, Black-Box Testing: Techniques for Functional Testing of Software and Systems, John Wiley & Sons, 1995.
4. H. Zhu, P.A.V. Hall, and J.H.R. May, "Software Unit Test Coverage and Adequacy," A CM Computing Surveys, vol. 29, no. 4, 1997, pp. 366-427.
5. N. Abu-Ghazaleh, M.J. Lewis, and M. Govindaraju, "Differential Serialization for Optimized SOAP Performance," Proc. 13th IEEE Int'l Symp. High Performance Distributed Computing (HPDC 04), IEEE CS Press, 2004, pp. 55-64.
6. M.D. Ernst et al., "Dynamically Discovering Likely Program Invariants to Support Program Evolution," IEEE Trans. Software Eng., vol. 27, no. 2, 2001, pp. 99-123.
7. S.P. Reiss and M. Renieris, "Encoding Program Executions," Proc. 23rd Int'l Conf. Software Eng. (ICSE 01), IEEE CS Press, 2001, pp. 221-232.
8. A. Biermann and J. Feldman, "On the Synthesis of Finite State Machines from Samples of their Behavior," IEEE Trans. Computers, vol. 21, no. 6, 1972, pp. 592-597.
9. J.E. Cook and A. Wolf, "Discovering Models of Software Processes from Event-Based Data," ACM Trans. Software Eng. and Methodology, vol. 7, no. 3, 1998, pp. 215-249.
10. R. Parekh, C. Nichitiu, and V. Honavar, "A Polynomial Time Incremental Algorithm for Learning DFA," Proc. 4th Int'l Colloquium Grammatical Inference, LNCS 1433, Springer, 1998, pp. 37-49.
11. S. Porat and J. Feldman, "Learning Automata from Ordered Examples," Machine Learning, vol. 7, nos. 2-3, 1991, pp. 109-138.
12. L. Mariani and M. Pezzi, "Behavior Capture and Test: Automated Analysis of Component Integration," Proc. 10th IEEE Int'l Conf. Eng. Complex Computer Systems (ICECCS 05), IEEE CS Press, 2005, pp. 292-301.
13. T.J. Ostrand and M.J. Balcer, "The Category-Partition Method for Specifying and Generating Functional Tests," Comm. ACM, vol. 31, no. 6, 1988, pp. 676-686.
14. M.A. Copenhafer and K.J. Sullivan, "Exploration Harnesses: Tool-Supported Interactive Discovery of Commercial Component Properties," Proc. 14th IEEE Conf. Automated Software Eng. (ASE 99), IEEE CS Press, 1999, pp. 7-14.
15. D. Lorenzoli, L. Mariani, and M. Pezzè, "Inferring State-Based Behavior Models," Proc. 4th Int'l Workshop Dynamic Systems Analysis (WODA 06), ACM Press, 2006, pp. 25-32.