Web应用程序建模和测试用例生成方法

根据基于组件的Web应用程序的特点，提出逻辑组件的概念。按功能将待测系统划分成逻辑组件，并在功能上将其对应到实际组件。利用有向图表示逻辑组件结构关系，自动机表示逻辑组件的行为关系，自动机的复合表示逻辑组件间的交互操作。根据复合的自动机，利用建立的操作映射表生成测试用例。分析了一个测试准则，并提出逻辑组件测试序列的覆盖度概念。

Approach to Modeling and Generating Test Case for Web Application

This paper proposes a conception of Logic Component (LC), which divides the system-under-test into LCs and ultimately mapping LCs to physical components. Digraphs are used to represent the structure relationship between LCs, and automata are used for action relationship. Interactions between LCs are described by the combination of automata, which use a created action mapping table to generate test cases. This article also proposes a test criteria and a LC sequence coverage according to this criteria.