hrcak mascot   Srce   HID

Tehnički vjesnik, Vol. 24 No. 3, 2017.

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

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 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: hrvatski, pdf (988 KB) str. 761-768 preuzimanja: 328* 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 06.12.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 06.12.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
Puni tekst: engleski, pdf (988 KB) str. 761-768 preuzimanja: 197* 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 06.12.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 06.12.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.

Ključne riječi
automatsko generiranje podataka za ispitivanje; unaprijedno provjeravanje; unatražno praćenje; unatražno skakanje na osnovu konflikta; zatvaranje

Hrčak ID: 183035

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

[engleski]

Posjeta: 836 *