The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.05 - September/October (2007 vol.24)
pp: 76-85
Leonardo Mariani , University of Milan Bicocca
Mauro Pezzè , University of Milan Bicocca
ABSTRACT
Developing component-based systems supports reuse and modularity but introduces new compatibility problems. Testing and analysis are usually based on the availability of either the source code or the specifications, but COTS components are commonly provided without source code and with incomplete specifications. A dynamic analysis technique called behavior capture and test can reveal COTS component misbehaviors and incompatibilities. BCT first automatically derives behavioral models by monitoring component executions and then dynamically checks these models when the components are replaced or used as part of a new system. Another article related to software composition also appears in this issue ("Open Source Software: All You Do Is Put It Together").
INDEX TERMS
dynamic analysis, COTS components, run-time verification.
CITATION
Leonardo Mariani, Mauro Pezzè, "Dynamic Detection of COTS Component Incompatibility", IEEE Software, vol.24, no. 5, pp. 76-85, September/October 2007, doi:10.1109/MS.2007.138
17 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool