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