非法计算相关论文
软件测试是衡量计算机软件质量的过程,它是整个软件开发过程中不可分割的一部分,直接关系到软件质量的好坏。软件质量通常是指正确......
针对C/C++程序中的非法计算,形式化定义了非法计算故障;建立了表达式区间运算模型、变量取值区间集产生模型和非法计算故障模型,并......
基于对程序源代码的静态分析方法，针对程序中的非法计算故障，提出了一种自动测试方法．以非法计算故障的表现形式为基础，将静态分析程序......
非法计算是程序中常见的故障,极易导致系统崩溃.例如:除0运算、对负数开平方根运算等.现有的测试方法大多只能检测过程内的非法计......
非法计算是导致系统崩溃的一个常见故障.文中总结了Java语言中可能产生非法计算的运算符和数学库函数;建立了一个通用模型,用以检......
为实现基于静态分析技术自动的检测C程序中的非法计算缺陷，提出了一种基于区域内存模型进行非法计算缺陷检测的方法。对C程序中的非......
伴随着信息技术的蓬勃发展以及计算机应用的普及,软件的应用领域越来越广泛,软件本身的复杂度也在逐渐提高。而这些软件如出现问题......
