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)


说明:

  • 此图仅显示与当前标准最近的5级引用;
  • 鼠标放置在图上可以看到标题编号;
  • 此图可以通过鼠标滚轮放大或者缩小;
  • 表示标准的节点,可以拖动;
  • 绿色表示标准: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...

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号