[发明专利]程序生成装置无效
| 申请号： | 03147234.6 | 申请日： | 2003-07-09 |
| 公开（公告）号： | CN1567222A | 公开（公告）日： | 2005-01-19 |
| 发明（设计）人： | 小川一;瓶子岳人;高山秀一;赵琛 | 申请（专利权）人： | 松下电器产业株式会社 |
| 主分类号： | G06F11/28 | 分类号： | G06F11/28 |
| 代理公司： | 永新专利商标代理有限公司 | 代理人： | 黄剑峰 |
| 地址： | 日本*** | 国省代码： | 日本;JP |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 一种编译器用测试程序生成装置(20)，具备：条件表达式生成装置(22)，接受程序的控制结构作为输入，用线性规划法来生成可使该控制结构中的所有路径通过的、插入该控制结构条件表达式插入部分中的多个条件表达式；初始值生成装置(24)，使用线性规划法，对控制结构中的所有路径中每个路径生成使该路径通过用的所述多个条件表达式中包含的变量的初始值；和测试程序生成装置(24)，根据所述控制结构、所述条件表达式和所述初始值，生成测试程序。 | ||
| 搜索关键词： | 程序 生成 装置 | ||
【主权项】：
1、一种程序生成装置，其特征在于：具备：条件表达式生成装置，接受程序的控制结构作为输入，用线性规划法来生成可使该控制结构中的所有路径通过的、插入该控制结构条件表达式插入部分中的多个条件表达式；初始值生成装置，对所述控制结构中的所有路径中每个路径生成使该路径通过用的所述多个条件表达式中包含的变量的初始值；和程序生成装置，根据所述控制结构、所述多个条件表达式和所述初始值，生成测试程序。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于松下电器产业株式会社，未经松下电器产业株式会社许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/03147234.6/，转载请声明来源钻瓜专利网。
- 上一篇：防电磁波纱网及其制造方法
- 下一篇：一种可对外充电的移动装置
