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!
|
MARC
| LEADER | 00000nab a2200000uu 4500 | ||
|---|---|---|---|
| 001 | 3231644751 | ||
| 003 | UK-CbPIL | ||
| 022 | |a 2158-107X | ||
| 022 | |a 2156-5570 | ||
| 024 | 7 | |a 10.14569/IJACSA.2025.0160680 |2 doi | |
| 035 | |a 3231644751 | ||
| 045 | 2 | |b d20250101 |b d20251231 | |
| 100 | 1 | |a PDF | |
| 245 | 1 | |a A Technique to Support Incremental Construction and Verification in Component-Based Software Development | |
| 260 | |b Science and Information (SAI) Organization Limited |c 2025 | ||
| 513 | |a Journal Article | ||
| 520 | 3 | |a 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. | |
| 610 | 4 | |a Universiti Putra Malaysia | |
| 653 | |a Software reliability | ||
| 653 | |a Petri nets | ||
| 653 | |a System effectiveness | ||
| 653 | |a Verification | ||
| 653 | |a Software development | ||
| 653 | |a Construction | ||
| 653 | |a Design | ||
| 653 | |a Software | ||
| 653 | |a Computer science | ||
| 653 | |a Information technology | ||
| 653 | |a Case studies | ||
| 773 | 0 | |t International Journal of Advanced Computer Science and Applications |g vol. 16, no. 6 (2025) | |
| 786 | 0 | |d ProQuest |t Advanced Technologies & Aerospace Database | |
| 856 | 4 | 1 | |3 Citation/Abstract |u https://www.proquest.com/docview/3231644751/abstract/embedded/6A8EOT78XXH2IG52?source=fedsrch |
| 856 | 4 | 0 | |3 Full Text - PDF |u https://www.proquest.com/docview/3231644751/fulltextPDF/embedded/6A8EOT78XXH2IG52?source=fedsrch |