论文部分内容阅读
Web应用程序是近些年来软件业中发展最快的应用程序之一。Web应用所使用的开发语言和开发模型在不断发展。新技术的应用或现有技术的强强组合使Web应用本身变得越来越复杂。所有这些因素都给Web应用的分析、建模和测试带来了很大的难度。随着网络技术的快速发展，很多传统的应用软件在向Web应用程序过渡，Web应用将涉及很多敏感行业，如军事、金融或医疗等相关的领域。Web应用的测试面临了新的挑战。
要保证软件测试的质量，首先要提高测试用例的质量。手工生成测试用例要求软件测试人员具有一定的经验和较高的专业水平。而且，没有系统化的方法作为指导会大大降低质量和效率。
Web应用可认为是一系列交互组件的集合。本文不考虑单个组件的测试，而是将每个组件视为已经过充分测试的黑盒，研究组件间的交互性测试。
本文提出了Web应用组件交互测试的测试准则。我们采用有限状态机(FSM)作为测试模型，每个组件对应一个FSM，用组件FSM的合成来描述组件交互(或整个Web应用)的FSM，最后，根据合成后的FSM生成抽象的测试用例。我们提出了动作等价的合成规则。为了具体化抽象测试用例的操作步骤和测试数据，本文设计了FSM状态转换动作的映射表，以实现测试用例生成。为测试用例生成过程设计了一个辅助工具，该工具可导入组件信息及组件依赖关系信息，并为每个组件建立FSM，根据合成算法合成FSM，建立动作的映射表，然后生成测试用例的过程。