退出
我的积分:
中文文献批量获取
外文文献批量获取
刘晓建; 杜慧秋; 朱智林;
西安科技大学计算机学院;
山东工商学院信息与电子工程学院;
软件测试; 测试用例生成; 时间自动机; 嵌入式控制器;
机译:基于序列图和自动机模型的测试用例生成方法
机译:从定时I / O自动机生成具有时序约束的测试用例
机译:一种基于程序结构图的测试用例生成新方法
机译:基于一致性的方法,可根据定时自动机规范高效生成测试用例
机译:基于时间的要求和具有自动测试用例生成的系统分区。
机译:一种基于学习自动机的新的随机林算法
机译:一种基于一致性的方法,可从定时自动机规范中高效生成测试用例
机译:基于环境模型的无功软件系统自动测试用例生成
机译:基于模型的控制设备的测试用例生成设备和测试用例生成方法
机译:基于用例图的测试用例生成程序以及使用该程序的测试用例生成方法
机译:用例图基于测试用例生成程序,并使用它们来生成测试用例
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。