[发明专利]程序开发装置和程序开发方法

权利要求书

1.一种程序开发装置，包括：

划分单元，被配置为将包括在第一源代码中的代码虚拟地划分为多个群；

分离单元，被配置为将每一个群分离为一个或多个段，所述段由一个或多个应当被顺序执行的代码构成；

存储器，被配置为存储所述段，每个段具有一个或多个代码；

设置单元，被配置为基于所述第一源代码，在所述段之间设置执行次序的约束；

第一展示单元，被配置为向用户展示所述存储器的内容；

第二展示单元，被配置为向所述用户展示表示所述执行次序的约束的约束信息；

第一编辑单元，被配置为基于来自所述用户的第一编辑命令编辑所述存储器的内容；

第二编辑单元，被配置为基于来自所述用户的第二编辑命令编辑所述约束信息；以及

合成单元，被配置为根据编辑的约束信息，将所述第一源代码和所述存储器的编辑的内容合成为第二源代码。

2.如权利要求1所述的装置，其中所述第二展示单元通过将所述段用有向弧彼此连接，向所述用户展示所述约束信息。

3.如权利要求1所述的装置，其中所述第一编辑单元向所述存储器中添加段，或者修改或删除所述存储器中的所述段。

4.如权利要求3所述的装置，其中所述第二编辑单元添加、删除和修改所述执行次序的约束。

5.如权利要求1所述的装置，其中所述群的第一至第n个(n是等于或大于1的整数)是分别影响同一输出变量的代码组，并且对应于所述第一至第n个群的输出变量彼此不相关。

6.如权利要求5所述的装置，其中所述群的第n+1个是与输出变量不相干的一组代码。

7.如权利要求6所述的装置，其中所述第n+1个群是用于满足要求的时间约束的进程的群。

8.如权利要求1所述的装置，其中所述分离单元根据关于每个内部变量的分配和参考的关系分离每个群。

9.如权利要求1所述的装置，其中所述合成单元通过基于所述存储器的编辑的内容和所述编辑的约束信息组以及所述存储器中编辑前的内容和编辑前的约束信息组之间的差异，修正所述第一源代码，从而生成所述第二源代码。

10.如权利要求1所述的装置，其中所述合成单元从所述存储器的编辑的内容和编辑的约束信息来生成所述第二源代码，而不使用所述第一源代码。

11.一种程序开发方法，包括：

将包括在第一源代码中的代码虚拟地划分为多个群；

将每一个群分离为一个或多个段，所述段由一个或多个应当被顺序执行的代码构成；

在存储器中存储所述段，每个段具有一个或多个代码；

基于所述第一源代码，在所述段之间设置执行次序的约束；

向用户展示所述存储器的内容；

向所述用户展示表示执行次序的约束的约束信息；

基于来自所述用户的第一编辑命令编辑所述存储器的内容；

基于来自所述用户的第二编辑命令编辑所述约束信息；以及

根据编辑的约束信息，将所述第一源代码和所述存储器的编辑的内容合成为第二源代码。

12.如权利要求11所述的方法，其中通过将所述段用有向弧彼此连接，向所述用户展示所述约束信息。

13.如权利要求11所述的方法，其中通过向所述存储器中新添加段，或者修改或删除所述存储器中的所述段来执行所述存储器中所述内容的编辑。

14.如权利要求13所述的方法，其中通过添加、删除和修改所述执行次序的约束来执行所述约束信息的编辑。

15.如权利要求11所述的方法，其中所述群的第一至第n个(n是等于或大于1的整数)是分别影响同一输出变量的代码组，并且对应于所述第一至第n个群的输出变量彼此不相关。

16.如权利要求15所述的方法，其中所述群的第n+1个是与输出变量不相干的一组代码。

17.如权利要求16所述的方法，其中所述第n+1个群是用于满足要求的时间约束的进程的群。

18.如权利要求11所述的方法，其中根据关于每个内部变量的分配和参考的关系分离每个群。