智能汽车基础地图标记语言抽象测试套件.pdfVIP

GB/TXXXXX—XXXX

附录A

（规范性）

抽象测试套件

A.1引言

本抽象测试套件规定的智能汽车基础地图标记语言概念模型的测试方法是人工检查（见表

A.2到A.13）。自动化方法可以在存在的地方使用。

A.2智能汽车基础地图数据集一致性类

一致性类1

标识符/spec/IML-IM-1/1.0/conf/immapdataset

需求类/req/immapdataset

抽象测试1

标识符/conf/immapdataset/classes

需求/req/immapdataset/classes

测试目的验证实施标准正确地实现了概念模型中定义的UML类。

测试方法类型人工检查

测试方法对于智能汽车基础地图数据集包中定义或引用的每个UML类，进行如下验

证。

1.验证实施标准是否包含一个数据元素，该元素表示与UML类定义相同

的概念。

2.验证数据元素与其他元素的关系是否与UML类定义的关系相同。验证

这些关系是否与概念模型中记录的关系具有相同的源、目标、方向、

角色和多重性。

3.验证数据元素是否具有与UML类指定的属性相同的属性。验证这些属

性是否与概念模型中记录的属性具有相同的名称、定义、类型和多重

性。

4.验证数据元素的属性是否包括概念模型中记录的UML类所有超类的

属性。验证这些属性是否与概念模型中记录的属性具有相同的名称、

定义、类型和多重性。

5.验证数据元素所表示的关联是否包括概念模型中记录的UML类所有

超类的关联。验证这些表示是否与概念模型中记录的表示具有相同的

源、目标、角色和多重性。

6.验证实施标准是否强制执行概念模型对UML类施加的所有约束。

A.3地图数据集合一致性类

一致性类2

标识符/spec/IML-IM-1/1.0/conf/immapmembers

需求类/req/immapmembers

38

GB/TXXXXX—XXXX

抽象测试2

标识符/conf/immapmembers/classes

需求/req/immapmembers/classes

测试目的验证实施标准正确地实现了概念模型中定义的UML类。

测试方法类型人工检查

测试方法对于地图数据集合包中定义或引用的每个UML类，进行如下验证。

1.验证实施标准是否包含一个数据元素，该元素表示与UML类定义相同

的概念。

2.验证数据元素与其他元素的关系是否与UML类定义的关系相同。验证

这些关系是否与概念模型中记录的关系具有相同的源、目标、方向、

角色和多重性。

3.验证数据元素是否具有与UML类指定的属性相同