A Technique to Support Incremental Construction and Verification in Component-Based Software Development
Đã lưu trong:
| Xuất bản năm: | International Journal of Advanced Computer Science and Applications vol. 16, no. 6 (2025) |
|---|---|
| Tác giả chính: | |
| Được phát hành: |
Science and Information (SAI) Organization Limited
|
| Những chủ đề: | |
| Truy cập trực tuyến: | Citation/Abstract Full Text - PDF |
| Các nhãn: |
Không có thẻ, Là người đầu tiên thẻ bản ghi này!
|
| Bài tóm tắt: | 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. |
|---|---|
| số ISSN: | 2158-107X 2156-5570 |
| DOI: | 10.14569/IJACSA.2025.0160680 |
| Nguồn: | Advanced Technologies & Aerospace Database |