[发明专利]用于验证交互式组件的属性的方法、软件和处理单元有效
| 申请号： | 201610444712.1 | 申请日： | 2016-06-20 |
| 公开（公告）号： | CN106445802B | 公开（公告）日： | 2020-08-11 |
| 发明（设计）人： | S·查蒂;M·马尼奥德特;D·普兰 | 申请（专利权）人： | 国立民用航空学院 |
| 主分类号： | G06F11/36 | 分类号： | G06F11/36 |
| 代理公司： | 永新专利商标代理有限公司 72002 | 代理人： | 张扬;王英 |
| 地址： | 法国*** | 国省代码： | 暂无信息 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明涉及具有递归树结构的子组件的交互式组件的属性的验证。所述验证包括：根据所述树来创建有向图，所述有向图包括用于所述树的子关系的弧，以及用于在所述组件之间耦合时创建耦合的弧。所述验证包括：创建表示所述属性的第二图，以及验证所述第二图是否展现在所述第一有向图内。 | ||
| 搜索关键词： | 用于 验证 交互式 组件 属性 方法 软件 处理 单元 | ||
【主权项】：
一种用于验证交互式组件的属性的方法，所述交互式组件被表示为子组件树，所述子组件树包括定义第一子组件与第二子组件之间的耦合的控制结构子组件，所述第二子组件是在所述第一子组件激活时被激活的，所述方法包括：‑创建表示所述交互式组件的第一有向图，所述第一有向图的节点包括所述第一子组件和所述第二子组件；‑获得表示所述属性的第二图；‑验证所述第二图在所述第一有向图中的存在或缺失之一；其中，创建所述有向图包括：‑创建所述交互式组件与所述组件的子组件之间的第一弧；‑创建所述第一子组件与所述第二子组件之间的第二弧。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于国立民用航空学院，未经国立民用航空学院许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201610444712.1/，转载请声明来源钻瓜专利网。
