基于SXM模型的Web软件测试理论与方法

项目名称： 基于SXM模型的Web软件测试理论与方法

项目编号： No.61262010

项目类型： 地区科学基金项目

立项/批准年度： 2013

项目学科： 自动化技术、计算机技术

项目作者： 钱忠胜

作者单位： 江西财经大学

项目金额： 45万元

中文摘要： Web软件的可靠性和质量保证成为一个非常关键的问题和研究热点，而软件测试是提高软件可靠性和保证软件质量的一种重要手段。 在前期研究基础上，课题研究基于SXM(Stream X-Machine)模型的Web软件测试理论与方法，具体研究： ① 层次化构建Web软件的SXM模型，用于同时描述Web软件的控制功能和数据处理，在模型边层次化时边生成测试用例，用形式验证技术对模型接口安全性进行验证；② 设计适合Web软件特性的测试准则并给出测试准则间的包含关系，研究用于基于模型的Web软件测试的测试准则评估技术；③ 根据提出的测试准则寻求生成约简的、最小的测试集的优化方法，研究在测试生成的同时就展开测试优化的动态测试技术。 该项研究成果能在一定程度上实现编码前的错误检测，大大降低测试复杂度，减少测试代价。这对于软件测试，特别是Web软件的测试具有一定的学术理论价值和工程实践指导意义。

中文关键词： Web软件；SXM模型；模型检测；测试用例；测试准则

英文摘要： The reliability and quality assurance of Web softwares have become a very critical problem and a hot research topic. Software testing is an important way of improving software reliability and assuring software quality. On the basis of preliminary studies, the project concentrates on SXM-based Web software testing theory and approaches. It includes: ① constructing the SXM models of Web software hierarchily to describe the control function and data processing of Web software; generating test cases while hierarchily acquiring SXM models and verifying the interface security of models by formal verification techniques; ② designing the test criteria appropriate for Web software features and presenting the subsumption relation of those test criteria; studying the evaluation techniques of various test criteria for model-based Web software testing; ③ investigating the optimization methods to reduce and minimize the test suites according to those test criteria proposed; in addition, exploring the dynamic test techniques for test optimization while tests are being generated. To a certain extent, this research results can realize error detection before coding, as will lessen test complexity and reduce test price greatly. It is of certain theoretic value in academy and guiding significance in project practice for software te

英文关键词： Web software；SXM model；model verification；test case；test criterion