AI写作工具
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
蒲卿路; 王月波; 刘涛; 孙云; 李继秀;
西南电子技术研究所 成都 610036;
模型测试; 边界值与等价类; 工作流; 判定表; 状态转换图;
机译:通过基于模型的测试提高质量:测试用例生成器在基于模型的开发过程中的优势
机译:关于状态转换测试和基于模型检查器的测试用例生成的覆盖标准
机译:工业自动化系统中基于模型的测试用例生成的新方法
机译:在基于模型的系统工程方法中,在基于模型的系统工程方法中展示了在基于模型的系统工程方法中展示了在CubeSats中实现的空间情境感知系统中描述的标准方法
机译:超基因验证:一种基于模型的协议用于评估非基于模型的超基因方法的准确性
机译:基于模型的测试用例生成技术的效率和有效性的HIs方法实验研究
机译:mULTIGRapH:基于模型编程的体系结构。基于模型的并行计算程序合成。 pREmOs:基于模型的程序综合的编程环境。版本01.00.00
机译:基于模型的控制设备的测试用例生成设备和测试用例生成方法
机译:具有测试用例生成和评估的基于模型的软件开发的方法,系统和程序
机译:测试用例生成装置,测试用例生成方法和测试用例生成程序
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。