A Technique to Support Incremental Construction and Verification in Component-Based Software Development
Spremljeno u:
| Izdano u: | International Journal of Advanced Computer Science and Applications vol. 16, no. 6 (2025) |
|---|---|
| Glavni autor: | |
| Izdano: |
Science and Information (SAI) Organization Limited
|
| Teme: | |
| Online pristup: | Citation/Abstract Full Text - PDF |
| Oznake: |
Bez oznaka, Budi prvi tko označuje ovaj zapis!
|
| Sažetak: | Technological advancements in recent decades have significantly increased the scale and complexity of software systems, which poses challenges to their development and reliability. Component-based software development (CBSD) offers a promising solution by enabling modular and efficient software construction. However, CBSD alone cannot fully address challenges such as ensuring reliability and avoiding errors like deadlocks. Verification techniques, such as model-checking, are necessary to ensure the correctness of CBSD systems. Despite its effectiveness in verifying system properties, model-checking faces a critical issue known as state-space explosion (SSE), which hinders scalability. This study introduces an incremental verification technique for CBSD to address SSE and ensure deadlock freedom. The proposed technique incrementally constructs and verifies component-based systems, eliminating verified portions of components to minimize state-space size during subsequent verification steps. It utilizes a component model that supports encapsulation of computation and control, making incremental verification feasible. Evaluation of the technique using coloured petri nets with non-trivial case studies demonstrates its ability to detect deadlocks early and manage SSE effectively, thereby improving the efficiency of the verification process. |
|---|---|
| ISSN: | 2158-107X 2156-5570 |
| Digitalni identifikator objekta: | 10.14569/IJACSA.2025.0160680 |
| Izvor: | Advanced Technologies & Aerospace Database |