Dynamic test generation approach for web applications
Gao Jian-hua · Jisuanji gongcheng yu sheji · 2013
Current approaches and tools for web-page validation cannot handle the common errors of the dynamically generated pages,for example,Web script conflicts and deformed dynamically-generated web pages.So,a dynamic test generation approach for the web applications is presented.This approach uses an explicit-state model checking,generates tests automatically,runs the tests to capture the logical constraints of the input,and finally outputs a fault report.An application case of a campus BBS system is presented to verify the effectiveness of the approach in fault detection.