首页> 外文OA文献 >Generating Tests from {B} Specifications and Dynamic Selection Criteria

【2h】

Generating Tests from {B} Specifications and Dynamic Selection Criteria

机译：根据{B}规范和动态选择标准生成测试

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

摘要
著录项
引文网络
相似文献
相关主题

摘要

International audience

机译：国际观众

著录项

作者
Julliand Jacques; Masson Pierre-Alain; Tissot Régis; Bué Pierre-Christophe;
展开▼
作者单位

展开▼
年度 2011
总页数
原文格式 PDF
正文语种 en
中图分类

相似文献

外文文献
中文文献
专利

1. Generating tests from B specifications and dynamic selection criteria [J] . Jacques Julliand, Pierre-Alain Masson, Regis Tissot, Formal Aspects of Computing . 2011,第1期

机译：根据B规范和动态选择标准生成测试
2. Multi-Criteria Model for Questions Selection in Generating e-Education Tests Involving Gamification [J] . Progress in Artificial Intelligence . 2020,第2期

机译：涉及游戏制作电子教育测试中的问题选择的多标准模型
3. European specifications for imprecision and inaccuracy compared with operating specifications that assure the quality required by US CLIA proficiency-testing criteria. [J] . J J Seehafer, J O Westgard, P L Barry Clinical Chemistry: Journal of the American Association for Clinical Chemists . 1994,第7期

机译：与操作规范相比，欧洲的不精确和不准确规范确保了美国CLIA能力验证标准所要求的质量。
4. Criteria for generating specification-based tests [C] . Offutt A.J., Yiwei Xiong, Shaoying Liu Engineering of Complex Computer Systems, 1999. ICECCS '99. Fifth IEEE International Conference on . 1999

机译：生成基于规范的测试的标准
5. On the effectiveness of specification-based structural test-coverage criteria as test-data generators for safety-critical systems. [D] . George, Devaraj. 2012

机译：基于规范的结构测试覆盖标准作为安全关键系统的测试数据生成器的有效性。
6. Model selection for dynamical systems via sparse regression and information criteria [O] . N. M. Mangan, J. N. Kutz, S. L. Brunton, -1

机译：通过稀疏回归和信息准则为动力系统选择模型
7. Generating Tests from B Specifications and Dynamic Selection Criteria [O] . Julliand Jacques, Masson Pierre-Alain, Tissot Régis, 2011

机译：根据B规范和动态选择标准生成测试
8. Specification Criteria for Simple Performance Tests for Rutting. Volume 1: Dynamic Modulus (E*); Volume 2: Flow Number and Flow Time. National Cooperative Highway Research Program [R] . Witczak, M. W. 2008

机译：车辙简易性能试验的规范标准。第1卷：动态模量（E *）;第2卷：流程数和流动时间。国家合作公路研究计划

Generating Tests from {B} Specifications and Dynamic Selection Criteria

摘要

著录项

引文网络

相似文献

相关主题

期刊订阅