9。
[0155]外部终端200具有从应用服务器110取得新执行程序123的程序取得部270。
[0156]图8是表示实施方式3的程序管理方法的处理流程的流程图。
[0157]关于实施方式3的程序管理方法，根据图8进行说明。
[0158]外部终端200执行S133和S134来取代在实施方式1(参照图3)中说明的S130?S160o
[0159]在S133中，外部终端200的程序取得部270向应用服务器110发送用于请求新执行程序123的程序请求。程序请求包含构成新执行程序123的追加应用和搭载应用各自的应用名称。
[0160]应用服务器110的程序提供部116从外部终端200接收程序请求。
[0161]应用服务器110的应用收集部230根据程序请求中包含的各个应用名称，从服务器存储部119收集追加应用的源代码111和搭载应用的源代码111。
[0162]应用服务器110的程序分析部240使用收集到的源代码111进行与新执行程序123有关的程序分析(与实施方式I相同)。
[0163]在得到新执行程序123没有产生问题的分析结果的情况下，应用服务器110的程序生成部250生成新执行程序123(与实施方式I相同)。然后，应用服务器110的程序提供部116发送新执行程序123，外部终端200的程序取得部270接收新执行程序123。
[0164]在得到新执行程序123产生问题的分析结果的情况下，应用服务器110的程序提供部116发送表示不能提供新执行程序123的错误消息，外部终端200的程序取得部270接收错误消息。
[0165]在S133之后，处理进入S134。
[0166]在S134中，按照S133的处理结果分开进行处理。
[0167]在已取得新执行程序123的情况下(是)，处理进入S170。
[0168]在未取得新执行程序123的情况下，即已取得错误消息的情况下(否)，外部终端200的追加应用受理部210显示表示不能追加应用的错误消息，程序管理方法的处理结束。
[0169]其它处理与实施方式I相同。
[0170]根据实施方式3，由应用服务器110执行程序分析和程序生成，能够减轻外部终端200的负荷。
[0171]另外，也可以是，由应用服务器110执行程序分析和程序生成中的任意一种处理，由外部终端200执行另一种处理。
[0172]实施方式4
[0173]对根据构成新执行程序123的各个应用的变量信息进行与新执行程序123有关的程序分析的方式进行说明。
[0174]下面，主要说明与实施方式I不同的事项。关于省略说明的事项，与实施方式I相同。
[0175]图9是实施方式4的应用文件118的结构图。
[0176]关于实施方式4的应用文件118的结构，根据图9进行说明。
[0177]应用服务器110按照每个应用存储应用文件118。
[0178]应用文件118包含应用的源代码111和应用的构造设计信息117 (变量信息的一例)。构造设计信息117是与在应用中使用的变量有关的信息。
[0179]在实施方式4中，构造设计信息117将应用的源代码111中包含的子程序(也称作函数)的名称、在子程序内使用的变量的名称和变量具有的属性的值对应起来示出。
[0180]在实施方式4中，假设应用服务器110存储应用(a) (b) (c)各自的应用文件118。
[0181]应用(a)的源代码111包含使用变量X的子程序(a)，应用(a)的构造设计信息117表示在子程序(a)中使用的变量X的属性值作为属性(3)。
[0182]应用(b)的源代码111包含使用变量X的子程序(b)，应用(b)的构造设计信息117表示在子程序(b)中使用的变量X的属性值作为属性(2)。
[0183]应用(c)的源代码111包含使用变量X的子程序(C)，应用(C)的构造设计信息117表示在子程序(C)中使用的变量X的属性值作为属性(I)。
[0184]例如，变量X是用于确认电子控制装置121的内部状态的变化或者被输入到电子控制装置121的输入信号的变化的状态变量(也称作标志)。
[0185]属性⑴表示“滞后一个周期读出属性(也称作更新前读出属性)”，属性⑵表示“写入属性”，属性(3)表示“通常周期读出属性(也称作更新后读出属性)”。
[0186]滞后一个周期读出属性表示读出经过更新周期前的变量值。换言之，滞后一个周期读出属性是用于读出更新前的变量值的属性。
[0187]写入属性表示写入变量值。换言之，写入属性是用于更新变量值的属性。
[0188]通常周期读出属性表示读出经过更新周期后的变量值。换言之，通常周期读出属性是用于读出更新后的变量值的属性。
[0189]图10是实施方式4的外部终端200的功能结构图。
[0190]关于实施方式4的外部终端200的功能结构，根据图10进行说明。
[0191]外部终端200如在实施方式I (参照图2)中说明的那样具有程序分析部240。
[0192]程序分析部240具有主程序生成部241、程序组装部242和程序分析执行部243。
[0193]主程序生成部241生成新执行程序123的主程序的源代码。
[0194]程序组装部242使用主程序的源代码、追加应用的源代码111和搭载应用的源代码111，生成新执行程序123的源代码。
[0195]程序分析执行部243对新执行程序123的源代码执行程序分析。
[0196]图11是表示实施方式4的程序管理方法的处理流程的流程图。
[0197]关于实施方式4的程序管理方法，根据图11进行说明。
[0198]外部终端200执行S135和S200来取代在实施方式I (参照图3)中说明的S130和 S140。
[0199]在S135中，应用收集部230收集各个应用的应用文件118 (包含源代码111)，以取代构成新执行程序123的各个应用的源代码111。
[0200]在S135之后，处理进入S200。
[0201]在S200中，程序分析部240使用各个应用的应用文件118取代各个应用的源代码111，进行与新执行程序123有关的程序分析。
[0202]其它处理与实施方式I相同。
[0203]图12是实施方式4的程序分析处理(S200)的流程图。
[0204]关于实施方式4的程序分析处理(S200)，根据图12进行说明。
[0205]在S210中，主程序生成部241根据构成新执行程序123的各个应用的应用文件118，生成新执行程序123的主程序的源代码。
[0206]新执行程序123的主程序是用于按照恰当的顺序调用各个应用中包含的子程序的函数。
[0207]关于主程序生成处理(S210)的详情，将在后面进行说明。
[0208]在S210之后，处理进入S220。
[0209]在S220中，程序组装部242使用在S210中生成的主程序的源代码和各个应用文件118中包含的源代码111，生成新执行程序123的源代码。
[0210]例如，新执行程序123的源代码包含主程序的源代码、追加应用的源代码111和搭载应用的源代码111。
[0211]在S220之后，处理进入S230。
[0212]在S230中，程序分析执行部243对在S220中生成的新执行程序123的源代码执行程序分析。
[0213]例如，程序分析执行部243将新执行程序123的源代码输入到程序分析工具，执行程序分析工具。
[0214]在S230之后，程序分析处理(S200)结束。
[0215]图13是实施方式4的主程序生成处理(S210)的流程图。
[0216]关于实施方式4的主程序生成处理(S210)，根据图13进行说明。
[0217]在S211中，主程序生成部241从构成新执行程序123的各个应用的应用文件118中选择一个未选择的变量。
[0218]例如，主程序生成部241从各个应用文件118中包含的构造设计信息117中选择一个未选择的变量。
[0219]在S211之后，处理进入S212。
[0220]在S212中，主程序生成部241选择各个应用文件118中包含的构造设计信息117中、被设定有在S211中选择出的变量的属性值的构造设计信息117。
[0221]然后，主程序生成部241从构造设计信息117取得在S211中选择出的变量的属性值。
[0222]例如，当在S211中选择在应用(a)的子程序(a)中使用的变量X的情况下，主程序生成部241选择应用(a)的应用文件118中包含的构造设计信息117。然后，主程序生成部241从构造设计信息117中取得与子程序(a)和变量X对应的属性值。
[0223]在S212之后，处理进入S213。
[0224]在S213中，主程序生成部241将子程序名称、变量名称和属性值对应起来设定到第一构造设计文件291中。
[0225]例如，当在S211中选择出子程序(a)的变量X，在S212中取得属性(3)的情况下，主程序生成部241按照图14的(I)所示进行第一构造设计文件291的设定。
[0226]图14是表示实施方式4的第一构造设计文件291的一例的图。
[0227]在S213之后，处理进入S214。
[0228]在S214中，主程序生成部241判定是否具有在S211中未选择的变量。
[0229]在具有未选择的变量的情况下(是)，处理返回