ES 202 951-2011
测试和规范方法(MTS);基于模型的测试(MBT);建模符号要求(V1.1.1)

Methods for Testing and Specification (MTS); Model-Based Testing (MBT); Requirements for Modelling Notations (V1.1.1)


 

 

非常抱歉,我们暂时无法提供预览,您可以试试: 免费下载 ES 202 951-2011 前三页,或者稍后再访问。

您也可以尝试购买此标准,
点击右侧 “购买” 按钮开始采购(由第三方提供)。

点击下载后,生成下载文件时间比较长,请耐心等待......

 

标准号
ES 202 951-2011
发布
2011年
发布单位
ETSI - European Telecommunications Standards Institute
当前最新
ES 202 951-2011
 
 
适用范围
本文档识别并收集了指定模型所需的建模符号的所有概念,特别是但不限于通信系统的功能测试的目的。这些模型构成了生成抽象测试用例的基础,抽象测试用例遵循 TTCN-3 测试套件 [i.3] 中提出的 ISO/IEC 9646-1 [i.2] 原则。基于模型的测试提供了手动测试设计@的替代方案,但并没有消除对自动补充和执行生成的测试用例的测试系统[i.4]@[i.5]的需求。基于模型的测试工具使用符合本文档中所述要求的建模符号,可用于自动生成适合标准化的抽象测试用例。本文件中描述的概念和要求主要根据TR 102 840 [i.1]@中收集的建议制定,补充了ITU-T建议Z.500 [i.6]@中指定的建模标准规范的理论基础。并考虑了 OMG 正式/05-07-07 [i.10] 的元对象设施。它们的指定独立于特定的建模符号或工具。本文档中有意不处理概念到具体建模符号的映射,并为未来标准保留。

ES 202 951-2011相似标准


推荐

基于机器学习锂离子电池寿命预测

01【成果掠影】为了克服这些问题,德国斯图加特大学Kai Schofer课题组开发了一个基于遗传编程符号回归机器学习框架。这种演化算法能够从电池老化数据中推断出物理上可解释模型,而不需要领域知识。本工作将这种新方法与案例研究中已有的方法进行了比较,这些案例代表了基于104个汽车锂离子电池周期日历老化数据寿命预测常见任务。...

熟悉又陌生limma

roast具有考虑集合中基因方向注释信息独特能力,它能够容纳与特定途径正相关负相关基因,以及每个基因变化幅度,因此,对于在不同表达研究之间发现基因表达模式相似性特别有用。romer函数实现了基于旋转而不是置换GSEA方法,它可以与一组基因组任何线性模型一起使用。同时,基因集使用要求基因符号注释在不同数据库研究之间匹配。...

击败水哥还不算最强,有个人工智能已经通过人类智商测试

开发具有这种能力的人工智能系统,不仅为视觉推理中符号表示类比重要性提供了新证据,而且可能缩小了计算机人类认知之间差距。ForbusLovett开发的人工智能系统不单可以通过建模解决一般视觉问题,他们还特别用瑞文标准推理测验来测试这套系统观察及思维能力。瑞文标准推理测验,是一种纯粹非文字智力测验,广泛应用于无国界智力/推理能力测试。...

恭喜(研究德扑、老鼠胡须等AI都入围了)

摘要简介:这是一个端到端微分定理证明神经网络,运算基于符号密集向量表示。具体来说,我们使用径向基函数内核,基于符号向量表示构建了一个微分计算,用以取代符号统一(symbolic unification)。...





Copyright ©2007-2022 ANTPEDIA, All Rights Reserved
京ICP备07018254号 京公网安备1101085018 电信与信息服务业务经营许可证:京ICP证110310号