Scholarlink

Before a software system is delivered to users, designers must take certain verification measures to ensure the system’s reliability. Software testing is one of the most important and effective methods frequently used for this purpose. As more standards related to software testing are introduced, the maturity of the software testing process has also continuously improved. However, in today’s environment, where software is becoming increasingly complex and requirements are more diverse, traditional software testing methods are struggling to keep up with these changes. The inadequacies of traditional software testing are summarized as follows:Currently, there is still no highly efficient and high-quality testing implementation method for complex software systems.

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

Model-Based Testing Techniques

  • 章节

  • 发表日期：

    2026年

查看全文
  • Yichen Wang,
  • Yikun Wang,
  • Fuqun Huang

摘要

Before a software system is delivered to users, designers must take certain verification measures to ensure the system’s reliability. Software testing is one of the most important and effective methods frequently used for this purpose. As more standards related to software testing are introduced, the maturity of the software testing process has also continuously improved. However, in today’s environment, where software is becoming increasingly complex and requirements are more diverse, traditional software testing methods are struggling to keep up with these changes. The inadequacies of traditional software testing are summarized as follows:Currently, there is still no highly efficient and high-quality testing implementation method for complex software systems.