退出
我的积分:
中文文献批量获取
外文文献批量获取
朱彬; 缪淮扣; 王娜;
上海第二工业大学;
计算机与信息学院;
上海;
201209;
上海大学;
计算机工程与科学学院;
200072;
上海水产大学;
爱恩学院;
201300;
范畴划分测试; 测试用例; 线性规划; 形式规格说明; Z;
机译:基于分解的可视化功能规格说明及功能自动生成
机译:EPIT:自动生成测试用例的软件测试工具
机译:具有正则表达式和组合技术的自动生成令人讨厌的测试用例
机译:使用SCADE Toolchain自动生成基于需求的测试用例的测试用例
机译:自动生成测试用例,以克服农药悖论,从而在面向对象的编程中进行集成测试。
机译:基于模型的测试用例优先级排序使用经过仔细检查的排序标准的基于选择性和均匀分布计数的方法
机译:使用混合杜鹃搜索和蜜蜂菌落算法自动生成和优化测试用例
机译:规格说明书
机译:测试用例自动生成系统,测试用例自动生成方法以及测试用例自动生成程序
机译:测试用例自动生成装置和测试用例自动生成程序
机译:测试用例自动生成设备和测试用例自动生成程序
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。