[发明专利]用于计算机辅助地自动化地检查需求的方法在审
| 申请号： | 201880042869.9 | 申请日： | 2018-05-08 |
| 公开（公告）号： | CN110799951A | 公开（公告）日： | 2020-02-14 |
| 发明（设计）人： | 格哈德·席林 | 申请（专利权）人： | 格哈德·席林 |
| 主分类号： | G06F11/36 | 分类号： | G06F11/36 |
| 代理公司： | 11038 中国国际贸易促进委员会专利商标事务所 | 代理人： | 李鸿达 |
| 地址： | 德国施*** | 国省代码： | 德国;DE |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明涉及一种用于计算机辅助地自动化地检查需求的方法，其中，所述需求储存在数据库中。在此，一方面储存至少一个接口说明并且另一方面储存至少一个函数说明。在此，所述需求具有至少一个子分量。在此，所述检查包括对所述接口说明和/或所述函数说明的完整性和/或一致性的计算机辅助的检验。在此，所述检验也延伸到子分量上。 | ||
| 搜索关键词： | 计算机辅助 子分量 储存 检验 数据库 自动化 检查 延伸 | ||
【主权项】：
1.用于计算机辅助地自动化地检查至少一个需求的方法，所述需求具有至少一个另外的需求作为子分量，其中，所述需求储存在至少一个数据库中并且具有用于至少一个输入和/或输出信号的至少一个接口说明和形式规范化的至少一个函数说明，其特征在于，所述检查包括对所述接口说明和/或所述函数说明的完整性和/或一致性的计算机辅助的检验，并且所述检查也延伸到至少一个所述另外的需求上。/n
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于格哈德·席林，未经格哈德·席林许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201880042869.9/，转载请声明来源钻瓜专利网。
- 上一篇：对基板作业机用控制装置
- 下一篇：分布式时间旅行跟踪记录和重放
