退出
我的积分:
中文文献批量获取
外文文献批量获取
陈志德; 曾凡平;
中国科学技术大学计算机系,安徽,合肥,230026;
UML状态图; 扩展状态机; Petri网; 测试用例;
机译:从UML状态图生成测试用例
机译:从文本用例生成基于Petri网的行为模型并在铁路网中应用
机译:使用彩色Petri网模型为Paxos单法令协议自动生成测试用例
机译:UML状态图规范中涵盖保护条件的测试用例生成方法,以及在控制程序验证中的应用
机译:基于UML状态图的面向对象程序的测试用例生成研究。
机译:模拟拟南芥的代谢:网络分解和网络还原在Petri网中的应用
机译:使用UmL状态图和OCL表达式生成测试用例
机译:基于模糊逻辑网络的强化学习在接近和对接操作中的应用:特殊方法/对接测试用例结果
机译:为软件应用程序生成测试用例,并将软件应用程序的问题识别为测试用例生成的一部分
机译:测试用例生成装置,测试用例生成方法和测试用例生成程序
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。