• 主题
高级搜索  >
历史搜索 清空历史
首页> 中国专利> 一种基于规范和基于程序域分析的软件测试方法

一种基于规范和基于程序域分析的软件测试方法

页面导航
  • 摘要
  • 著录项
  • 法律信息
  • 相似文献

摘要

本发明提供一种基于规范和基于程序域分析的软件测试方法，通过对源程序进行数据流分析和相关性分析，确定其输入变量运行域；采用程序切片技术，进行基于输入变量的静态程序切片，将与输入变量无关的语句和函数剔除，简化了源程序，提高了分析效率；对一些特殊表达式,与输入变量有关并有特殊取值要求的表达式，要求输入变量在一定范围内取值。本发明和现有技术相比，该方法有广泛的适用性，是确实可行的。该系统的实现为本文后续研究奠定了基础。

著录项

  • 公开/公告号CN105573909A

    专利类型发明专利

  • 公开/公告日2016-05-11

    原文格式PDF

  • 申请/专利权人 浪潮电子信息产业股份有限公司;

    申请/专利号CN201510915343.5

  • 发明设计人 牛圆圆;

    申请日2015-12-11

  • 分类号G06F11/36(20060101);

  • 代理机构37100 济南信达专利事务所有限公司;

  • 代理人姜明

  • 地址 250101 山东省济南市高新区浪潮路1036号

  • 入库时间 2023-12-18 15:12:16

法律信息

  • 法律状态公告日

    法律状态信息

    法律状态

  • 2018-07-27

    实质审查的生效 IPC(主分类):G06F11/36 申请日:20151211

    实质审查的生效

  • 2016-05-11

    公开

    公开

相似文献

  • 专利
  • 中文文献
  • 外文文献
获取专利

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号