新疆维吾尔自治区自然科学基金(2010211B26)
- 作品数：2 被引量：1H指数：1
- 相关作者：于亚南周喜李晓单艳董军更多>>
- 相关机构：中国科学院新疆理化技术研究所中国科学院研究生院更多>>
- 发文基金：新疆维吾尔自治区自然科学基金电子信息产业发展基金新疆维吾尔自治区重大科技专项更多>>
- 相关领域：自动化与计算机技术更多>>
- 维哈柯文字库标准符合性检测研究
- 2012年
- 在调查和分析维哈柯文字库存在问题的基础上,依据国家制定的维哈柯文字符集标准与字形标准,明确了维哈柯文字库标准符合性检测的含义与内容,结合对TrueType字形技术,TrueType字库文件基本构成的详细研究,提出了完整的维哈柯文字库标准符合性检测的方案与算法,并实现了维哈柯文字库标准符合性检测工具的开发。实验结果表明检测方案完整、可行,能较好地解决维哈柯文字库标准符合性检测问题,对其它文字的字库标准符合性检测也具有一定的借鉴意义。
- 单艳蔡李董军李晓
- 关键词：信息处理TRUETYPE字库标准符合性
- 路径条件生成中的优化策略被引量：1
- 2012年
- 为了提高利用符号执行生成测试数据的效率,提出了一种结合传统前向遍历和后向遍历的方法。通过对传统前向遍历和后向遍历方式的优缺点进行对比分析,设计了一个结合二者优点的算法。该算法将程序分块处理,整体采用前向遍历的思想,但在每一个块中是后向遍历代码的;它兼具前向遍历较早发现不可达路径的优点和后向遍历可以避免不相关变量赋值的优点,解决了传统前向遍历中的冗余问题。实验结果表明了该方法的可行性和有效性。
- 于亚南周喜
