论文部分内容阅读
随着网络技术和信息技术的飞速发展,基于网络的Web应用软件迅速风靡全球,并渗入到社会的各个应用领域。作为保证Web质量和可靠性的重要手段,Web应用软件测试越来越受到人们的重视。Web应用的迅猛发展不仅对软件开发提出新的要求,也在软件测试领域提出了新的挑战。Web应用软件测试的主要目标是在一定条件下对系统或程序进行操作,尽量检测出软件中存在的错误,从而确保Web应用软件质量。 目前Web应用测试技术的研究已经取得很多成果,如各种测试模型的定义、测试方法和策略的提出以及相应测试工具的开发等。国内在Web应用软件测试方面的发展相对滞后,目前采用的测试工具适应范围比较窄,对测试人员的专业要求比较高,灵活性和可用性较差。Web应用市场需求发生快速变化,为了增强Web应用测试系统的灵活性和实用性,我们在此突出Web测试领域的静态测试。 本文对Web应用中的静态测试进行研究,探讨了静态测试相关技术,并重点分析了Web应用静态测试中的语法解析和链接检查。另外,在已有测试模型的基础上,给出了基于Petri网的Web链接模型,该模型可以对链接和导航特性进行分析,实现了Web应用中所有链接方便、统一、灵活的形式化描述:最后开发了Web应用静态测试工具WebAnalysis,实现了HTML语法解析、链接检查、网络导航等静态测试方面的功能。整个工作为Web应用软件静态测试的研究进行一定探索。