4、基于MSC的属性验证与TTCN - 3测试数据框架

基于MSC的属性验证与TTCN - 3测试数据框架

在软件开发过程中，属性验证和测试数据管理是确保系统质量和可靠性的关键环节。本文将介绍基于消息序列图（MSC）的属性验证方法，以及一种用于TTCN - 3测试数据管理的框架。

1. PRESTO项目介绍

PRESTO项目于2011年4月启动，为期36个月，由欧洲委员会在ARTEMIS联合承诺计划下共同资助。该项目旨在改进基于测试的嵌入式系统开发和验证，考虑工业开发过程的约束。其预期结果是在设计开发的早期阶段建立功能和性能分析以及平台优化。

为了验证功能和非功能属性，考虑了两种方法：
- 模型验证 ：模型检查在20世纪80年代由Clarke和Emerson以及Quielle和Sifakis独立提出，旨在测试逻辑公式与数学结构（即模型）之间的对应关系。然而，模型检查技术的应用受到状态爆炸问题的阻碍。
- 跟踪验证 ：将系统视为黑盒，收集一组典型和代表性的执行跟踪，然后在这些跟踪上验证功能和非功能属性。这种方法的主要优点是跟踪可以来自模拟模型或真实目标，有助于确保模型代表目标。

2. ITU - T消息序列图（MSC）

2.1 范围

MSC的目的是提供一种语言，用于通过消息交换来规范和描述系统组件及其环境的通信行为。由于其通信行为在图形表示中非常直观和透明，因此MSC语言易于学习、使用和解释。

2.2 基本概念

• 代理实例 ：从代理实例头开始，后跟实例轴，以实例尾或实例停止结束。 <