退出
我的积分:
中文文献批量获取
外文文献批量获取
杨瑞; 陈振宇; 张智轶; 刘子聪; 徐宝文;
南京大学计算机软件新技术国家重点实验室 南京 210046;
南京大学计算机科学与技术系 南京 210046;
测试用例生成; 扩展有限状态机; 可执行模型; 路径可行性; 测试预言;
机译:一种基于搜索的集成方法,可从扩展有限状态机(EFSM)模型进行自动测试
机译:一种基于程序结构图的测试用例生成新方法
机译:基于扩展有限状态机的实时嵌入式软件测试方法
机译:扩展有限状态机协议的自动可执行测试用例生成
机译:一种基于问题的方法,用于基于酶的测定的小型化和自动化,以及对湿地介体中氰嗪和溴化物消散的研究。
机译:一种自动化经济高效且可扩展基于洪水和排水的谷物根表型系统
机译:自动化物理数据库设计:一种可扩展的方法。
机译:基于模型的控制设备的测试用例生成设备和测试用例生成方法
机译:基于用例图的测试用例生成程序以及使用该程序的测试用例生成方法
机译:基于自动机的交互式扩展有限状态机状态可达性的方法和系统
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。