姬秀娟
- 作品数：7 被引量：6H指数：2
- 供职机构：南开大学更多>>
- 发文基金：国家重点实验室开放基金天津市科技攻关项目天津市自然科学基金更多>>
- 相关领域：自动化与计算机技术文化科学更多>>
- 基于扩展符号执行的动态内存故障静态分析方法研究
- 在C/C++等支持动态内存的程序中普遍存在各种各样的内存故障，采用动态测试方法难以保证覆盖所有分支且很难定位故障源，而现有的静态分析方法存在漏报和误报过多的情况。针对此问题，提出了扩展符号执行的方法。该方法记录路径条件并...
- 姬秀娟杨巨峰许静过辰楷
- 关键词：动态内存
- 浅析信息技术与课程整合的技术实现
- 随着信息技术的不断发展,网络已经普及到千家万户,信息化浪潮已经影响到我们生活的方方面面,教育的信息化模式也得到了很大的发展。本文主要结合形式语言与自动机教学的实际案例,讨论了传统教学结构的弊端以及进行教学模式改革的必要性...
- 郭永梅姬秀娟朱耀庭
- 关键词：信息技术课程整合FLASH技术流媒体
- 文献传递
- 基于递推链代数与迭代序列敛散性的死循环检测被引量：2
- 2013年
- 该文针对两大类循环分别给出了非终止性判定的数学方法.首先,针对基本迭代关系为线性或几何性的循环提出了基于递推链代数的分析方法.通过递推链代数将循环变量进行统一表示,根据运算规则推导出循环条件关于迭代次数的闭形式函数,然后通过约束求解以及单调性判断循环的非终止性.其次,针对一元非线性循环提出了基于迭代序列敛散性的分析方法.根据迭代函数以及不动点判断迭代函数产生的迭代序列的敛散性来判断循环的非终止性.实验部分采用Velroyen[20]的52组循环、文献[18-19,21-23]的23组循环、文献[3]以及自组的13组循环进行分析验证,结果表明该文所提出的方法能有效地判断循环的非终止性:若循环无法终止,可以推导出循环无法终止的变量约束;若循环可终止,则可以估算循环的迭代次数.
- 姬秀娟杨巨峰许静李晓虹封磊
- 资源泄露故障静态分析的关键技术研究
- 随着软件开发技术的不断发展，软件系统的规模越来越大，其结构也日益复杂，从而使软件系统的质量越来越难以保障。其中，资源泄露故障是影响软件系统稳定性和可靠性最危险的安全漏洞之一。研究表明资源泄露故障是导致软件系统停机故障和服...
- 姬秀娟
- 关键词：切片技术软件开发故障检测
- 浅析信息技术与课程整合的技术实现
- 随着信息技术的不断发展,网络已经普及到千家万户,信息化浪潮已经影响到我们生活的方方面面,教育的信息化模式也得到了很大的发展.本文主要结合形式语言与自动机教学的实际案例,讨论了传统教学结构的弊端以及进行教学模式改革的必要性...
- 郭永梅姬秀娟朱耀庭
- 关键词：信息技术课程整合FLASH技术流媒体教育信息化
- 文献传递
- 基于WEB实时交互的虚拟教室系统
- 随着现代科学技术的发展,计算机己进入中国的教育领域并得到迅速的发展.在教育领域中,计算机不仅是一门学科,而且正逐渐成为有效的教学媒体和教育管理的有力l具.并且随着Internet的普及以及Web技术的日益成熟,远程教育技...
- 姬秀娟
- 关键词：虚拟教室话音编解码音频压缩
- 文献传递
- 基于分支混淆算法的符号执行技术被引量：3
- 2012年
- 符号执行是静态分析中的一项常用技术,数组元素混淆问题是限制符号执行本身性能的关键因素之一。通过分析数组混淆实质,提出了一种分支混淆算法,利用边混淆边符号执行的策略,可以处理较为复杂的数组问题。该策略使用实时的约束求解,及时地剪除不可达的混淆分支。结合符号执行和约束求解技术,开发了基于分支混淆算法的工具原型ASym。初步实验表明,利用分支混淆算法可以处理具有分支结构的数组混淆问题,避免延迟替换出现的数组语义误差,且在很大程度上缩减了分支数量,提高执行效率。
- 过辰楷姬秀娟许静
- 关键词：软件测试
