程序错误(英文名:Bug),指计算机程序在运行或编译时出现的异常行为或不符合预期的结果,可能导致功能异常或数据丢失。数值误差问题引发的软件错误是高可信软件关注的重要缺陷之一,其来源分为需求背景引起的数值稳定性错误和软件设计与实现导致的错误。汤恩义团队提出通过程序变换技术将数值模块转为高精度计算,并结合随机扰动与条件数度量,定位稳定性问题模块。研究团队设计了中间语言表示框架,整合符号执行追踪、随机代...
程序错误(英文名:Bug),指计算机程序在运行或编译时出现的异常行为或不符合预期的结果,可能导致功能异常或数据丢失。数值误差问题引发的软件错误是高可信软件关注的重要缺陷之一,其来源分为需求背景引起的数值稳定性错误和软件设计与实现导致的错误。汤恩义团队提出通过程序变换技术将数值模块转为高精度计算,并结合随机扰动与条件数度量,定位稳定性问题模块。研究团队设计了中间语言表示框架,整合符号执行追踪、随机代...