退出
我的积分:
中文文献批量获取
外文文献批量获取
赵卫东; 李有俊; 张丽;
山东科技大学 山东 青岛 266590;
高阶马尔可夫使用模型; 快速轮盘赌; 二分查找; 相对熵; 软件测试; 测试用例自动生成;
机译:使用模型驱动方法的优化算法自动生成GUI测试用例
机译:使用模型检查从Simulink / Stateflow模型自动生成测试用例
机译:一种基于模型的方法,用于将软件合成为固件适配器,以与自动生成的组件一起使用
机译:基于模型驱动的体系结构的基于模型的测试:一种自动生成测试用例的新方法
机译:使用模型检查器自动生成具有改进的测试覆盖范围的VHDL测试用例。
机译:基于模型的测试用例优先级排序使用经过仔细检查的排序标准的基于选择性和均匀分布计数的方法
机译:使用数据抽象自动生成基于模型的参数化测试用例
机译:用实现理论识别多变量动态系统的Gauss-markov逼近方法:一种显式方法
机译:测试用例自动生成系统,测试用例自动生成方法以及测试用例自动生成程序
机译:由markov模型支持的自动生成受限词模式。
机译:分析测试用例以自动生成优化业务模型的方法和系统
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。