非法计算

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

检索结果分析

结果分析中...
共 条 记 录，以下是1-7
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于实例分析非法计算故障的计算机检测技术
《科学技术创新》2023年第3期100-103,共4页王林 
非法计算是计算机程序运行中常见的一类故障,严重时会导致系统瘫痪。首先介绍了非法计算故障失效模板的迭代分解流程,随后基于非法故障树的最小割集求解,概述了故障源头的求解过程和采用区间组合方法的故障树求解步骤。最后使用C++工具...
关键词：非法计算故障 最小割集 区间组合 
C程序非法计算缺陷的静态检测被引量：1
《计算机工程与应用》2016年第19期31-36,共6页董玉坤 
山东省自然科学基金(No.BS2015DX017);中央高校基本科研业务费专项资金(No.15CX02050A);中国博士后科学基金(No.2015M581032)
为实现基于静态分析技术自动的检测C程序中的非法计算缺陷,提出了一种基于区域内存模型进行非法计算缺陷检测的方法。对C程序中的非法计算缺陷操作归纳总结出其受限集,以对相应运算进行约束;通过抽象的区域内存模型表示实际的内存存储,...
关键词：缺陷检测 非法计算 静态分析 抽象内存模型 
过程间的非法计算故障静态检测方法被引量：2
《计算机研究与发展》2010年第S1期74-78,共5页邹欣 宫云战 金大海 
国家"八六三"高技术研究发展计划基金重点项目(2007AA010302);国家"八六三"高技术研究发展计划基金项目(2009AA012404)
非法计算是程序中常见的故障,极易导致系统崩溃.例如:除0运算、对负数开平方根运算等.现有的测试方法大多只能检测过程内的非法计算故障.提出了一种针对函数调用引起的过程间的非法计算故障的静态检测方法.该方法首先对可能存在非法计...
关键词：软件测试 静态分析 非法计算 函数摘要 
非法计算检测的通用模型
《计算机辅助设计与图形学学报》2009年第4期487-492,共6页江标 宫云战 杨朝红 
国家“八六三”高技术研究发展计划(2006AA01Z184,2007AA010302)
非法计算是导致系统崩溃的一个常见故障.文中总结了Java语言中可能产生非法计算的运算符和数学库函数;建立了一个通用模型,用以检测一般函数(包括系统函数和自定义函数)在使用时是否合法;基于该通用模型提出了非法计算检测算法,并在此...
关键词：非法计算 区间运算 静态测试 故障模型 
非法计算故障的静态测试被引量：1
《计算机辅助设计与图形学学报》2007年第1期119-124,共6页曹文静 宫云战 
总装备部"十五"预研基金(41315050107).
针对C/C++程序中的非法计算,形式化定义了非法计算故障;建立了表达式区间运算模型、变量取值区间集产生模型和非法计算故障模型,并将其作为静态识别非法计算的基础;提出了非法计算自动测试算法.实验结果表明,文中方法具有较高的故障检...
关键词：软件测试 静态测试方法 非法计算 故障模型 自动测试算法 
非法计算故障的一种静态测试方法被引量：2
《计算机工程与设计》2006年第14期2555-2557,共3页王璇 刘涛 宫云战 
总装备部十五预研基金项目(41315050107)
非法计算是C/C++程序中的常见故障,该类故障极易导致系统崩溃。针对C/C++语言中常见非法计算故障进行了分析,并从面向具体故障的测试思想出发,建立了C/C++语言中非法计算的故障模型,结合静态测试的特点,给出了一种静态查找此类故障的方...
关键词：软件测试 静态分析 非法计算 区间运算 故障模型 
非法计算故障的自动测试方法被引量：3
《武汉大学学报（理学版）》2006年第5期613-617,共5页曹文静 徐胜红 宫云战 
总装备部十五预研基金资助项目(41315050107)
基于对程序源代码的静态分析方法,针对程序中的非法计算故障,提出了一种自动测试方法.以非法计算故障的表现形式为基础,将静态分析程序源代码和识别非法计算的过程模型化,建立了静态检测非法计算所需的计算模型,将非法计算故障静态检测...
关键词：软件测试 自动测试方法 非法计算 故障模型 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部