您的位置： 专家智库 > >

天津市科技攻关项目(08ZCKFGX01100)

作品数：3 被引量：13H指数：2
相关作者：许静司冠南任宇涵杨巨峰过辰楷更多>>
相关机构：南开大学南京大学更多>>
发文基金：天津市科技攻关项目国家重点实验室开放基金更多>>
相关领域：自动化与计算机技术更多>>

文献类型

  • 3篇中文期刊文章

领域

  • 3篇自动化与计算...

主题

  • 1篇性能评测
  • 1篇软件测试
  • 1篇识别率
  • 1篇数组
  • 1篇评测
  • 1篇自动评测
  • 1篇网构软件
  • 1篇网络
  • 1篇混淆
  • 1篇贝叶斯
  • 1篇贝叶斯网
  • 1篇贝叶斯网络
  • 1篇OCR
  • 1篇RTK

机构

  • 3篇南开大学
  • 2篇南京大学

作者

  • 3篇许静
  • 1篇杨巨峰
  • 1篇姬秀娟
  • 1篇任宇涵
  • 1篇司冠南
  • 1篇过辰楷
  • 1篇周开东

传媒

  • 1篇计算机研究与...
  • 1篇计算机应用与...
  • 1篇计算机科学

年份

  • 2篇2012
  • 1篇2011
共 3 条 记 录，以下是 1-3
全选 清除 导出
排序方式：
OCR切割性能自动评测
2011年
针对OCR(Optical Character Recognition光学字符识别)切割性能的评测问题,提出了一种基于切割图的评测方法,设计并实现了一个用于性能评测的自动化系统。该系统采用南开大学机器智能研究所自行研发的OCR图像切割处理核心RTK(Recog-nition Tool Kits识别工具包),根据切割样张集Cut-Set,计算切割错误统计数据、输出切割效果图像并对RTK进行修改。实验结果表明该评测方法显著提高了评测效率。
周开东许静
关键词：性能评测OCR识别率RTK
基于贝叶斯网络的网构软件可信性评估模型被引量：10
2012年
对于运行在开放、动态、难控的互联网环境的网构软件,其可信性评估是一个重要课题,但目前大量研究中可信性计算多是基于黑盒的,没有深入考虑系统结构,且评价指标过于单一.因此,提出了一个基于贝叶斯网络的网构软件可信性评估模型.该模型通过对网构软件进行结构分析,根据其结构模式,建立多层的网构软件可信性评估指标体系.基于贝叶斯网络采用自底向上逐层分析计算的方法,对网构软件的各组成实体及其系统整体的多方面可信性指标进行评估,形成统一的可信性结果,并使用客观数据对其进行修正.实验证明,该模型可以明确、客观地对网构软件的可信性进行评估,并能够对网构软件的设计、开发和部署提供帮助.
司冠南任宇涵许静杨巨峰
关键词：网构软件贝叶斯网络
基于分支混淆算法的符号执行技术被引量：3
2012年
符号执行是静态分析中的一项常用技术,数组元素混淆问题是限制符号执行本身性能的关键因素之一。通过分析数组混淆实质,提出了一种分支混淆算法,利用边混淆边符号执行的策略,可以处理较为复杂的数组问题。该策略使用实时的约束求解,及时地剪除不可达的混淆分支。结合符号执行和约束求解技术,开发了基于分支混淆算法的工具原型ASym。初步实验表明,利用分支混淆算法可以处理具有分支结构的数组混淆问题,避免延迟替换出现的数组语义误差,且在很大程度上缩减了分支数量,提高执行效率。
过辰楷姬秀娟许静
关键词：软件测试
全选 清除 导出
共1页<1>
聚类工具0