首页> 外文OA文献 >Automatic Test Cases Generation for Statechart Specifications from Semantics to Algorithm

【2h】

Automatic Test Cases Generation for Statechart Specifications from Semantics to Algorithm

机译：从语义到算法的状态图规范自动测试用例生成

页面导航

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

著录项

作者
Lina Chen;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Automatic Test Cases Generation for Statechart Specifications from Semantics to Algorithm [J] . Lina Chen Journal of Computers . 2011,第4期

机译：从语义到算法的STATECHART规范的自动测试用例
2. Automatic Generation of Goal-Tree from Statecharts Requirements Specification [J] . Junbeom Yoo, Sungdeok Cha, Han Seong Son Transactions of the American nuclear society . 2003,第Jun期

机译：根据状态图需求规范自动生成目标树
3. Heterogeneous formal specification based on Object-Z and statecharts: semantics and verification [J] . Juan Pablo Gruer, V. Hilaire, A. Koukam, The Journal of Systems and Software . 2004,第1a2期

机译：基于Object-Z和状态图的异构形式规范：语义和验证
4. Automatic Generation of Specification-Based Test Cases by Applying Genetic Algorithms in Reinforcement Learning [C] . Yuji Sato, Taku Sugihara International workshop on structured object-oriented formal language and method . 2016

机译：在强化学习中应用遗传算法自动生成基于规范的测试用例
5. Automatic data generation for MC/DC test criterion using metaheuristic algorithms. [D] . Awedikian, Zeina. 2009

机译：使用元启发式算法自动生成MC / DC测试标准的数据。
6. The Performance of Deep Learning Algorithms on Automatic Pulmonary Nodule Detection and Classification Tested on Different Datasets That Are Not Derived from LIDC-IDRI: A Systematic Review [O] . Dana Li, Bolette Mikela Vilmun, Jonathan Frederik Carlsen, 2019

机译：深度学习算法在未源自LIDC-IDRI的不同数据集上测试肺结节的自动检测和分类的性能：系统综述
7. Automatic Test Cases Generation for Statechart Specifications from Semantics to Algorithm [O] . Lina Chen 2011

机译：从语义到算法的状态图规范自动生成测试用例
8. A graphically oriented specification language for automatic code generation. GRASP/Ada: A Graphical Representation of Algorithms, Structure, and Processes for Ada, phase 1 [R] . Cross, James H., II, Morrison, Kelly I., May, Charles H., Jr., 1989

机译：一种用于自动代码生成的图形化规范语言。 GRasp / ada：ada的算法，结构和过程的图形表示，第1阶段

Automatic Test Cases Generation for Statechart Specifications from Semantics to Algorithm

著录项

引文网络

相似文献

相关主题

期刊订阅