退出
我的积分:
中文文献批量获取
外文文献批量获取
李建; 杨晋吉;
华南师范大学计算机学院;
广东广州510631;
功能测试用例; SPIN; 模型检测; Promela建模;
机译:基于图的测试用例生成,用于TLM功能验证
机译:基于差分演进的自动测试用例生成,基于节点分支归档
机译:基于角色的基于角色的系统的测试用例生成
机译:基于高斯混合模型的模糊测试用例生成方法研究
机译:基于马尔可夫链和似然性的自动测试用例生成,验证和优先级排序的模型方法:理论与应用。
机译:开发一种自我指导的基于网络的运动干预(SPIN)以治疗脊髓损伤患者的肩部疼痛:一项混合方法研究的协议
机译:用于基于Web的功能需求的测试用例生成的混合测试方法
机译:基于环境模型的无功软件系统自动测试用例生成
机译:基于模型的控制设备的测试用例生成设备和测试用例生成方法
机译:基于用例图的测试用例生成程序以及使用该程序的测试用例生成方法
机译:测试用例生成装置,测试用例生成方法和测试用例生成程序
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。