Web测试是保证高质量Web应用的一种有效技术。然而,由于其特殊性和复杂性,很难直接将传统的测试理论与方法学运用到Web应用的测试当中来。对Web应用进行了分析与建模,并对其进行测试,提出了一种可行的Web测试模型。首先得到页面流图(PFD,Page Flow Diagram),进而产生对象关系图(ORD,Object Relation Dia-gram),然后根据提出的算法将ORD转化为形式化的有限状态机(FSM,Finite State Machine)模型。基于FSM模型,提出了一种有效的测试路径自动生成方法,这些测试路径可以转化为XML语法的测试规格说明。测试引擎将测试规格说明作为输入最终产生测试报告。全文以所开发的一个小型的Web应用SWLS(Simple Web Login System)为例进行阐述。
This paper adopts counterexample guided abstraction refinement scheme to alleviate the state explosion problem of deadlock detection. We extend the classical labeled transition system models by qualifying transitions as certain and uncertain to make deadlock-freedom conservative, i.e. if the abstraction of a system is deadlock-free, then the system is deadlock-free. An abstraction refinement approach to deadlock detection is proposed, and the correctness of the approach is proved.
