QQ客服 官方微博 反馈留言

浏览/检索结果: 共5条，第1-5条 帮助 已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 测试用例执行轨迹分析的故障定位方法 期刊论文 小型微型计算机系统, 2019, 卷号: 40, 页码: 149-157 作者:  曹迅;  周宽久 收藏  |  浏览/下载：9/0  |  提交时间：2019/12/02 故障定位  执行轨迹  循环神经网络  虚拟测试用例   面向航天器系统级测试的虚拟测试方法及应用 期刊论文 航空学报, 2017, 卷号: 38, 页码: 248-265 作者:  乌尼日其其格;  李小平;  杨帆;  马世龙;  王华茂 收藏  |  浏览/下载：4/0  |  提交时间：2019/12/30 虚拟测试方法  状态转移图  模型检测  窗口树模型  测试用例生成  虚拟测试平台   VMM中Guest OS非陷入系统调用指令截获与识别 期刊论文 2016, 2016 熊海泉; 刘志勇; 徐卫志; 唐士斌; 范东睿; Xiong Haiquan; Liu Zhiyong; Xu Weizhi; Tang Shibin; Fan Dongrui 收藏  |  浏览/下载：4/0 面向多核虚拟机的高效瞬态协同调度算法 期刊论文 2016, 2016 张磊; 张知皦; 陈渝; ZHANG Lei; ZHANG Zhijiao; CHEN Yu 收藏  |  浏览/下载：8/0 组件语义约束的动态模型检测方法和技术研究 学位论文 博士, 中国科学院软件研究所: 中国科学院软件研究所, 1998 倪彬 收藏  |  浏览/下载：13/0  |  提交时间：2011/03/17 组件  语义约束  模型检查  动态检测  规范  组合软件开发方法