[发明专利]编程代码的先决条件的自动化产生在审
| 申请号： | 202210857485.0 | 申请日： | 2022-07-21 |
| 公开（公告）号： | CN115687072A | 公开（公告）日： | 2023-02-03 |
| 发明（设计）人： | A·弗莱克赛德尔;B·施密特;J·邝特;M·施伦德 | 申请（专利权）人： | 罗伯特·博世有限公司 |
| 主分类号： | G06F11/36 | 分类号： | G06F11/36 |
| 代理公司： | 中国专利代理(香港)有限公司 72001 | 代理人： | 张涛;刘春元 |
| 地址： | 德国斯*** | 国省代码： | 暂无信息 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本公开的一个方面涉及一种用于自动化地产生编程代码的先决条件的计算机实现的方法，包括接收编程代码中的起点，其中所述编程代码具有一个或多个输入变量；接收所述起点的标准；检查所述标准是否可以通过所述编程代码从所述起点反向传播到所述一个或多个输入变量中的至少一个输入变量；如果所述检查是肯定的，则为所述一个或多个输入变量中的至少一个输入变量产生至少一个先决条件，其中所述反向传播被设计为，使得符合为一个或多个输入变量产生的先决条件保证了符合所述起点的标准。本公开的第二方面涉及一种电子编程环境，其被设计为执行用于自动化地产生编程代码的先决条件的计算机实现的方法。 | ||
| 搜索关键词： | 编程 代码 先决条件 自动化 产生 | ||
【主权项】：
暂无信息
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于罗伯特·博世有限公司，未经罗伯特·博世有限公司许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/202210857485.0/，转载请声明来源钻瓜专利网。
- 上一篇：用于钟表机芯的摆轮游丝
- 下一篇：阀轴密封件
