3、软件测试技术：从TTCN - 3到多目标优化算法的探索

软件测试技术：从TTCN - 3到多目标优化算法的探索

1. TTCN - 3在自动化测试中的应用与展望

TTCN - 3在自动化测试领域有着重要的地位。为了让用户和工具供应商更方便地使用TTCN - 3，不会对其进行新的扩展。其目标是将TTCN - 3打造成自动化测试的中间件，就像SQL在数据库、IDL在面向对象系统中的地位一样。

尽管基于软件的系统在应用领域和测试方面存在差异，但在开发测试解决方案时，能识别出一些共同的关键概念。基于这些在TTCN - 3中实现的关键概念，可以高效地为不同应用领域开发相应的测试中间件、专用方法和工具。

测试应越来越被视为一门工程学科，运用通用的自动化方法，并由专业人员操作。手动和专有测试解决方案终将被取代。为实现这一目标，需要更好地传播TTCN - 3的应用方法，使工具更贴合测试人员的需求。同时，软件开发的最新方法也应应用于测试系统的开发，如重构、度量、验证、调试、模拟和测试等。其中，基于模型的测试方法与TTCN - 3中间件结合，能最大程度地发挥其潜力。

2. 基于模型的软件测试方法

为了将组合和细化的理论概念与软件模型和组件的工程概念相结合，相关机构制定了一套基于组合的实用方法，以及相关的建模和证明技术，用于开发关键软件系统。

一般方法是开发一组软件组件，并通过各种组合形式将这些组件组合起来，以确保复合系统的属性。研究假设大部分软件代码可以通过自动代码生成器从模型中自动生成。但生成的代码仍需测试，以确保软件能正确提供关键服务，且行为满足关键属性，如安全属性。这是因为只有部分所需代码能自动生成，对于无法自动生成的代码（如某些算法），需要手动构建存根。

基于模型