面向应用的服务检测工具集成技术研究

发布时间：2018-06-19 02:17

本文选题：模型检测 + 测试　；参考：《北方工业大学》2014年硕士论文

【摘要】：面向服务的体系结构(SOA),它是一种新的可以支持分布式计算的范型,而Web服务就是这种面向服务的体系结构的具体表现形式之一。根据Web服务的动态性特征以及分布式的特点,使用Web服务组合可以非常有效的组装网络中存在的多种分布式跨平台下的异构服务,以实现多种异构服务间的信息共享,最终形成具备强大功能的Web服务流程用以适应现在复杂的企业网路环境。然而在复杂的网络环境下,如何在Web服务系统投入运行之前就发现Web服务系统中存在的严重问题,如何确保在分布式的Web服务系统中获取一个可信的服务,确保服务上线后的正确性,对服务的测试是至关重要的。如果按照传统的测试方法,就必须对每个子服务做穷举性测试,分别为每个子服务准备相应的测试套。如果系统中的子系统数量很多,测试工作会变的非常耗时。用LOTOS建模语言对这种具有分布式特点的Web服务系统建模是一种非常有效的方式,首先采用形式化方法来描述Web服务组合的系统,然后从模型上面对系统进行模型检测,通过系统属性对模型进行验证来缩小问题域,找到具体的可能存在缺陷的服务做测试,实现模型检测与测试的结合,可以高效的保证服务的可靠性。模型检测与测试混合方法是保证服务可靠性的一种效果显著的方法,采用形式化建模语言LOTOS对Web服务组合后的BPEL流程进行建模,然后使用CADP工具集中提供的模型检测器Evaluator对建立好的LOTOS模型进行验证,通过属性检验缩小问题域,最后用TTCN3测试语言描述满足模型检测反例的测试用例,完成最后的测试工作,并最终对整个模型检测与测试相结合的测试流程所涉及到的测试工具进行集成,以支撑整个测试流程。Web服务组合的LOTOS建模和基于模型检测反例以及相应服务的WSDL描述的TTCN3抽象测试套的生成是实现模型检测与测试混合方法的两个难点。本文提出模型检测与测试混合方法,并给出模型检测与测试相结合的测试流程。实现这种测试流程,首先要进行WEB服务组合的LOTOS建模。为了保证基于模型检测反例的测试有意义,必须解决对LOTOS模型进行模型检测生成的反例缺乏测试数据的问题,由此本文给出了LOTOS复杂数据类型扩展方法和WSDL服务的LOTOS建模过程中测试数据的生成方法,使得基于反例生成的TTCN3抽象测试套能够拥有测试数据。本文在前期工作的基础上实现LOTOS建模和基于模型检测反例的TTCN3测试套的自动生成,最终实现模型检测与测试的结合,并对已有的工具进行集成。最后结合Web服务实例,验证该集成工具所执行的测试流程的可行性。
[Abstract]:Service-Oriented Architecture (SOA) is a new paradigm that supports distributed computing, and Web Services is one of the concrete manifestations of this Service-Oriented Architecture. According to the dynamic and distributed characteristics of Web services, using Web services composition can effectively assemble heterogeneous services under distributed cross-platform in network, so as to realize the information sharing among heterogeneous services. Finally, a powerful Web service process is formed to adapt to the current complex enterprise network environment. However, in the complex network environment, how to find the serious problems in the Web service system before it is put into operation, and how to ensure the acquisition of a trusted service in the distributed Web service system. Ensuring the correctness of the service after it is online is critical to the testing of the service. If we follow the traditional test method, we must make exhaustive test for each sub-service and prepare the corresponding test suite for each sub-service. If the system has a large number of subsystems, testing can become very time-consuming. Lotos modeling language is a very effective way to model this distributed Web service system. Firstly, a formal method is used to describe the Web service composition system, and then the model checking is carried out on the model facing the system. The system attributes are used to verify the model to narrow down the problem domain, to find the specific service that may have defects, and to realize the combination of model checking and testing, which can effectively guarantee the reliability of the service. The mixed method of model checking and testing is an effective method to ensure the reliability of service. Lotos is used to model the BPEL process after Web services composition. Then the model detector Evaluator provided by CADP tool set is used to verify the established Lotos model, and the problem domain is reduced by attribute checking. Finally, TTCN3 test language is used to describe the test cases that satisfy the model checking counter cases, and the final test work is completed. Finally, it integrates the testing tools involved in the testing process of the whole model detection and testing. Lotos modeling which supports the whole testing process. Web services composition and TTCN3 abstract test suite generation based on model checking counterexample and WSDL description of corresponding services are two difficulties in implementing the mixed method of model checking and testing. In this paper, a hybrid method of model checking and testing is proposed, and the test flow of model checking and testing is given. To implement this testing process, the Lotos modeling of Web service composition should be carried out first. In order to ensure that the counterexample test based on model checking is meaningful, it is necessary to solve the problem that the counterexample generated by model checking of Lotos model lacks test data. In this paper, the extension method of Lotos complex data types and the method of generating test data in Lotos modeling of WSDL services are given in this paper, so that the TTCN3 abstract test suite generated by counterexample can have test data. In this paper, Lotos modeling and TTCN3 test suite automatic generation based on model checking counterexample are realized on the basis of previous work. Finally, the combination of model checking and testing is realized, and the existing tools are integrated. Finally, a Web service example is used to verify the feasibility of the test process executed by the integration tool.
【学位授予单位】：北方工业大学
【学位级别】：硕士
【学位授予年份】：2014
【分类号】：TP393.09;TP311.53

【参考文献】