Hibridni unatražni algoritam za automatsko generiranje podataka za ispitivanje
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.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
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 01.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 01.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
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 01.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 01.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
Sažetak Kao osnovno pitanje u ispitivanju softvera, automatsko generiranje podataka za ispitivanje je od najveće važnosti, što je u biti problem zadovoljavanja ograničenja, a rješava se algoritmima pretraživanja. U našem prethodnom istraživanju za rješenje ograničenja predložena je metoda grananja i ograničavanja, a elaborirane su unaprijedne metode. Zasnovan na intervalnom aritmetičkom i simboličkom izvršenju, ovaj je rad usredotočen na unatražnu metodu, a to je povezivanje unaprijednog provjeravanja i unatražnog ispitivanja usmjerenog konflikta, u cilju poboljšanja učinkovitosti unatražnog praćenja u postupku traženja. Zatvaranja varijabli se koriste kako bi se olakšalo lociranje nesuglasica koje dovode do neriješenih rezultata (dead ends). Empirijski eksperimenti dokazuju učinkovitost predložene hibridne unatražne metode i njenu primjenljivost u inženjerstvu.