退出
我的积分:
中文文献批量获取
外文文献批量获取
周燕彬;
湖南财经工业职业技术学院 湖南省衡阳市421001;
软件测试; EFSM模型; 粒子群算法; 测试用例; 自动生成;
机译:基于EFSM的测试用例生成:序列,数据和Oracle
机译:使用模型检查从Simulink / Stateflow模型自动生成测试用例
机译:使用彩色Petri网模型为Paxos单法令协议自动生成测试用例
机译:基于改进粒子群算法的软件测试用例自动生成技术
机译:使用模型检查器自动生成具有改进的测试覆盖范围的VHDL测试用例。
机译:基于模型的测试用例优先级排序使用经过仔细检查的排序标准的基于选择性和均匀分布计数的方法
机译:从基于模型的规范自动生成和排序测试用例
机译:基于环境模型的无功软件系统自动测试用例生成
机译:基于观测定义的EFSM模型,考虑数据自动生成测试序列
机译:测试用例自动生成系统,测试用例自动生成方法以及测试用例自动生成程序
机译:测试用例自动生成装置和测试用例自动生成程序
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。