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

https://hrcak.srce.hr/183035

Publication date:

15.6.2017.

Article data in other languages: english

Visits: 2.166 *