冯晨

作品数：3被引量：0H指数：0
导出分析报告
供职机构：西北工业大学软件与微电子学院更多>>
发文主题：测试用例最小化测试用例优化测试工具本体过程间分析更多>>
发文领域：自动化与计算机技术更多>>
发文期刊：《西北工业大学学报》《计算机科学》更多>>
所获基金：国家自然科学基金中央高校基本科研业务费专项资金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
运用变异测试的并行程序测试用例最小化算法
《计算机科学》2017年第11期109-113,共5页郑炜 冯晨 吴潇雪 黄月明 方靓芸 
国家自然科学基金青年基金(61402370)资助
在并行程序测试中,测试输入和线程交互时序是影响并行错误检测的两个关键因素。以缩减并行错误检测的输入空间为目标,给出一种基于变异测试的测试用例最小化算法。首先对并行程序进行研究,选取与并行错误密切相关的9个变异算子,并以此...
关键词：并行程序 变异测试 测试用例优化 测试用例最小化 
基于本体的并发错误测试工具推荐方法研究
《计算机科学》2017年第11期202-206,共5页郑炜 黄月明 吴潇雪 冯晨 蔺军 
国家自然科学基金(61402370)资助
随着并发系统测试关注度的日益提高,越来越多的并发系统测试工具不断出现。对于测试人员来说,能否正确选取并发系统测试工具也就成为了并发测试效率的决定因素之一。鉴于并发错误检测软件并不像传统测试软件那样被人们所熟知,提出一种...
关键词：并发错误 本体 测试工具推荐 
应用过程间分析技术的并行错误模式匹配方法
《西北工业大学学报》2017年第1期148-153,共6页郑炜 蔺军 黄月明 冯晨 吴潇雪 
国家自然科学基金(61402370);中央高校基本科研业务费专项资金资助
过程间分析技术通常用于静态检测并行程序中的错误模式实例,目前已成为静态测试、错误模式匹配等领域的研究热点。然而,现存的过程内分析技术对于并行错误的静态测试效果尚不够理想。为此,文章试图运用过程间分析技术对并行程序进行"错...
关键词：并行程序 静态测试 过程间分析 错误模式 错误检测 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部