基于公式的软件调试

• 作者: 胡春明 萨蒂什·钱德拉 赵永望 阿比克·罗伊乔杜里
• 来源期刊: 中国计算机学会通讯
• 关键词: 软件调试 符号执行 约束求解
• 年，卷（期）: 2016,（9）
• 所属期刊栏目: 译文
• 页码范围: 84-91
• 页数: 8页
• 语种: 中文

摘要

可满足性模理论(SMT)求解器有助于自动发现软件错误的根源. 程序设计作为一种创造性活动对从业人员在精确性方面提出了严格的要求,即便天才的程序员也会犯错误.错误可能造成不同的后果,如程序崩溃、数据损坏或意外输出等.调试是一种根据可观察到的错误表象定位错误根源的任务.这是一项技术挑战,因为在程序执行中,错误表现出来并被观察到可能远远晚于该错误对程序状态第一次产生影响的时间.很多曾经被认为是有效、可靠的软件,在没有任何征兆的情况下突然出现问题,而修复这些突发问题所付出的努力骇人听闻,这样的案例比比皆是.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	赵永望		6	20	2.0	4.0
2	阿比克·罗伊乔杜里	新加坡国立大学计算学院	1	0	0.0	0.0
3	萨蒂什·钱德拉		1	0	0.0	0.0
4	胡春明		1	0	0.0	0.0