Technical gazette, Vol. 24 No. 3, 2017.
Original scientific paper
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.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
Abstract
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.
Keywords
automatsko generiranje podataka za ispitivanje; unaprijedno provjeravanje; unatražno praćenje; unatražno skakanje na osnovu konflikta; zatvaranje
Hrčak ID:
183035
URI
Publication date:
15.6.2017.
Visits: 2.209 *