[发明专利]一种嵌入式软件单元测试用例生成方法及系统有效
| 申请号： | 201811216675.4 | 申请日： | 2018-10-18 |
| 公开（公告）号： | CN109086215B | 公开（公告）日： | 2021-11-16 |
| 发明（设计）人： | 陈睿;杨帆;江云松;王政;高栋栋;高猛;贾春鹏;陈华南;张璐;孙民 | 申请（专利权）人： | 北京轩宇信息技术有限公司 |
| 主分类号： | G06F11/36 | 分类号： | G06F11/36 |
| 代理公司： | 中国航天科技专利中心 11009 | 代理人： | 陈鹏 |
| 地址： | 100190 北京市海淀区科学院*** | 国省代码： | 北京;11 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明提供了一种嵌入式软件单元测试用例生成方法及系统。所述方法包括：对嵌入式软件源程序文件进行静态分析，生成输入驱动文件；在所述输入驱动文件中定义一驱动函数；其中，所述驱动函数用于指定输入待求解的表达式或桩函数；依据解释执行和符号执行相结合的方式对所述表达式或所述桩函数进行求解；将嵌入式软件中IO端口特殊编码为多重符号，求解得到值序列；基于求解结果和所述值序列，生成测试用例。本发明可以简化生成测试用例的操作步骤，降低由于插桩带来的性能开销，自动生成的输入驱动文件能满足绝大部分需求，并且无论是哪种嵌入式平台的软件都可以解释执行，大幅降低了配置目标环境带来的时间成本和人力成本。 | ||
| 搜索关键词： | 一种 嵌入式 软件 单元测试 生成 方法 系统 | ||
【主权项】：
1.一种嵌入式软件单元测试用例生成方法，其特征在于，包括：对所述嵌入式软件单元对应的源程序文件进行静态分析，生成输入驱动文件；在所述输入驱动文件中定义一驱动函数；其中，所述驱动函数用于指定输入待求解的表达式或桩函数；依据解释执行和符号执行相结合的方式对所述表达式或所述桩函数进行求解；将所述嵌入式软件单元中的IO端口特殊编码为多重符号，求解得到值序列；基于求解结果和所述值序列，生成测试用例。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于北京轩宇信息技术有限公司，未经北京轩宇信息技术有限公司许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201811216675.4/，转载请声明来源钻瓜专利网。
- 上一篇：一种数据库写性能测试方法、装置、终端及存储介质
- 下一篇：自动化测试系统
