首页> 外文OA文献 >Using Formal Methods To Derive Test Frames In Category-Partition Testing

【2h】

Using Formal Methods To Derive Test Frames In Category-Partition Testing

机译：使用正式方法派生类别-分区测试中的测试框架

页面导航

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

著录项

作者
Paul Ammann; Jeff Offutt;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Using machine learning to refine Category-Partition test specifications and test suites [J] . Lionel C. Briand, Yvan Labiche, Zaheer Bawar, Information and software technology . 2009,第11期

机译：使用机器学习来完善Category-Partition测试规范和测试套件
2. Proposal for ISO 14577-Part 1 : Test method(Verification of the calculation method of Young's modulus for wide range of materials and test forces with already calibrated machine frame compliance in its testing system) [J] . Tatsuya ISHIBASHI, Yusuke YOSHIKAWA, Shigeo KATAYAMA, 材料試験技術 . 2017,第2期

机译：提议 ISO 14577 第1部分：试验方法（杨氏模量为宽范围的材料和测试力在其测试系统已校准机架柔度的计算方法的确认）
3. Proposal for ISO 14577-Part 1: Test method (Verification of the calculation method of Young's modulus for wide range of materials and test forces ranging from micro to macro range with data un-calibrated machine frame compliance in its testing system) [J] . Tatsuya ISHIBASHI, Yusuke YOSHIKAWA, Masayuki YAMAMOTO, 材料試験技術 . 2017,第3期

机译：提议 ISO 14577 第1部分：试验方法（杨氏模量为宽范围的材料和试验力范围从微观到宏观范围在其测试系统数据未校准的机架柔度的计算方法的确认）
4. Using formal methods to derive test frames in category-partition testing [C] . Ammann, P., Offutt, . 1994

机译：在类别-分区测试中使用形式化方法导出测试框架
5. Formal Methods for User Experience Evaluation and Testing [D] . Li, Meng 2018

机译：用户体验评估和测试的正式方法
6. A General Framework for Formal Tests of Interaction after Exhaustive Search Methods with Applications to MDR and MDR-PDT [O] . Todd L. Edwards, Stephen D. Turner, Eric S. Torstenson, 2010

机译：穷举搜索后交互形式测试的正式框架及其在MDR和MDR-PDT中的应用
7. Using Formal Methods To Derive Test Frames In Category-Partition Testing [O] . Paul Ammann Jeff, Jeff Offutt 1994

机译：使用形式化方法在类别 - 分区测试中导出测试框架
8. Pretest predictions of the Fast Flux Test Facility Passive Safety Test Phase IIB transients using United States derived computer codes and methods [R] . Heard, F J, Harris, R A, Padilla, A 1992

机译：使用美国衍生的计算机代码和方法对Fast Flux测试设施被动安全测试阶段IIB瞬变进行预测试预测

Using Formal Methods To Derive Test Frames In Category-Partition Testing

著录项

引文网络

相似文献

相关主题

期刊订阅