谢茜

作品数：2被引量：2H指数：1
导出分析报告
供职机构：华中师范大学更多>>
发文主题：分析技术前端工具故障定位公众利益诉求更多>>
发文领域：自动化与计算机技术生物学文化科学社会学更多>>
发文期刊：《计算机科学》更多>>
所获基金：中央高校基本科研业务费专项资金软件工程国家重点实验室开放基金湖北省自然科学基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
一种调和序列生成及其在故障定位中的应用
《计算机科学》2011年第3期162-165,共4页叶俊民 谢茜 姜丽 李嵩嵩 许磊 
武汉大学计算机软件工程国家重点实验室开放基金项目(SKLSE20080705);湖北省自然科学基金(2007ABA034;2008CDB349);华中师范大学中央高校基本科研业务费项目(CCNU09Y01009和CCNU09Y01013)资助
为了提高软件的可靠性,在软件运行发生故障时,快速、准确地定位故障点成为非常有意义的研究课题。与以往方法不同,在将故障运行序列和最邻近运行序列进行差异对比前,为了避免选取第一条最近成功路径时引起的"盲区"使得后期搜索空间加大...
关键词：故障定位 序列比对 运行序列 调和序列 
一种基于模型检验程序分析技术的前端工具研究被引量：2
《计算机科学》2010年第5期118-122,174,共6页叶俊民 谢茜 金聪 李明 张振方 
武汉大学计算机软件工程国家重点实验室开放基金项目(编号:SKLSE20080705);湖北省自然科学基金(编号:2008CDB349);华中师范大学校基金(编号:2009A12);华中师范大学中央高校基本科研业务费项目(编号:CC-NU09Y01009和CCNU09Y01013)资助
提出了一种用模型检验技术对程序进行分析的方法,其主要思想是将C/C++源代码转换为与控制流图等价的Kripke结构,用CTL公式描述待验证的源程序性质,使用NuSMV模型检验工具实施具体的程序分析。基于这一思想,设计并实现了一个自动将C/C++...
关键词：模型检验 程序分析 自动NuSMV输入工具 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部