国家重点实验室开放基金(KFKT2010B22)
- 作品数：2 被引量：5H指数：2
- 相关作者：许静姬秀娟过辰楷李晓虹封磊更多>>
- 相关机构：南开大学南京大学更多>>
- 发文基金：国家重点实验室开放基金天津市科技攻关项目天津市自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于递推链代数与迭代序列敛散性的死循环检测被引量：2
- 2013年
- 该文针对两大类循环分别给出了非终止性判定的数学方法.首先,针对基本迭代关系为线性或几何性的循环提出了基于递推链代数的分析方法.通过递推链代数将循环变量进行统一表示,根据运算规则推导出循环条件关于迭代次数的闭形式函数,然后通过约束求解以及单调性判断循环的非终止性.其次,针对一元非线性循环提出了基于迭代序列敛散性的分析方法.根据迭代函数以及不动点判断迭代函数产生的迭代序列的敛散性来判断循环的非终止性.实验部分采用Velroyen[20]的52组循环、文献[18-19,21-23]的23组循环、文献[3]以及自组的13组循环进行分析验证,结果表明该文所提出的方法能有效地判断循环的非终止性:若循环无法终止,可以推导出循环无法终止的变量约束;若循环可终止,则可以估算循环的迭代次数.
- 姬秀娟杨巨峰许静李晓虹封磊
- 基于分支混淆算法的符号执行技术被引量：3
- 2012年
- 符号执行是静态分析中的一项常用技术,数组元素混淆问题是限制符号执行本身性能的关键因素之一。通过分析数组混淆实质,提出了一种分支混淆算法,利用边混淆边符号执行的策略,可以处理较为复杂的数组问题。该策略使用实时的约束求解,及时地剪除不可达的混淆分支。结合符号执行和约束求解技术,开发了基于分支混淆算法的工具原型ASym。初步实验表明,利用分支混淆算法可以处理具有分支结构的数组混淆问题,避免延迟替换出现的数组语义误差,且在很大程度上缩减了分支数量,提高执行效率。
- 过辰楷姬秀娟许静
- 关键词：软件测试
