非法计算

作品数：7被引量：6H指数：2
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：宫云战曹文静邹欣江标徐胜红更多>>
相关机构：北京邮电大学装甲兵工程学院中国人民解放军海军航空工程学院中国石油大学（华东）更多>>
相关期刊：《计算机工程与设计》《科学技术创新》《计算机工程与应用》《武汉大学学报（理学版）》更多>>
相关基金：国家高技术研究发展计划中国人民解放军总装备部“十五”预研基金中央高校基本科研业务费专项资金中国博士后科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机辅助设计与图形学学报x
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
非法计算检测的通用模型
《计算机辅助设计与图形学学报》2009年第4期487-492,共6页江标 宫云战 杨朝红 
国家“八六三”高技术研究发展计划(2006AA01Z184,2007AA010302)
非法计算是导致系统崩溃的一个常见故障.文中总结了Java语言中可能产生非法计算的运算符和数学库函数;建立了一个通用模型,用以检测一般函数(包括系统函数和自定义函数)在使用时是否合法;基于该通用模型提出了非法计算检测算法,并在此...
关键词：非法计算 区间运算 静态测试 故障模型 
非法计算故障的静态测试被引量：1
《计算机辅助设计与图形学学报》2007年第1期119-124,共6页曹文静 宫云战 
总装备部"十五"预研基金(41315050107).
针对C/C++程序中的非法计算,形式化定义了非法计算故障;建立了表达式区间运算模型、变量取值区间集产生模型和非法计算故障模型,并将其作为静态识别非法计算的基础;提出了非法计算自动测试算法.实验结果表明,文中方法具有较高的故障检...
关键词：软件测试 静态测试方法 非法计算 故障模型 自动测试算法 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部