退出
我的积分:
中文文献批量获取
外文文献批量获取
何伟; 沈晓美; 刘泊江; 韩新宇; 唐龙利;
中国船舶工业集团公司软件质量与可靠性测评中心 北京100081;
扩展有限状态机; 舰船装备软件; 任务分析与建模; 测试用例生成; 测试自动化执行;
机译:基于故障树分析的软件测试技术研究
机译:事件驱动软件测试技术研究
机译:推进测试自动化技术以应对基于模型的软件测试的挑战-客座编辑介绍了第三届IEEE国际软件测试自动化研讨会(AST 2008)的特殊部分
机译:关键任务权软件测试哲学基于SILS的印度火星轨道特派团任务
机译:基于反馈的测试导师工具的开发与验证支持软件测试教育学
机译:基于模型的软件框架用于基于搜索的软件测试
机译:软件测试与评估简化技术研究
机译:sDs(战略防御系统)软件测试和评估:审查软件测试和评估的最新技术与推荐的研发(研究和开发)任务
机译:基于海军舰船装备状况的维修支持系统及其方法
机译:基于软件测试域建模的软件测试自动生成的系统和方法
机译:技术研究中使用的基于计算机的基于块的建模过程涉及通过组合准备好的图来形成整体框图,并通过连接模型平面垂直交换数据
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。