| 主权项 |
1.一种自动产生测试案例的系统,其适用于一通讯 系统之测试流程,上述通讯系统系根据一第一正规 化描述语言设计而成,包括: 一语言转译模组,其根据转换规则将上述第一正规 化描述语言转换为一第二正规化描述语言; 一涵盖率分析模组,其利用一涵盖率分析演算法分 析上述第二正规化描述语言,以计算出上述第二正 规化描述语言的涵盖率,并且根据上述涵盖率产生 对应上述第二正规化描述语言的测试案例;以及 一测试案例产生模组,其根据一树状结构及列表组 合标记(TTCN)语言产生符合TTCN格式的测试案例。 2.如申请专利范围第1项所述的自动产生测试案例 的系统,其中,上述语言转译模组更包括: 一语法分析器,其对上述第一正规化描述语言所描 述之上述通讯系统的架构语法进行语法分析; 一解析器,其根据上述语法分析结果撷取对应上述 第二正规化描述语言之资讯;以及 一语言产生器,其根据上述转译规则与上述解析结 果产生上述第二正规化描述语言。 3.如申请专利范围第2项所述的自动产生测试案例 的系统,其中,上述第二正规化描述语言为相容于 一区域编码图(Region-Encoding Diagram,RED)验证工具的 正规化描述语言。 4.如申请专利范围第2项所述的自动产生测试案例 的系统,其中,上述转译规则为对应一区域编码图 验证工具的规则。 5.如申请专利范围第2项所述的自动产生测试案例 的系统,其中,上述转换规则定义上述第一正规化 描述语言之语义间的差异及一转译方法。 6.如申请专利范围第1项所述的自动产生测试案例 的系统,其中,上述涵盖率分析模组更包括一计算 单元,其利用一模型检验工具对上述第二正规化描 述语言进行检验,以获得上述涵盖率。 7.如申请专利范围第6项所述的自动产生测试案例 的系统,其中,上述涵盖率等于上述通讯系统中应 测的部分/上述通讯系统中已测的部分。 8.如申请专利范围第1项所述的自动产生测试案例 的系统,其中,一TTCN格式的测试案例系由一宣告部 分(Declaration Part)、一限制部分(Constrain Part)、以及 一动态部分(Dynamic Part)所组成。 9.如申请专利范围第8项所述的自动产生测试案例 的系统,其中,根据自上述第一正规化描述语言之 原始档案所撷取出的相关参数产生上述TTCN格式测 试案例之上述宣告部分与上述限制部分。 10.如申请专利范围第8项所述的自动产生测试案例 的系统,其中,上述动态部分包括阶层、来源节点 、目标节点、以及输出入形式等参数。 11.如申请专利范围第10项所述的自动产生测试案 例的系统,其中,转换对应上述第二正规化描述语 言所得之上述树状结构以获得上述参数。 12.一种自动产生测试案例的方法,其适用于一通讯 系统之测试流程,上述通讯系统系根据一第一正规 化描述语言设计而成,包括下列步骤: 根据转换规则将上述第一正规化描述语言转换为 一第二正规化描述语言; 利用一涵盖率分析演算法分析上述第二正规化描 述语言,以计算出上述第二正规化描述语言的涵盖 率,并且根据上述涵盖率产生对应上述第二正规化 描述语言的测试案例;以及 根据一树状结构及列表组合标记(TTCN)语言产生符 合TTCN格式的测试案例。 13.如申请专利范围第12项所述的自动产生测试案 例的方法,其更包括下列步骤: 对上述第一正规化描述语言所描述之上述通讯系 统的架构语法进行语法分析; 根据上述语法分析结果撷取对应上述第二正规化 描述语言之资讯;以及 根据上述转译规则与上述解析结果产生上述第二 正规化描述语言。 14.如申请专利范围第13项所述的自动产生测试案 例的方法,其中,上述第二正规化描述语言为相容 于一区域编码图(Region-Encoding Diagram,RED)验证工具 的正规化描述语言。 15.如申请专利范围第13项所述的自动产生测试案 例的方法,其中,上述转译规则为对应一区域编码 图验证工具的规则。 16.如申请专利范围第13项所述的自动产生测试案 例的方法,其中,上述转换规则定义上述第一正规 化描述语言之语义间的差异及一转译方法。 17.如申请专利范围第12项所述的自动产生测试案 例的方法,其更包括利用一模型检验工具对上述第 二正规化描述语言进行检验,以获得上述涵盖率。 18.如申请专利范围第17项所述的自动产生测试案 例的方法,其中,上述涵盖率等于上述通讯系统中 应测的部分/上述通讯系统中已测的部分。 19.如申请专利范围第12项所述的自动产生测试案 例的方法,其中,一TTCN格式的测试案例系由一宣告 部分(Declaration Part)、一限制部分(Constrain Part)、以 及一动态部分(Dynamic Part)所组成。 20.如申请专利范围第19项所述的自动产生测试案 例的方法,其中,根据自上述第一正规化描述语言 之原始档案所撷取出的相关参数产生上述TTCN格式 测试案例之上述宣告部分与上述限制部分。 21.如申请专利范围第19项所述的自动产生测试案 例的方法,其中,上述动态部分包括阶层、来源节 点、目标节点、以及输出入形式等参数。 22.如申请专利范围第21项所述的自动产生测试案 例的方法,其中,转换对应上述第二正规化描述语 言所得之上述树状结构以获得上述参数。 图式简单说明: 第1图系显示本发明实施例之自动产生测试案例的 系统架构图。 第2图系显示本发明实施例之SDL转译模组200的架构 示意图。 第3图系显示以图形化界面表示之正规化描述语言 的示意图。 第4图系显示本发明实施例之涵盖率分析模组300的 架构示意图。 第5图系显示本发明实施例之以树状结构表示测试 案例的示意图。 第6图系显示本发明实施例之以树状结构表示涵盖 率的示意图。 第7图系显示本发明实施例之产生TTCN格式之测试 案例的步骤流程图。 第8图系显示本发明实施例之取得TTCN格式测试案 例之动态部分中参数的步骤流程图。 第9图系显示本发明实施例之自动产生测试案例的 方法的步骤流程图。 |
