退出
我的积分:
中文文献批量获取
外文文献批量获取
马亮; 张刚;
中国航天工程咨询中心,北京,100037;
测试用例; 自动生成; 模型检查; 形式化建模;
机译:基于用户会话和凝集层次聚类算法的测试用例自动生成方法
机译:Uml图自动生成和验证测试用例的优化方法
机译:考虑动态方法执行的复杂性,自动生成测试用例
机译:使用表单方法研究测试场景自动生成:使用HILS环境的安全性和安全测试的测试用例
机译:自动生成测试用例,以克服农药悖论,从而在面向对象的编程中进行集成测试。
机译:研究昆虫系统发育的蛋白质组学方法:以古代昆虫类群(DictyopteraBlattoptera)的CAPA肽为测试用例
机译:自动生成验收测试用例的用途规格:基于NLP的方法
机译:非静力中尺度大气模拟中Navier-stokes方程的谱元和间断Galerkin方法研究:方程组和测试用例
机译:测试用例自动生成系统,测试用例自动生成方法以及测试用例自动生成程序
机译:测试用例自动生成装置和测试用例自动生成程序
机译:测试用例自动生成设备和测试用例自动生成程序
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。