A Technique to Support Incremental Construction and Verification in Component-Based Software Development
Guardado en:
| Publicado en: | International Journal of Advanced Computer Science and Applications vol. 16, no. 6 (2025) |
|---|---|
| Autor principal: | |
| Publicado: |
Science and Information (SAI) Organization Limited
|
| Materias: | |
| Acceso en línea: | Citation/Abstract Full Text - PDF |
| Etiquetas: |
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| Resumen: | 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 |
| DOI: | 10.14569/IJACSA.2025.0160680 |
| Fuente: | Advanced Technologies & Aerospace Database |