[发明专利]用于处理软件代码的方法和装置在审
申请号: | 201711396909.3 | 申请日: | 2017-12-21 |
公开(公告)号: | CN108334320A | 公开(公告)日: | 2018-07-27 |
发明(设计)人: | S·孔韦尔西 | 申请(专利权)人: | 国立民用航空学院 |
主分类号: | G06F8/33 | 分类号: | G06F8/33;G06F8/34 |
代理公司: | 永新专利商标代理有限公司 72002 | 代理人: | 刘瑜;王英 |
地址: | 法国*** | 国省代码: | 法国;FR |
权利要求书: | 查看更多 | 说明书: | 查看更多 |
摘要: | 呈现了一种基于转换成有限状态机的与软件代码交互的机制。呈现了当前正在审查的经转换的代码的状态以及其他相关状态。相关的状态可以是馈送入当前正在审查的经转换的代码的状态、或者可以遵循处理流程中的那些状态的状态。可以在相关状态与当前正在审查的经转换的代码的状态结合呈现时对相关状态进行用户编辑,并且相应地更新对应的代码。当前正在审查的经转换的代码的状态以及对应的相关状态可以被动态地更新以反映实际的代码执行。 | ||
搜索关键词: | 转换 审查 方法和装置 处理流程 处理软件 代码执行 软件代码 用户编辑 状态机 更新 送入 | ||
【主权项】:
1.一种用于处理软件代码的装置,所述装置包括:代码转换器,其适于将所述代码的表示准备为有限状态机;初级状态选择器,其适于选择所述有限状态机的一个或多个状态以进行显示;次级状态选择器,其适于针对所述选择的初级状态而识别次级状态,其中所有所述次级状态是包括引导至所述选择的状态的转变的所述有限状态机的状态,或者所有所述次级状态是包括从所述选择的状态引导出的转变的所述有限状态机的状态,或者所述状态属于在由所述装置接收的用户输入中指定的、通过所述有限状态机的一系列选择的状态的有效序列;以及表示处理器,其适于使得呈现将所述选择的状态的文本表示与所述次级状态的文本表示集成的文本表示。
下载完整专利技术内容需要扣除积分,VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息,商用须获得专利权人授权。该专利全部权利属于国立民用航空学院,未经国立民用航空学院许可,擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作,请联系【客服】
本文链接:http://www.vipzhuanli.com/patent/201711396909.3/,转载请声明来源钻瓜专利网。