退出
我的积分:
中文文献批量获取
外文文献批量获取
吴静莉; 李素娟;
鹤壁职业技术学院电子信息工程学院;
状态测试; 扩展有限状态机; 有限状态机; 状态图; 不可达路径;
机译:TESTAF:使用面向对象的正式规范进行类测试的测试自动化框架
机译:克利夫兰分类测试:威斯康星卡片分类测试的另一种形式的初步研究
机译:使用Monte Carlo树搜索生成来自EFSM模型的可行协议测试序列
机译:面向对象的测试技术和面向对象的度量标准对降低类测试复杂性的研究
机译:两种从EFSM生成测试案例的方法的比较。
机译:OOTFD(面向对象的转录因子数据库):TFD的面向对象的后继者。
机译:从传播多EFSM进行数据零件测试的方法导出单个EFSM的方法
机译:对称残差 - 二进制转换算法,流水线FpGa实现和用于高速折叠数字化仪的测试逻辑
机译:报告精简系统,报告精简程序和报告精简方法
机译:执行文件供应调制解调器(EFSM)
机译:基于观测定义的EFSM模型,考虑数据自动生成测试序列
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。