journal article·2026-02-28Open access

A Whale Optimization-Based Dynamic Compression ATPG Algorithm for Computer Interlocking Equipment Testing

Zhiyang Yu, Lanxuan Jiang, Tianze Wu, Xiaoming Chen

Applied Sciences· Volume 16· Issue 5

Abstract

High-speed railway signaling equipment constitutes safety-critical infrastructure, wherein hardware failures may directly compromise operational safety. During the hardware prototyping and verification stage, structural testing is essential to detect latent faults in digital logic circuits and to ensure compliance with stringent safety integrity requirements. However, conventional test generation methods often suffer from long generation times and excessive test vector volume. To address these challenges, this study proposes a whale optimization-based dynamic compression Automatic Test-Pattern Generation (ATPG) algorithm. The proposed method integrates a discrete whale optimization algorithm (WOA) with a deterministic PODEM framework to dynamically compress generated test vectors. Additionally, a multi-path-sensitized PODEM enhanced with desensitization techniques is introduced to reduce backtracking and improve search efficiency. The proposed algorithm has been applied to the computer interlocking golden model netlist for testing purposes, achieving an impressive fault coverage rate of 100%. Test results from the ISCAS-85 standard circuit indicate that our approach significantly reduces both the length of the vector set and the time required for test generation when compared to traditional PODEMs without vector compression and pseudo-random combined PODEM vector generation methods. This advancement effectively enhances overall vector generation efficiency while maintaining comprehensive fault coverage.
Source: crossref · Quality: baseline

Research context

OpenAlex topics: VLSI and Analog Circuit Testing · Software Testing and Debugging Techniques · Engineering and Test Systems

SciVX discovery tags are terminology-based. OpenAlex topics are source-provided classifications.

Affiliations

Signal & Communication Research Institute, China Academy of Railway Sciences Corporation Limited, Beijing 100081, China

School of Optoelectronic Engineering and Instrumentation Science, Dalian University of Technology, Dalian 116000, China

Funding

Fund of China Academy of Railway Sciences

References (39)

Show source-provided references
1. Cost-Effective Test Case Generation with the Hyper-Heuristic for Software Product Line Testing10.1016/j.advengsoft.2022.103335 ↗
2. Simulating Train Dispatching Logic with High-Level Petri Nets
3. A3Test: Assertion-Augmented Automated Test Case Generation10.1016/j.infsof.2024.107565 ↗
4. Wang, Y., Bai, X., Li, J., and Huang, R. (2007, January 21–23). Ontology-Based Test Case Generation for Testing Web Services. Proceedings of the Eighth International Symposium on Autonomous Decentralized Systems (ISADS’07), Sedona, AZ, USA.10.1109/ISADS.2007.54 ↗
5. Chen, K., Lv, J., Huang, J., Guo, H., Su, S., and Tang, T. (2019, January 27–30). Online Conformance Testing of CBTC On-Board ATO Functions Based on UPPAAL-TRON Framework. Proceedings of the 2019 IEEE Intelligent Transportation Systems Conference (ITSC), Auckland, New Zealand.10.1109/ITSC.2019.8917035 ↗
6. Reliability Analysis on the Train Control System in the CTCS-3 Operating Mode10.1108/SRT-10-2020-0019 ↗
7. Baqar, M., and Khanda, R. (2025). The Future of Software Testing: AI–Powered Test Case Generation and Validation. Intelligent Computing—Proceedings of the Computing Conference, Springer Nature.10.1007/978-3-031-92605-1_18 ↗
8. Research on an intelligent management and supervision system for a high-speed railway interlocking test10.1109/ACCESS.2024.3433437 ↗
9. Huang, X., Yang, Y., Zhang, Y., and Ma, L. (2023). Automatic testing for the computer interlocking system and test sequence optimization. Proceedings of the IET Conference Proceedings CP872, The Institution of Engineering and Technology.10.1049/icp.2024.0746 ↗
10. Wild, M., Becker, J.S., Schneiders, C., and Möhlmann, E. (2025). A scenario-based simulation framework for testing of highly automated railway systems. Proceedings of the 11th International Conference on Vehicle Technology and Intelligent Transport Systems (VEHITS 2025), SciTePress.10.5220/0013286600003941 ↗
11. Wang, J., and Li, Q. (2023, January 27–28). Automatic testing of computerized interlocks based on recognition of the interlocking host computer interface. Proceedings of the 2023 International Conference on Communication Network and Machine Learning, Zhengzhou, China.10.1145/3640912.3640931 ↗
12. Diagnosis of automata failures—A calculus and a method10.1147/rd.104.0278 ↗
13. An Implicit Enumeration Algorithm to Generate Tests for Combinational Logic Circuits10.1109/TC.1981.1675757 ↗
14. On the Acceleration of Test-Generation Algorithms10.1109/TC.1983.1676174 ↗
15. Test Set Generation with a Large Number of Unspecified Bits Using Static and Dynamic Techniques10.1109/TC.2009.178 ↗
16. SMART And FAST: Test Generation for VLSI Scan-Design Circuits10.1109/MDT.1986.294975 ↗
17. Habib, K., Safar, M., Dessouky, M., and Salem, A. (2014, January 3–6). Don’t Cares Based Dynamic Test Vector Compaction in SAT-ATPG. Proceedings of the 57th IEEE International Midwest Symposium on Circuits and Systems (MWSCAS), College Station, TX, USA.10.1109/MWSCAS.2014.6908390 ↗
18. Zhou, L., Yang, D., Chen, L., Zhuang, W., Zhang, S., and Xiong, Y. (2024). A review of test stimulus compression methods for ultra-large-scale integrated circuits. Appl. Sci., 14.10.3390/app142310769 ↗
19. Test compression for launch-on-capture transition fault testing10.1145/3597433 ↗
20. DYCOCO: Dynamic configuration-based test compaction10.1109/ACCESS.2025.3572392 ↗
21. A fast test compaction method using dedicated Pure MaxSAT solver embedded in DFT flow10.1016/j.vlsi.2024.102265 ↗
22. Exploring Swarm Intelligence Optimization Techniques for Task Scheduling in Cloud Computing: Algorithms, Performance Analysis, and Future Prospects10.1007/s42044-023-00163-8 ↗
23. Rudnick, E.M., Patel, J.H., Greenstein, G.S., and Niermann, T.M. (1994, January 6–10). Sequential Circuit Test Generation in a Genetic Algorithm Framework. Proceedings of the 31st Design Automation Conference, San Diego, CA, USA.10.1145/196244.196619 ↗
24. Yuan-Liang, G., and Wen-Bo, X. (2011, January 14–17). Study on Automatic Test Generation of Digital Circuits Using Particle Swarm Optimization. Proceedings of the 2011 10th International Symposium on Distributed Computing and Applications to Business, Engineering and Science, Wuxi, China.10.1109/DCABES.2011.84 ↗
25. Dorigo, M. (1992). Optimization, Learning and Natural Algorithms. [Ph.D. Thesis, Politecnico di Milano].
26. Karaboga, D. (2005). An Idea Based on Honey Bee Swarm for Numerical Optimization, Erciyes University. Technical Report.
27. The Whale Optimization Algorithm10.1016/j.advengsoft.2016.01.008 ↗
28. Q-learning whale optimization algorithm for test suite generation with constraints support10.1007/s00521-023-09000-2 ↗
29. Whale optimization algorithm strategies for higher interaction strength T-way testing
30. Input-output based relation combinatorial testing using whale optimization algorithm for generating near optimum number of test suite10.17576/jqma.2103.2025.02 ↗
31. Miron, A., Melvin, A.B., and Arthur, D.F. (1990). Testing for Single Stuck Faults. Digital Systems Testing and Testable Design, IEEE.
32. Goldstein, L.H., and Thigpen, E.L. (1980, January 23–25). SCOAP: Sandia Controllability/Observability Analysis Program. Proceedings of the 17th Design Automation Conference, Minneapolis, MN, USA.10.1145/800139.804528 ↗
33. Paria, S., Ferdous, M.R., Dasgupta, A., Chatterjee, A., and Bhunia, S. (2025). Enhancing test efficiency through automated ATPG-aware lightweight scan instrumentation. arXiv.
34. Chang, C.-W., and Lee, S.-J. (1995, January 22–27). An Improved Path Sensitization Method in Test Pattern Generation for Combinational Circuits. Proceedings of the IEEE Conference on Industrial Automation and Control Emerging Technology Applications, Taipei, Taiwan.
35. Dilip, P.S., Somanathan, G.R., and Bhakthavatchalu, R. (2019, January 13–14). Comparative Study of Test Pattern Generation Systems to Reduce Test Application Time. Proceedings of the 9th IEEE International Symposium on Embedded Computing and System Design (ISED), Kollam, India.10.1109/ISED48680.2019.9096234 ↗
36. Chen, X.M., Wang, Z.X., Yu, Z.Y., and Chui, H.-C. (2022). Time-Varying Pseudorandom Disturbed Pattern Generation Algorithm for Track Circuit Equipment Testing. Micromachines, 13.10.3390/mi13060853 ↗
37. New Binary Whale Optimization Algorithm for Discrete Optimization Problems10.1080/0305215X.2019.1624740 ↗
38. Peng, L., Xiaoli, S., and Jiayu, K. (2021, January 22–24). Risk Analysis of Station Computer Interlocking in Railway Station. Proceedings of the 2021 7th International Symposium on Mechatronics and Industrial Informatics (ISMII), Zhuhai, China.10.1109/ISMII52409.2021.00073 ↗
39. De la Fraga, L.G. (2025). Multi-Objective Optimization of a Fractional-Order Lorenz System. Fractal Fract., 9.10.3390/fractalfract9030171 ↗