Scholarlink

MVC (Model-View-Controller) model is a well-known software design pattern that is introduced into the development of Web applications. Interactions among the different layers of MVC model may include failures that damage the quality of Web applications. This paper shows a test case generation technique based on ESTD (Extended Screen Transition Diagram) and VDM++ specifications. ESTD is formal specifications to define the expected behavior of Web applications. ACO (Ant Colony Optimization) is used to find feasible test cases that cover the interactions as much as possible on ESTD. The VDM++ specifications are used to check the feasibility of test cases. Additionally, this paper shows a test case execution technique for integration testing and E2E testing. Both of the integration testing and the E2E testing are implemented as test scripts, and thus they are automatically executed without engineers’ effort. Some results of an experiment using our framework and trial project are described to discuss the effectiveness of the techniques.

错误：搜索内容不能为空，请输入英文关键词
错误：关键词超出字数限制，请精简
高级检索

Test Case Generation and Execution Techniques for Web Applications Based on MVC Model and Extended Screen Transition Diagram

  • 章节

  • 发表日期：

    2026年

查看全文
  • Ryoichi Ishigami,
  • Takeru Amo,
  • Gakuto Higuchi,
  • Ryoshiro Onishi,
  • Tomohiko Takagi

摘要

MVC (Model-View-Controller) model is a well-known software design pattern that is introduced into the development of Web applications. Interactions among the different layers of MVC model may include failures that damage the quality of Web applications. This paper shows a test case generation technique based on ESTD (Extended Screen Transition Diagram) and VDM++ specifications. ESTD is formal specifications to define the expected behavior of Web applications. ACO (Ant Colony Optimization) is used to find feasible test cases that cover the interactions as much as possible on ESTD. The VDM++ specifications are used to check the feasibility of test cases. Additionally, this paper shows a test case execution technique for integration testing and E2E testing. Both of the integration testing and the E2E testing are implemented as test scripts, and thus they are automatically executed without engineers’ effort. Some results of an experiment using our framework and trial project are described to discuss the effectiveness of the techniques.