On verification of software components

TL;DR

This paper introduces a tool-based approach for verifying the compatibility and quality attributes of third-party software components to ensure they meet system requirements before integration.

Contribution

It presents a novel method and tool support for verifying component compatibility with specified quality attributes, addressing a key challenge in component-based software development.

Findings

Tool effectively checks component compatibility

Supports verification of quality attributes

Helps prevent mismatches in system integration

Abstract

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.