Downloads: 2
Research Paper | Computer Science | Volume 14 Issue 12, December 2025 | Pages: 784 - 789 | India
An Efficient Verification of Concurrent Programs using Multi-Layered Software Verification Tool
Abstract: Ensuring the reliability of complex, concurrent software systems necessitate rigorous verification and validation (V&V). A primary challenge in this process is the manual creation of programming contracts, which serve as essential test oracles. This manual approach becomes progressively inefficient and prone to error as software scales. To address this, we propose a novel, automated multi-layered framework for the efficient verification of concurrent object-oriented programs. The framework operates through two integrated phases. In the initial Design Phase, it automatically analyzes Java source code to extract critical software dependencies, leveraging source code metrics and derived UML diagrams to understand program structure and concurrency constraints. These dependencies are then transformed into foundational code contracts. The subsequent Optimization Phase addresses the practical constraint of limited regression testing time. It employs hybrid metaheuristic algorithms to intelligently prioritize and optimize the generated contracts, ensuring maximum fault detection within time budgets. In this research introduce and evaluate three novel hybrid algorithms for this optimization: (1) Hybrid Ant Colony Optimization with Tabu Search (ACO-TS), (2) Hybrid Ant Colony Optimization with Particle Swarm Optimization (ACO-PSO), and (3) a data-driven Hyperbolic Tangent-instituted Decision Tree Classifier integrated with Harmony Search (Tanh DTC-HS). Experimental evaluation on established benchmarks, including Java Pet Store and JavaGenes, demonstrates the superiority of the proposed techniques. The results indicate that the Tanh DTC-HS algorithm achieves the fastest convergence and the highest stability, significantly outperforming standard metaheuristic approaches in efficiently generating optimal contract suites for verification.
Keywords: Concurrent Programs, Software Verification, Code Contracts, Hybrid Metaheuristics, Regression Testing, Optimization
How to Cite?: P. Sathyasri, P. Thenmozhi, S. Sakthivel, "An Efficient Verification of Concurrent Programs using Multi-Layered Software Verification Tool", Volume 14 Issue 12, December 2025, International Journal of Science and Research (IJSR), Pages: 784-789, https://www.ijsr.net/getabstract.php?paperid=SR251210124005, DOI: https://dx.dx.doi.org/10.21275/SR251210124005