非法计算检测的通用模型

作     者：江标 宫云战 杨朝红 Jiang Biao;Gong Yunzhan;Yang Zhaohong

作者机构：北京邮电大学网络与交换技术国家重点实验室北京100876 装甲兵工程学院信息工程系北京100072 

基　　金：国家“八六三”高技术研究发展计划(2006AA01Z184 2007AA010302) 

出 版 物：《计算机辅助设计与图形学学报》 (Journal of Computer-Aided Design & Computer Graphics)

年 卷 期：2009年第21卷第4期

页      码：487-492页

摘      要：非法计算是导致系统崩溃的一个常见故障.文中总结了Java语言中可能产生非法计算的运算符和数学库函数;建立了一个通用模型,用以检测一般函数(包括系统函数和自定义函数)在使用时是否合法;基于该通用模型提出了非法计算检测算法,并在此算法中引入区间运算.实验结果表明,文中模型及算法可以在检测出更多的非法计算故障的同时降低误报率.

主 题 词：非法计算 区间运算 静态测试 故障模型 

学科分类：0711[理学-心理学类] 07[理学] 08[工学] 081101[081101] 0811[工学-水利类] 071102[071102] 081103[081103] 

核心收录：

馆 藏 号：203156337...