{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,13]],"date-time":"2026-01-13T22:17:53Z","timestamp":1768342673892,"version":"3.49.0"},"reference-count":48,"publisher":"Association for Computing Machinery (ACM)","issue":"1","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Softw. Eng. Methodol."],"published-print":{"date-parts":[[2026,1,31]]},"abstract":"<jats:p>In the field of message-passing interface (MPI) program path coverage test case generation, evolutionary algorithms (EAs) have been frequently utilized to generate test cases. However, relying solely on EAs will incur excessive computational costs. In this article, we improve the efficiency and quality of MPI program path coverage test cases generated by EAs based on elite individual selection. First, data within the data domain is sampled and fitness is calculated to form a shared set. Then, the population data is initialized using EAs, and the fitness of individuals is predicted using the neighbor value sharing algorithm (NVSA). Subsequently, individuals are ranked using rank-based elite selection (RES). Finally, elite individuals are chosen through ranking to run the program and verify the generation of test cases. In order to reduce computational costs, data dimensionality reduction operations are added to the above process. We demonstrate that the proposed method can effectively generate test data and reduce test costs by comparing it with several excellent methods on seven representative MPI programs. Among them, NVSA has a maximum improvement of 42.2%, RES has a maximum improvement of 31.5%, dimensionality reduction can increase by 20.2%, and the overall method has a maximum improvement of 47.4%.<\/jats:p>","DOI":"10.1145\/3723354","type":"journal-article","created":{"date-parts":[[2025,3,14]],"date-time":"2025-03-14T11:30:16Z","timestamp":1741951816000},"page":"1-37","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Efficient Generation of Test Cases for MPI Program Path Coverage through Elite Individual Selection"],"prefix":"10.1145","volume":"35","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-4177-5462","authenticated-orcid":false,"given":"Yong","family":"Wang","sequence":"first","affiliation":[{"name":"School of Computer Science and Technology, Ocean University of China, Qingdao, China"}]},{"ORCID":"https:\/\/orcid.org\/0009-0000-0198-8071","authenticated-orcid":false,"given":"Wenzhong","family":"Cui","sequence":"additional","affiliation":[{"name":"School of Computer Science and Technology, Ocean University of China, Qingdao, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3295-8972","authenticated-orcid":false,"given":"Gai-Ge","family":"Wang","sequence":"additional","affiliation":[{"name":"School of Computer Science and Technology, Ocean University of China, Qingdao, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4316-932X","authenticated-orcid":false,"given":"Jian","family":"Wang","sequence":"additional","affiliation":[{"name":"College of Science, China University of Petroleum (East China), Qingdao, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2838-4301","authenticated-orcid":false,"given":"Dunwei","family":"Gong","sequence":"additional","affiliation":[{"name":"College of Automation and Electronic Engineering, Qingdao University of Science and Technology, Qingdao, China"}]}],"member":"320","published-online":{"date-parts":[[2025,12,11]]},"reference":[{"key":"e_1_3_1_2_2","first-page":"75","volume":"30","author":"Peng Ivy Bo","year":"2017","unstructured":"Ivy Bo Peng, Stefano Markidis, Roberto Gioiosa, Gokcen Kestor, and Erwin Laure. 2017. MPI streams for HPC applications. New Front. High Perform. Comput. Big Data. 30 (2017), 75.","journal-title":"MPI streams for HPC applications. New Front. High Perform. Comput. Big Data"},{"key":"e_1_3_1_3_2","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1007\/3-540-45825-5_5","volume-title":"the European Parallel Virtual Machine\/Message Passing Interface Users Group Meeting","author":"William Gropp","year":"2002","unstructured":"William Gropp. 2002. MPICH2: A new start for MPI implementations. In the European Parallel Virtual Machine\/Message Passing Interface Users Group Meeting. Springer, 7\u20137."},{"key":"e_1_3_1_4_2","doi-asserted-by":"publisher","DOI":"10.1016\/0167-8191(96)00024-5"},{"key":"e_1_3_1_5_2","first-page":"48","volume-title":"Using Microsoft message passing interface (MS MPI)","author":"Lantz Eric","year":"2008","unstructured":"Eric Lantz. 2008. Using Microsoft message passing interface (MS MPI). Windows HPC Server (2008), 48."},{"issue":"2","key":"e_1_3_1_6_2","first-page":"112","article-title":"Overview of software testing standard ISO\/IEC\/IEEE 29119","volume":"18","author":"Alaqail Hesham","year":"2018","unstructured":"Hesham Alaqail and Shakeel Ahmed. 2018. Overview of software testing standard ISO\/IEC\/IEEE 29119. Int. J. Comput. Sci. Netw. Secur. 18, 2 (2018), 112\u2013116.","journal-title":"Int. J. Comput. Sci. Netw. Secur"},{"key":"e_1_3_1_7_2","first-page":"79","volume-title":"2018 IEEE International Conference on Software Quality, Reliability and Security Companion (QRSC \u201918)","author":"Wei Qingjie","year":"2018","unstructured":"Qingjie Wei, Yijin Li, and Yuheng Zhang. 2018. A new method of evolutionary testing for path coverage. In 2018 IEEE International Conference on Software Quality, Reliability and Security Companion (QRSC \u201918). IEEE, Lisbon, 79\u201386."},{"key":"e_1_3_1_8_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2018.05.029"},{"key":"e_1_3_1_9_2","first-page":"141","volume-title":"2023 IEEE\/ACM 23rd International Symposium on Cluster, Cloud and Internet Computing (CCGrid \u201923)","author":"Salimi Beni Majid","year":"2023","unstructured":"Majid Salimi Beni, Luigi Crisci, and Biagio Cosenza. 2023. EMPI: Enhanced message passing interface in modern C++. In 2023 IEEE\/ACM 23rd International Symposium on Cluster, Cloud and Internet Computing (CCGrid \u201923). IEEE, Bangalore, 141\u2013153."},{"key":"e_1_3_1_10_2","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2017.2663435"},{"issue":"4","key":"e_1_3_1_11_2","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/3232520","article-title":"Automated regression test case generation for web application: A survey","volume":"51","author":"Gupta Nishant","year":"2018","unstructured":"Nishant Gupta, Vibhash Yadav, and Mayank Singh. 2018. Automated regression test case generation for web application: A survey. ACM Comput. Surv. 51, 4 (2018), 1\u201325.","journal-title":"ACM Comput. Surv"},{"issue":"16","key":"e_1_3_1_12_2","doi-asserted-by":"crossref","first-page":"1893","DOI":"10.1002\/cpe.1297","article-title":"Structural testing criteria for message\u2010passing parallel programs","volume":"20","author":"Souza SdRSd","year":"2008","unstructured":"SdRSd Souza, Silvia Regina Vergilio, Paulo S\u00e9rgio Lopes de Souza, Adenilso da Silva Sim\u00e3o, and Alexandre Ceolin Hausen. 2008. Structural testing criteria for message\u2010passing parallel programs. Concurr. Comput.: Pract. Exper. 20, 16 (2008), 1893\u20131916.","journal-title":"Concurr. Comput.: Pract. Exper"},{"key":"e_1_3_1_13_2","doi-asserted-by":"publisher","DOI":"10.1145\/271775.271804"},{"key":"e_1_3_1_14_2","first-page":"625","volume-title":"5th International Conference on Software Engineering and Applications","author":"Xanthakis Spiros","year":"1992","unstructured":"Spiros Xanthakis, C. Ellis, Christos Skourlas, A. Le Gall, S. Katsikas, and K. Karapoulios. 1992. Application of genetic algorithms to software testing. In 5th International Conference on Software Engineering and Applications. ACM, Melbourne, 625\u2013636."},{"key":"e_1_3_1_15_2","doi-asserted-by":"publisher","DOI":"10.1007\/s10515-014-0173-z"},{"key":"e_1_3_1_16_2","doi-asserted-by":"publisher","DOI":"10.1109\/CEC.2019.8789910"},{"key":"e_1_3_1_17_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2022.107068"},{"key":"e_1_3_1_18_2","doi-asserted-by":"publisher","DOI":"10.1145\/3423132"},{"issue":"4","key":"e_1_3_1_19_2","first-page":"1336","article-title":"Integrating an ensemble surrogate model\u2019s estimation into test data generation","volume":"48","author":"Sun Baicai","year":"2020","unstructured":"Baicai Sun, Dunwei Gong, Tian Tian, and Xiangjuan Yao. 2020. Integrating an ensemble surrogate model\u2019s estimation into test data generation. IEEE Trans. Softw. Eng. 48, 4 (2020), 1336\u20131350.","journal-title":"IEEE Trans. Softw. Eng"},{"key":"e_1_3_1_20_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.ipl.2008.01.007"},{"issue":"4","key":"e_1_3_1_21_2","doi-asserted-by":"crossref","first-page":"385","DOI":"10.1016\/j.artint.2005.12.002","article-title":"Breadth-first heuristic search","volume":"170","author":"Zhou Rong","year":"2006","unstructured":"Rong Zhou and Eric A. Hansen. 2006. Breadth-first heuristic search. Artif. Intell. 170, 4\u20135 (2006), 385\u2013408.","journal-title":"Artif. Intell"},{"key":"e_1_3_1_22_2","first-page":"107","volume-title":"2006 6th International Conference on Quality Software (QSIC \u201906)","author":"Xu Zhongxing","year":"2006","unstructured":"Zhongxing Xu and Jian Zhang. 2006. A test data generation tool for unit testing of C programs. In 2006 6th International Conference on Quality Software (QSIC \u201906). IEEE, Beijing, 107\u2013116."},{"key":"e_1_3_1_23_2","doi-asserted-by":"crossref","unstructured":"Jared Lee Gearhart Kristin Lynn Adair Justin David Durfee Katherine A. Jones Nathaniel Martin and Richard Joseph Detry. 2013. Comparison of open-source linear programming solvers (No. SAND2013-8847). Sandia National Lab. Albuquerque.","DOI":"10.2172\/1104761"},{"key":"e_1_3_1_24_2","doi-asserted-by":"crossref","first-page":"854","DOI":"10.1109\/CCAA.2015.7148494","volume-title":"International Conference on Computing, Communication and Automation (ICCCA \u201915)","author":"Khandelwal Juhi","year":"2015","unstructured":"Juhi Khandelwal and Pradeep Tomar. 2015. Approach for automated test data generation for path testing in aspect-oriented programs using genetic algorithm. In International Conference on Computing, Communication and Automation (ICCCA \u201915). IEEE, Greater Noida, 854\u2013858."},{"key":"e_1_3_1_25_2","first-page":"1","volume-title":"2016 IEEE AUTOTESTCON","author":"Tom Armes","year":"2016","unstructured":"Tom Armes. 2016. Planning tomorrow\u2019s test data today: Simple tips for future-proofing your test data. In 2016 IEEE AUTOTESTCON. IEEE, Anaheim, 1\u20134."},{"key":"e_1_3_1_26_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.cor.2007.01.012"},{"issue":"1","key":"e_1_3_1_27_2","doi-asserted-by":"crossref","first-page":"12","DOI":"10.23919\/CSMS.2022.0027","article-title":"Search-based software test data generation for path coverage based on a feedback-directed mechanism","volume":"3","author":"Dereck Semujju Stuart","year":"2023","unstructured":"Stuart Dereck Semujju, Han Huang, Fangqing Liu, Yi Xiang and Zhifeng Hao. 2023. Search-based software test data generation for path coverage based on a feedback-directed mechanism. Complex Syst. Model. and Simul. 3, 1 (2023), 12\u201331.","journal-title":"Complex Syst. Model. and Simul"},{"issue":"10","key":"e_1_3_1_28_2","first-page":"40","article-title":"Data flow testing of UML state machine using ant colony algorithm (ACO)","volume":"17","author":"Rauf Abdul","year":"2017","unstructured":"Abdul Rauf. 2017. Data flow testing of UML state machine using ant colony algorithm (ACO). Int. J. Comp. Sci. Netw. Sec. 17, 10 (2017), 40\u201344.","journal-title":"Int. J. Comp. Sci. Netw. Sec"},{"key":"e_1_3_1_29_2","doi-asserted-by":"publisher","DOI":"10.1007\/s10766-015-0363-8"},{"key":"e_1_3_1_30_2","doi-asserted-by":"publisher","DOI":"10.1002\/cpe.2937"},{"issue":"2","key":"e_1_3_1_31_2","doi-asserted-by":"crossref","first-page":"273","DOI":"10.4236\/wjet.2016.42027","article-title":"A comparative study on test case generation of concurrent programs","volume":"4","author":"Bidush Kumar","year":"2016","unstructured":"Bidush Kumar Sahoo and Mitrabinda Ray. 2016. A comparative study on test case generation of concurrent programs. World J. Eng. Technol. 4, 2 (2016), 273.","journal-title":"World J. Eng. Technol"},{"key":"e_1_3_1_32_2","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2024.3354971"},{"key":"e_1_3_1_33_2","first-page":"1","volume-title":"2019 7th International Conference on Smart Computing & Communications (ICSCC \u201919)","author":"Wong W. K.","year":"2019","unstructured":"W. K. Wong and Chew Ing Ming. 2019. A review on metaheuristic algorithms: Recent trends, benchmarking and applications. In 2019 7th International Conference on Smart Computing & Communications (ICSCC \u201919). IEEE, Miri, 1\u20135."},{"key":"e_1_3_1_34_2","doi-asserted-by":"publisher","DOI":"10.1109\/TCYB.2017.2780274"},{"key":"e_1_3_1_35_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-93025-1"},{"key":"e_1_3_1_36_2","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1109\/MHS.1995.494215","volume-title":"6th International Symposium on Micro Machine and Human Science (MHS \u201995)","author":"Eberhart Russell","year":"1995","unstructured":"Russell Eberhart and James Kennedy. 1995. A new optimizer using particle swarm theory. In 6th International Symposium on Micro Machine and Human Science (MHS \u201995). IEEE, Nagoya, 39\u201343."},{"key":"e_1_3_1_37_2","doi-asserted-by":"publisher","DOI":"10.1109\/MCI.2006.329691"},{"key":"e_1_3_1_38_2","first-page":"93","volume-title":"2010 2nd International Conference on Computer Research and Development (ICCRD \u201910)","author":"Ahmed Bestoun S.","year":"2010","unstructured":"Bestoun S. Ahmed and Kamal Z. Zamli. 2010. T-way test data generation strategy based on particle swarm optimization. In 2010 2nd International Conference on Computer Research and Development (ICCRD \u201910). IEEE, Washington, 93\u201397."},{"key":"e_1_3_1_39_2","doi-asserted-by":"publisher","DOI":"10.1145\/1276958.1277178"},{"key":"e_1_3_1_40_2","first-page":"1350","volume-title":"2022 IEEE International Conference on Big Data (Big Data \u201922)","author":"Ren Xiaoli","year":"2022","unstructured":"Xiaoli Ren, Kefeng Deng, Kaijun Ren, Junqiang Song, Xiaoyong Li, and Qing Xu. 2022. FVec2vec: A fast nonlinear dimensionality reduction approach for general data. In 2022 IEEE International Conference on Big Data (Big Data \u201922). IEEE, Osaka, 1350\u20131355."},{"key":"e_1_3_1_41_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.engappai.2021.104210"},{"key":"e_1_3_1_42_2","doi-asserted-by":"publisher","DOI":"10.1007\/s11263-005-4939-z"},{"issue":"11","key":"e_1_3_1_43_2","doi-asserted-by":"crossref","first-page":"559","DOI":"10.1080\/14786440109462720","article-title":"LIII. On lines and planes of closest fit to systems of points in space","volume":"2","author":"Pearson Karl","year":"1901","unstructured":"Karl Pearson. 1901. LIII. On lines and planes of closest fit to systems of points in space. Lond. Edinb. Dubl. Phil. Mag. 2, 11 (1901), 559\u2013572.","journal-title":"Lond. Edinb. Dubl. Phil. Mag"},{"key":"e_1_3_1_44_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4419-9878-1"},{"key":"e_1_3_1_45_2","first-page":"1005","volume-title":"2021 3rd International Conference on Inventive Research in Computing Applications (ICIRCA \u201921)","author":"Shah Smit","year":"2021","unstructured":"Smit Shah and Saurav Joshi. 2021. Study of various dimensionality reduction and classification algorithms on high dimensional dataset. In 2021 3rd International Conference on Inventive Research in Computing Applications (ICIRCA \u201921). IEEE, Coimbatore, 1005\u20131010."},{"key":"e_1_3_1_46_2","first-page":"347","volume-title":"2009 5th International Conference on Natural Computation (ICNC \u201909)","author":"Bao Yun","year":"2009","unstructured":"Yun Bao, Erbo Zhao, Xiaocong Gan, Dan Luo, and Zhangang Han. 2009. A review on cutting-edge techniques in evolutionary algorithms. In 2009 5th International Conference on Natural Computation (ICNC \u201909). IEEE, Tianjin, 347\u2013351."},{"key":"e_1_3_1_47_2","first-page":"1811","volume-title":"2012 Proceedings of the 35th International Convention MIPRO","author":"Jasika Nadira","year":"2012","unstructured":"Nadira Jasika, Naida Alispahic, Arslanagic Elma, Kurtovic Ilvana, Lagumdzija Elma, and Novica Nosovic. 2012. Dijkstra\u2019s shortest path algorithm serial and parallel execution performance analysis. In 2012 Proceedings of the 35th International Convention MIPRO. IEEE, Opatija, 1811\u20131815."},{"key":"e_1_3_1_48_2","unstructured":"Matthias M\u00fcller Bronis de Supinski Ganesh Gopalakrishnan Tobias Hilbrich and David Lecomber. 2011. Dealing with MPI Bugs at Scale: Best Practices Automatic Detection Debugging and Formal Verification. Slides Presented in this Tutorial Integrating Presentations from Dresden Allinea LLNL and Utah. Retrieved February 25 2025 from https:\/\/people.duke.edu\/tm103\/SC11\/Tutorials\/src\/pdf\/tutorials\/M06\/sc11.pdf"},{"key":"e_1_3_1_49_2","doi-asserted-by":"publisher","DOI":"10.1145\/3183440.3190336"}],"container-title":["ACM Transactions on Software Engineering and Methodology"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3723354","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,12,12]],"date-time":"2025-12-12T02:50:34Z","timestamp":1765507834000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3723354"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,12,11]]},"references-count":48,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2026,1,31]]}},"alternative-id":["10.1145\/3723354"],"URL":"https:\/\/doi.org\/10.1145\/3723354","relation":{},"ISSN":["1049-331X","1557-7392"],"issn-type":[{"value":"1049-331X","type":"print"},{"value":"1557-7392","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,12,11]]},"assertion":[{"value":"2024-03-07","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2025-02-22","order":2,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2025-12-11","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}