On verification of software components
This addresses the reluctance of organizations to use third-party components due to verification challenges, though it appears incremental as it builds on existing specification-based methods.
The paper tackles the problem of verifying third-party software components' compatibility with system requirements by introducing a tool that checks components against developer-provided specifications, enabling developers to verify quality attributes before integration.
Utilizing third party software components in the development of new systems became somewhat unfavourable approach among many organizations nowadays. This reluctance is primarily built due to the lack of support to verify the quality attributes of software components in order to avoid potential mismatches with systems requirements. This paper presents an approach to overcome this problem by providing a tool support to check component compatibility to a specification provided by developers. So, components compatibility can be checked and developers can verify components that match their quality attributes prior of integrating them into their system.