[发明专利]用于处理软件代码的方法和装置在审
申请号: | 201711396909.3 | 申请日: | 2017-12-21 |
公开(公告)号: | CN108334320A | 公开(公告)日: | 2018-07-27 |
发明(设计)人: | S·孔韦尔西 | 申请(专利权)人: | 国立民用航空学院 |
主分类号: | G06F8/33 | 分类号: | G06F8/33;G06F8/34 |
代理公司: | 永新专利商标代理有限公司 72002 | 代理人: | 刘瑜;王英 |
地址: | 法国*** | 国省代码: | 法国;FR |
权利要求书: | 查看更多 | 说明书: | 查看更多 |
摘要: | |||
搜索关键词: | 转换 审查 方法和装置 处理流程 处理软件 代码执行 软件代码 用户编辑 状态机 更新 送入 | ||
呈现了一种基于转换成有限状态机的与软件代码交互的机制。呈现了当前正在审查的经转换的代码的状态以及其他相关状态。相关的状态可以是馈送入当前正在审查的经转换的代码的状态、或者可以遵循处理流程中的那些状态的状态。可以在相关状态与当前正在审查的经转换的代码的状态结合呈现时对相关状态进行用户编辑,并且相应地更新对应的代码。当前正在审查的经转换的代码的状态以及对应的相关状态可以被动态地更新以反映实际的代码执行。
技术领域
本发明涉及软件代码处理,尤其涉及软件代码的审查和编辑。
背景技术
随着时间的推移,与用于运行结果代码的计算机系统的发展同步,与软件代码编辑相关联的工具和方法也在发展。在打卡时代,程序是在纸上开发的,随着终端的可用性,在计算环境中直接开发软件变得可行。此后,编程主要围绕编辑基于文本的代码(在通用文本编辑软件中)进行,或者随时间而更多地在专用集成开发环境中,通常提供用于编译和调试代码的附加工具。某些环境支持可视编码,其中用户可以通过操纵某些计算机生成的空间中的代码实体的图形表示来编辑代码。基于文本的和可视化编程环境都倾向于使用围绕多个模块构建的结构来呈现代码,每个模块中的元素以以下顺序来呈现:它们将服从模块内的任何循环和分叉来被执行。
希望提供用于审查软件代码的改进的工具,尤其是促进通过代码跟踪执行。
发明内容
根据本发明的第一方面,提供了一种用于处理软件代码的装置,所述装置包括:代码转变器,其适于将所述代码的表示准备为有限状态机;
初级状态选择器,其适于选择所述有限状态机的一个或多个状态以进行显示;
次级状态选择器,其适于针对所述选择的初级状态而识别次级状态,其中
所有所述次级状态都是包括引导至所述选择的状态的转变的所述有限状态机的状态,或者
所有次级状态都是包括从所述选择的状态引导出的转变的所述有限状态机的状态,或者
所述状态属于在由装置接收的用户输入中指定的、通过有限状态机的一系列选择状态的有效序列;以及
表示处理器,其适于使得呈现将所述选择的状态的文本表示与所述次级状态的文本表示集成的文本表示。
在第一方面的发展中,所述装置可以进一步适于接收指定所述次级状态是否应当包括所述有限状态机的所有状态的用户输入,所述有限状态机的所有状态包括引导至所述选择的状态的转变、或相反所述有限状态机的所有状态包括从所述选择的状态引导出的转变;并且适于相应地刷新所述文本表示。
在第一方面的发展中,所述装置还可以适于接收指定所述有限状态机的哪个状态将构成所述选择的状态的用户输入。
在第一方面的发展中,所述装置还可以适于接收指定对所述文本表示的一部分的修改的用户输入,以
识别对应于所述修改的修改的状态,
识别对应于所述修改的状态的修改的代码,以及
更新所述修改的代码以反映所述修改。
在第一方面的发展中,所述装置还可以适于选择一个或多个次级状态作为扩展次级状态,其中所述有限状态机的其他状态在它们是包括引导至所述扩展的次级状态的转变的所述有限状态机的状态、或它们是包括从所述扩展的次级状态引导出的转变的所述有限状态机的状态的情况下被选择用于显示为次级状态。
在第一方面的发展中,所述装置还可以适于选择所述有限状态机的一个或多个状态以进行显示,其中所述选择的状态位于当前执行流程内。
根据本发明的第二方面,提供了一种处理软件代码的方法,所述方法包括以下步骤:
将所述代码的表示准备为有限状态机;
该专利技术资料仅供研究查看技术是否侵权等信息,商用须获得专利权人授权。该专利全部权利属于国立民用航空学院,未经国立民用航空学院许可,擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作,请联系【客服】
本文链接:http://www.vipzhuanli.com/pat/books/201711396909.3/2.html,转载请声明来源钻瓜专利网。