hrcak mascot   Srce   HID

Izvorni znanstveni članak
https://doi.org/10.17559/TV-20170324111348

A hybrid backtracking algorithm for automatic test data generation

Ying Xing ; Automation school, Beijing University of Posts and Telecommunications, No. 10, Xitucheng Road, Haidian District, Beijing, China
Yunzhan Gong ; State Key laboratory of Networking and Switching Technology, Beijing University of Posts and Telecommunications, No. 10, Xitucheng Road, Haidian District, Beijing, China
Xiaoguang Zhou ; Automation school, Beijing University of Posts and Telecommunications, No. 10, Xitucheng Road, Haidian District, Beijing, China
Ludi Wang   ORCID icon orcid.org/0000-0002-9346-6250 ; Automation school, Beijing University of Posts and Telecommunications, No. 10, Xitucheng Road, Haidian District, Beijing, China
Mengke Yang ; Automation school, Beijing University of Posts and Telecommunications, No. 10, Xitucheng Road, Haidian District, Beijing, China
Chi Zhang ; Automation school, Beijing University of Posts and Telecommunications, No. 10, Xitucheng Road, Haidian District, Beijing, China
Yukun Dong ; College of Computer & Communication Engineering, China University of Petroleum, No. 66, Changjiang West Road, Huangdao District, Qingdao, Shan dong, China

Puni tekst: engleski, pdf (988 KB) str. 761-768 preuzimanja: 145* citiraj
APA 6th Edition
Xing, Y., Gong, Y., Zhou, X., Wang, L., Yang, M., Zhang, C. i Dong, Y. (2017). A hybrid backtracking algorithm for automatic test data generation. Tehnički vjesnik, 24 (3), 761-768. https://doi.org/10.17559/TV-20170324111348
MLA 8th Edition
Xing, Ying, et al. "A hybrid backtracking algorithm for automatic test data generation." Tehnički vjesnik, vol. 24, br. 3, 2017, str. 761-768. https://doi.org/10.17559/TV-20170324111348. Citirano 05.03.2021.
Chicago 17th Edition
Xing, Ying, Yunzhan Gong, Xiaoguang Zhou, Ludi Wang, Mengke Yang, Chi Zhang i Yukun Dong. "A hybrid backtracking algorithm for automatic test data generation." Tehnički vjesnik 24, br. 3 (2017): 761-768. https://doi.org/10.17559/TV-20170324111348
Harvard
Xing, Y., et al. (2017). 'A hybrid backtracking algorithm for automatic test data generation', Tehnički vjesnik, 24(3), str. 761-768. https://doi.org/10.17559/TV-20170324111348
Vancouver
Xing Y, Gong Y, Zhou X, Wang L, Yang M, Zhang C i sur. A hybrid backtracking algorithm for automatic test data generation. Tehnički vjesnik [Internet]. 2017 [pristupljeno 05.03.2021.];24(3):761-768. https://doi.org/10.17559/TV-20170324111348
IEEE
Y. Xing, et al., "A hybrid backtracking algorithm for automatic test data generation", Tehnički vjesnik, vol.24, br. 3, str. 761-768, 2017. [Online]. https://doi.org/10.17559/TV-20170324111348
Puni tekst: hrvatski, pdf (988 KB) str. 761-768 preuzimanja: 257* citiraj
APA 6th Edition
Xing, Y., Gong, Y., Zhou, X., Wang, L., Yang, M., Zhang, C. i Dong, Y. (2017). Hibridni unatražni algoritam za automatsko generiranje podataka za ispitivanje. Tehnički vjesnik, 24 (3), 761-768. https://doi.org/10.17559/TV-20170324111348
MLA 8th Edition
Xing, Ying, et al. "Hibridni unatražni algoritam za automatsko generiranje podataka za ispitivanje." Tehnički vjesnik, vol. 24, br. 3, 2017, str. 761-768. https://doi.org/10.17559/TV-20170324111348. Citirano 05.03.2021.
Chicago 17th Edition
Xing, Ying, Yunzhan Gong, Xiaoguang Zhou, Ludi Wang, Mengke Yang, Chi Zhang i Yukun Dong. "Hibridni unatražni algoritam za automatsko generiranje podataka za ispitivanje." Tehnički vjesnik 24, br. 3 (2017): 761-768. https://doi.org/10.17559/TV-20170324111348
Harvard
Xing, Y., et al. (2017). 'Hibridni unatražni algoritam za automatsko generiranje podataka za ispitivanje', Tehnički vjesnik, 24(3), str. 761-768. https://doi.org/10.17559/TV-20170324111348
Vancouver
Xing Y, Gong Y, Zhou X, Wang L, Yang M, Zhang C i sur. Hibridni unatražni algoritam za automatsko generiranje podataka za ispitivanje. Tehnički vjesnik [Internet]. 2017 [pristupljeno 05.03.2021.];24(3):761-768. https://doi.org/10.17559/TV-20170324111348
IEEE
Y. Xing, et al., "Hibridni unatražni algoritam za automatsko generiranje podataka za ispitivanje", Tehnički vjesnik, vol.24, br. 3, str. 761-768, 2017. [Online]. https://doi.org/10.17559/TV-20170324111348

Sažetak
As a fundamental issue in software testing, automatic test data generation is of crucial importance, which is essentially a constraint satisfaction problem and solved by search algorithms. In our previous research, branch and bound was proposed as our constraint solver and the look-ahead methods were elaborated. Based on interval arithmetic and symbolic execution, this paper focuses on the look-back or backtracking method, which is the hybridization of forward checking and conflict-directed backjumping, with the aim of improving the efficiency of backtracking in the search procedure. The closures of variables are used to facilitate the localization of the conflicts which cause dead ends. Empirical experiments prove the effectiveness of the proposed hybrid backtracking method and its applicability in engineering.

Ključne riječi
automatic test data generation; backtracking; closure; conflict-directed backjumping; forward checking

Hrčak ID: 183035

URI
https://hrcak.srce.hr/183035

[hrvatski]

Posjeta: 664 *