專利名稱：程序執(zhí)行系統(tǒng)及其用的編程、分析和管理系統(tǒng)、檢查裝置及編程系統(tǒng)的制作方法
技術(shù)領(lǐng)域：
本發(fā)明涉及在存儲區(qū)展開程序編制手段編制的編碼程序并執(zhí)行程序的程序執(zhí)行系統(tǒng)，特別涉及在第1程序的運(yùn)作中從第1程序調(diào)用第2程序并且從存儲手段載入第2程序加以執(zhí)行的程序執(zhí)行系統(tǒng)。
本發(fā)明還涉及程序執(zhí)行系統(tǒng)中運(yùn)作的程序用的編程系統(tǒng)、程序分析系統(tǒng)和程序管理系統(tǒng)。
本發(fā)明又涉及具有程序執(zhí)行系統(tǒng)的檢查裝置(智能檢查單元)、控制裝置(定序器、運(yùn)動控制器、數(shù)控裝置、機(jī)器人等FA設(shè)備)、檢查裝置用程序編制系統(tǒng)和檢查裝置系統(tǒng)。
背景技術(shù)：
為了將檢查處理用的程序下載到檢查裝置(智能檢查單元)并使其運(yùn)作，用戶一般預(yù)先用個人計(jì)算機(jī)上的編程軟件編制程序，并且用電纜等連接裝有編程軟件的個人計(jì)算機(jī)和檢查裝置后，利用來自編程軟件的下載命令，對用戶編制的程序進(jìn)行編碼，將編碼的數(shù)據(jù)下載到檢查裝置。
作為已有檢查裝置中的程序執(zhí)行系統(tǒng)和編程系統(tǒng)的一個例子，已提出智能檢查單元的程序載入裝置(例如參考非專利文獻(xiàn)1IU2系列“IU開發(fā)程序操作手冊”B-206頁)。
上述非專利文獻(xiàn)1記述的已有裝置中，利用具有編程軟件(IU開發(fā)程序)的個人計(jì)算機(jī)執(zhí)行程序載入處理如下。
首先，通過以太網(wǎng)(注冊商標(biāo))、USB或RS232C電纜，對檢查裝置連接個人計(jì)算機(jī)內(nèi)的編程軟件。
接著，由編程軟件執(zhí)行通常的“執(zhí)行菜單”或“重構(gòu)執(zhí)行菜單”。
這時，“執(zhí)行菜單”中，僅將更新后的程序決定的項(xiàng)目編碼并傳送到檢查裝置，在檢查裝置內(nèi)的快速擦寫存儲器寫入程序?！爸貥?gòu)執(zhí)行菜單”中，將全部程序編碼并傳送到檢查裝置，在檢查裝置內(nèi)的快速擦寫存儲器寫入程序。
檢查裝置啟動時，在存儲區(qū)(RAM)上展開寫入檢查裝置的快速擦寫存儲器的程序，并且在檢查裝置內(nèi)的程序執(zhí)行手段上加以執(zhí)行。
這樣，已有的裝置中，用裝在個人計(jì)算機(jī)的編程軟件(IU開發(fā)程序)編制程序，并將個人計(jì)算機(jī)與檢查裝置(智能檢查單元主體)連接后，利用編程軟件的“執(zhí)行”或“重構(gòu)執(zhí)行”菜單對編制的程序進(jìn)行編碼，并將其下載到檢查裝置(智能檢查單元)，使其運(yùn)作。
然而，上述已有裝置將程序匯總到1個文件，因而頻繁產(chǎn)生補(bǔ)充成為檢查對象的機(jī)型等時，需要適應(yīng)各機(jī)型的固有程序，使應(yīng)編制的程序龐大。
又由于不能按不同機(jī)型記述程序，不能實(shí)現(xiàn)分散開發(fā)和并行開發(fā)。例如，為了對程序A補(bǔ)充程序B，可在A程序后補(bǔ)編B程序，但在A程序和B程序獨(dú)立開發(fā)的情況下，需要重新在1個程序組建A程序和B程序用的作業(yè)。
由于上述技術(shù)背景，維護(hù)性能也不好，而且例如為了對檢查A機(jī)型的檢查裝置追加B機(jī)型檢查性能，需要對A程序補(bǔ)充B程序。
又由于不能按不同機(jī)型分開記述程序，難以多個用戶分散開發(fā)或并行開發(fā)，而且進(jìn)行機(jī)型補(bǔ)充等情況下，需要一面充分考慮對已運(yùn)作的現(xiàn)有部分的影響，一面編制新程序，因而實(shí)質(zhì)上難以進(jìn)行機(jī)型補(bǔ)充時的開發(fā)。
又由于用戶編制的程序容量受檢查裝置內(nèi)的快速擦寫存儲器的限制，不能編制超過快速擦寫存儲器最大容量的程序，不能適應(yīng)任意數(shù)量的機(jī)型。
而且，追加機(jī)型時，必然需要用電纜等連接個人計(jì)算機(jī)后，再次利用編程軟件下載包含添加部分全部程序。
綜上所述，已有的程序執(zhí)行系統(tǒng)中，存在的一個課題是由于將程序匯總到一個文件，頻繁產(chǎn)生追加機(jī)型等時，程序龐大，不能方便地追加檢查對象機(jī)型。
存在的另一課題是由于不能按不同機(jī)型分開記述程序，不能實(shí)現(xiàn)分散開發(fā)和并行開發(fā)，而且維護(hù)性能差。
存在的又一課題是由于不能按不同機(jī)型分開記述程序，并且難以分散開發(fā)和并行開發(fā)，實(shí)質(zhì)上難以進(jìn)行機(jī)型追加時的開發(fā)。
存在的又一課題是難以編制超過裝置最大存儲容量的程序，而且追加機(jī)型時需要重新連接個人計(jì)算機(jī)和檢查裝置，再次利用編程軟件下載包含追加部分的全部程序。
本發(fā)明是鑒于上述課題而完成的，其目在于得到一種程序執(zhí)行系統(tǒng)，可進(jìn)行分散開發(fā)和并行開發(fā)，避免每個程序龐大，并能有效且方便地追加檢查對象機(jī)型。
其目的還在于得到所述程序執(zhí)行系統(tǒng)用的編程系統(tǒng)、程序分析系統(tǒng)和程序管理系統(tǒng)以及具有程序執(zhí)行系統(tǒng)的檢查裝置、檢查裝置用程序編制系統(tǒng)和檢查裝置系統(tǒng)。

發(fā)明內(nèi)容
為了解決上述課題，本發(fā)明的程序執(zhí)行系統(tǒng)，具有保持編碼的第1程序的碼保持手段、展開碼保持手段保持的第1程序的存儲區(qū)、以及執(zhí)行在存儲區(qū)展開的第1程序的程序執(zhí)行手段；還具有將編碼的第2程序作為編碼文件存放的存儲手段；程序執(zhí)行手段包含將存儲手段中作為編碼文件存放的第2程序載入所述存儲區(qū)用的程序載入手段；程序執(zhí)行手段在執(zhí)行存儲區(qū)展開的第1程序的運(yùn)作中，響應(yīng)對存儲手段內(nèi)的第2程序的調(diào)用命令，將存儲手段內(nèi)的第2程序載入存儲區(qū)，并執(zhí)行第2程序。
根據(jù)本發(fā)明，從存儲手段讀出預(yù)先用編程軟件編制的編碼文件(第2程序)，載入存儲區(qū)，替換正在運(yùn)作的第1程序進(jìn)行運(yùn)作，從而可避免每個程序龐大而進(jìn)行分散開發(fā)和并行開發(fā)，并能有效且方便地追加檢查對象機(jī)型。


圖1是示出本發(fā)明實(shí)施方式1的程序執(zhí)行系統(tǒng)的框圖。
圖2是示出本發(fā)明實(shí)施方式1的程序執(zhí)行系統(tǒng)的框圖。
圖3是以圖解方式示出本發(fā)明實(shí)施方式1的機(jī)型選擇程序的說明圖。
圖4是示出本發(fā)明實(shí)施方式1的程序處理運(yùn)作的流程圖。
圖5是示出本發(fā)明實(shí)施方式2的程序執(zhí)行系統(tǒng)的框圖。
圖6是示出本發(fā)明實(shí)施方式2的程序處理運(yùn)作的流程圖。
圖7是示出本發(fā)明實(shí)施方式3的程序執(zhí)行系統(tǒng)關(guān)鍵部分的框圖。
圖8是示出本發(fā)明實(shí)施方式3的程序處理運(yùn)作的流程圖。
圖9是示出本發(fā)明實(shí)施方式4的程序執(zhí)行系統(tǒng)關(guān)鍵部分的框圖。
圖10是示出本發(fā)明實(shí)施方式4的程序處理運(yùn)作的流程圖。
圖11是示出本發(fā)明實(shí)施方式5的程序處理運(yùn)作的流程圖。
圖12是示出本發(fā)明實(shí)施方式6的程序執(zhí)行系統(tǒng)關(guān)鍵部分的框圖。
圖13是示出本發(fā)明實(shí)施方式6的程序處理運(yùn)作的流程圖。
圖14是示出本發(fā)明實(shí)施方式7的程序執(zhí)行系統(tǒng)關(guān)鍵部分的框圖。
圖15是示出本發(fā)明實(shí)施方式7的程序處理運(yùn)作的流程圖。
圖16是示出本發(fā)明實(shí)施方式8的程序執(zhí)行系統(tǒng)關(guān)鍵部分的框圖。
圖17是示出本發(fā)明實(shí)施方式8的程序處理運(yùn)作的流程圖。
圖18是示出本發(fā)明實(shí)施方式9的程序處理運(yùn)作的流程圖。
圖19是示出本發(fā)明實(shí)施方式10的程序執(zhí)行系統(tǒng)的框圖。
圖20是以圖解方式示出本發(fā)明實(shí)施方式10的配置信息的框圖。
圖21是示出本發(fā)明實(shí)施方式10的配置信息一致性校驗(yàn)處理運(yùn)作的流程圖。
圖22是示出本發(fā)明實(shí)施方式11的配置信息一致性校驗(yàn)處理運(yùn)作的流程圖。
圖23是示出本發(fā)明實(shí)施方式12的版本信息一致性校驗(yàn)處理運(yùn)作的流程圖。
圖24是示出本發(fā)明實(shí)施方式13的程序執(zhí)行系統(tǒng)的框圖。
圖25是示出本發(fā)明實(shí)施方式13的固件(F/W)版本信息一致性校驗(yàn)處理運(yùn)作的流程圖。
圖26是示出本發(fā)明實(shí)施方式14的程序執(zhí)行系統(tǒng)關(guān)鍵部分的框圖。
圖27是示出本發(fā)明實(shí)施方式14的配置信息出口處理的流程圖。
圖28是示出本發(fā)明實(shí)施方式14的配置信息入口處理的流程圖。
圖29是示出本發(fā)明實(shí)施方式15的程序執(zhí)行系統(tǒng)關(guān)鍵部分的框圖。
圖30是示出本發(fā)明實(shí)施方式15的配置信息鏈接處理的流程圖。
圖31是示出本發(fā)明實(shí)施方式16的程序執(zhí)行系統(tǒng)關(guān)鍵部分的框圖。
圖32是示出本發(fā)明實(shí)施方式16的程序分析處理的流程圖。
圖33是示出本發(fā)明實(shí)施方式17的程序執(zhí)行系統(tǒng)關(guān)鍵部分的框圖。
圖34是示出本發(fā)明實(shí)施方式17的程序管理處理的流程圖。
標(biāo)號說明1、1A、1B、1C、1D、1E、1F、1G、1H是檢查裝置，2是碼保持手段，3是存儲區(qū)，4、4A、4B、4C、4D、4E、4F、4G、4H是程序執(zhí)行手段，5、5A、5B、5C、5D、5E、5G、5H是程序載入手段，5F是程序上載手段，6D是存儲手段，7、7a、7b、7b’、7B”、7c是編碼文件，9、9a、9b、9A是編程軟件，10、10a、10b、10A、10B是程序，12是顯示與操作手段，13是程序執(zhí)行單元，14是裝置初始化信息，15是程序載入履歷保存手段，16是配置一致性校驗(yàn)手段，17、17a、17b、17c是配置信息，19是固件版本信息，20是出口手段，21是入口手段，22是配置信息鏈接手段，23是程序分析手段，24是分析結(jié)果顯示手段，25是程序管理手段，26是依賴關(guān)系顯示手段。
具體實(shí)施例方式
實(shí)施方式1圖1和圖2是連同編程系統(tǒng)一起、示出本發(fā)明實(shí)施方式1的程序執(zhí)行系統(tǒng)的框圖，與前所述相同，也示出用于檢查裝置1的情況。
在圖1和圖2中，檢查裝置1構(gòu)成智能檢查單元，包含CPU、接口和各種存儲器等。
檢查裝置1以個人計(jì)算機(jī)8內(nèi)的編程軟件9(參考圖1)、或編程軟件9a、9b(參考圖2)，利用使用者編制的第1或第2程序(下文分別簡稱為“程序”)10a、10b，進(jìn)行運(yùn)作。
這種場合，由檢查處理程序組成程序10a、10b。
具體地說，編程軟件9a、9b是編制程序10a、10b的手段(開發(fā)環(huán)境等)。
程序10a、10b具體由用戶編制的程序碼(源代碼)組成。
圖1中，程序10a例如由機(jī)型選擇程序(后面闡述)組成，程序10b例如由編碼文件“work 1.iup”的處理程序組成。
此外，圖2中，作為編制程序10a、10b用的編程軟件，在一臺個人計(jì)算機(jī)8內(nèi)示出多個編程軟件9a、9b，但各程序10a、10b也可如圖1那樣，用同一編程軟件9編制，還可用多臺個人計(jì)算機(jī)(未示出)內(nèi)的個體編程軟件編制。
檢查裝置1根據(jù)需要具有連接個人計(jì)算機(jī)8的碼保持手段2、連接碼保持手段2的存儲區(qū)3、連接存儲區(qū)3的程序執(zhí)行手段4、設(shè)在程序執(zhí)行手段4中的程序載入手段5和連接程序執(zhí)行手段4的顯示與操作手段12。
碼保持手段2由切斷裝置電源也能保持?jǐn)?shù)據(jù)的存儲器(快速擦寫ROM等)組成，存放編程軟件9、9a編制的成為主運(yùn)作程序的程序10a。
由通常的數(shù)據(jù)保持手段(RAM存儲器等)構(gòu)成存儲區(qū)3。
程序執(zhí)行手段4連接由硬盤或存儲卡等大容量數(shù)字?jǐn)?shù)據(jù)記錄媒體構(gòu)成的存儲手段6。
存儲手段6根據(jù)需要存放編程軟件9、9b編制的每一對象機(jī)型的檢測處理用的程序10b。
由編程軟件9(參考圖1)中的編碼文件產(chǎn)生手段11或編程軟件9b(參考圖2)中的編碼文件產(chǎn)生手段11b，對程序10b進(jìn)行編碼。
也就是說，在編程軟件9、9b中的開發(fā)環(huán)境(包含編碼文件產(chǎn)生手段11、11b)將用戶的編制程序10b編碼，形成編碼文件7b，并且從個人計(jì)算機(jī)8預(yù)先記錄到存儲手段6。
具體地說，編碼文件7b是在開發(fā)環(huán)境將用戶編制的程序10b編碼的文件。
這里，為了方便，僅示出1個編碼文件7b，但可根據(jù)檢查對象的機(jī)型數(shù)等，記錄滿足需要的任意數(shù)量的編碼文件7b。
還可根據(jù)需要，從外部添加或改變個體化的多個編碼文件7b(程序10b)。
而且，可將存儲手段6內(nèi)置于檢查裝置1中。
檢查裝置1中，程序執(zhí)行手段4由在CPU上運(yùn)作的程序(固件F/W)組成，分析并執(zhí)行用戶編制的程序10a或10b。
程序執(zhí)行手段4內(nèi)的程序載入手段5根據(jù)需要，從存儲手段6獲取編碼文件7b，在存儲區(qū)3上展開。
也就是說，程序執(zhí)行手段4將碼保持手段2內(nèi)的程序10a載入存儲區(qū)3，使其運(yùn)作，同時程序執(zhí)行手段2內(nèi)的程序載入手段5還響應(yīng)程序10a中的調(diào)用命令，在程序10a的運(yùn)作中將程序10b從存儲手段6載入存儲區(qū)3，使其運(yùn)作。
顯示與操作手段12構(gòu)成人機(jī)接口，具體地說，具有LCD和鍵盤等，對用戶進(jìn)行畫面顯示和鍵輸入受理等。
個人計(jì)算機(jī)8內(nèi)的編程軟件9、9a、9b按用戶的操作進(jìn)行工作，編制在檢查裝置1中運(yùn)作的程序10a、10b。
個人計(jì)算機(jī)8具有讀入程序10a并產(chǎn)生執(zhí)行碼用的開發(fā)環(huán)境，而且將執(zhí)行碼傳送到檢查裝置1內(nèi)的碼保持手段2。
用戶編制的程序10a的源代碼由個人計(jì)算機(jī)8內(nèi)的開發(fā)環(huán)境編譯成檢查裝置1中可執(zhí)行的形式，并且將編譯后的碼傳送到傳送到檢查裝置1，進(jìn)行運(yùn)作。
執(zhí)行碼在傳送到檢查裝置1前產(chǎn)生，并且在傳送后被刪除，因而用戶不能直接運(yùn)作執(zhí)行碼。
同樣，個人計(jì)算機(jī)8內(nèi)的開發(fā)環(huán)境也讀入程序10b，產(chǎn)生執(zhí)行碼，但程序10b的執(zhí)行碼根據(jù)編碼文件7b變換成用戶能運(yùn)作的編碼文件7b。
也就是說，編碼文件產(chǎn)生手段11、11b將開發(fā)環(huán)境內(nèi)的程序10b變換成編碼文件7b。
接著，說明圖2所示的本發(fā)明實(shí)施方式1的個人計(jì)算機(jī)8和檢查裝置1的概略運(yùn)作。
首先，將個人計(jì)算機(jī)8用電纜連接到檢查裝置1，把編程軟件9、9a編制的程序10a下載到檢查裝置1內(nèi)的碼保持手段2。
另一方面，編碼文件產(chǎn)生手段11、11b將編程軟件9、9b編制的程序10b編碼，作為編碼文件7b復(fù)制到存儲手段6內(nèi)。
檢查裝置1使個人計(jì)算機(jī)8將用戶編制的與檢查運(yùn)作有關(guān)的多個程序10a、10b編碼并預(yù)先加以保持，以在使用時連接到檢查裝置1。
檢查裝置1內(nèi)的程序執(zhí)行手段4在接通電源時，將碼保持手段2內(nèi)的程序10a展開在存儲區(qū)上，執(zhí)行程序10a的處理。
此外，程序執(zhí)行手段4內(nèi)的程序載入手段5在檢查裝置1上執(zhí)行程序10a的期間，從存儲手段6將對象機(jī)型檢查處理所需的程序10b載入檢查裝置1，在存儲區(qū)3上展開，并加以執(zhí)行。
這樣，程序執(zhí)行手段4在1個程序10a的執(zhí)行中，載入并執(zhí)行存儲手段6內(nèi)的另一個程序10b。
也就是說，從當(dāng)前正在運(yùn)作的程序10a發(fā)布對程序10b的編碼文件7b的調(diào)用命令時，在檢查裝置1內(nèi)的存儲區(qū)3(RAM)上展開存儲手段6內(nèi)指定的編碼文件7b。
其結(jié)果，將檢查裝置1上當(dāng)前在運(yùn)作的程序10a替換成程序10b，并執(zhí)行程序10b的處理。
圖3是以圖解方式示出碼保持手段2存放的程序10a的具體例子的說明圖，將機(jī)型選擇程序的情況作為例子示出。
圖3中，程序10a(機(jī)型選擇程序)從“開始”啟動編碼，根據(jù)選擇門電路指定的裝置(存儲器)的值“DS0”指定應(yīng)從存儲手段6載入的編碼文件DS0(“1”～“4”或“Def(其它)”)。
這里，設(shè)在存儲手段6記錄與5種機(jī)型對應(yīng)的5種編碼文件(work 1.iup～work 5.iup)。
例如，指定裝置為“DS0＝1”時，在程序執(zhí)行手段4執(zhí)行命令“IUP LOAD(載入)”，由程序載入手段5從存儲手段6載入文件名“work 1.iup”的編碼文件。
指定裝置為“DS0＝2”時，在程序執(zhí)行手段4執(zhí)行命令“IUP LOAD(載入)”，由程序載入手段5從存儲手段6載入文件名“work 2.iup”的編碼文件。
在指定裝置1、2、3和4均非DS0時，在程序執(zhí)行手段4執(zhí)行命令“IUPLOAD(載入)”，由程序載入手段5從存儲手段6載入文件名“work 5.iup”的編碼文件。
接著，參照圖4的流程圖，具體說明本發(fā)明實(shí)施方式1的處理運(yùn)作。
圖4中，首先，將編程軟件9、9b產(chǎn)生的程序10b的編碼文件7b(1個或多個文件)存放到存儲手段6，并將存儲手段6裝入檢查裝置1(步驟S1)。
接著，將個人計(jì)算機(jī)8連接到檢查裝置1，給記述對存儲手段6內(nèi)的編碼文件7b的調(diào)用命令的程序10a提供來自編程軟件9、9a的下載命令，利用下載命令將程序10a編碼，并將程序10a的編碼數(shù)據(jù)下載到碼保持手段2(步驟S2)。
其次，在檢查裝置1第2次啟動時，程序執(zhí)行手段4將寫入到碼保持手段2的數(shù)據(jù)在存儲區(qū)3上展開，并響應(yīng)用戶利用顯示與操作手段12的操作，啟動程序10a的運(yùn)作(步驟S3)。
接著，判斷是否從運(yùn)作中的程序10a發(fā)布對編碼文件7b的調(diào)用命令(步驟S4)，判斷為未發(fā)布調(diào)用命令(即“否”)，則接著判斷是否從運(yùn)作中的程序10a發(fā)布運(yùn)作結(jié)束命令(步驟S5)。
步驟S5中判斷為發(fā)布運(yùn)作結(jié)束命令(即“是”)，則結(jié)束運(yùn)作(步驟S7)，反之，判斷為未發(fā)布運(yùn)作結(jié)束命令(即“否”)，則程序執(zhí)行手段4繼續(xù)執(zhí)行運(yùn)作中的程序發(fā)布的命令(步驟S6)后，返回步驟S4。
反之，步驟S4中判斷為發(fā)布對編碼文件7b的調(diào)用命令(即“是”)，則程序載入手段5將存儲手段6內(nèi)的編碼文件7b在存儲區(qū)3上展開，與檢查裝置1上當(dāng)前正在運(yùn)作的程序互換(步驟S8)。
最后，程序執(zhí)行手段4響應(yīng)檢查裝置1內(nèi)的顯示與操作手段12的操作，啟動替換后的程序10b的運(yùn)作(步驟S9)。
此外，也可使載入替換后的程序10b自動啟動。
這樣，本發(fā)明實(shí)施方式1的程序執(zhí)行系統(tǒng)，具有保持編碼的程序10a的碼保持手段2、將與程序10a關(guān)聯(lián)的程序10b作為編碼文件7b存放的存儲手段6、展開成為執(zhí)行對象的程序的存儲區(qū)3、執(zhí)行程序10a和10b用的程序執(zhí)行手段4、以及根據(jù)需要將程序10b載入存儲區(qū)3用的程序載入手段5，程序載入手段5在程序10a的運(yùn)作中，響應(yīng)對程序10b的調(diào)用命令，將程序10b從存儲手段3載入存儲區(qū)3。
由此，不是將程序匯總到單一文件，而是產(chǎn)生多個例如機(jī)型不同的編碼文件7b后，將這些文件存放到存儲手段6，從而能在需要時自由調(diào)用需要的編碼文件7b，使其運(yùn)作。
因此，可進(jìn)行程序10b的分散開發(fā)和并行開發(fā)，避免程序10a龐大，同時還能提高各程序10a、10b的執(zhí)行碼的獨(dú)立性。
而且，能避免已有系統(tǒng)中匯總在單一文件造成的程序龐大。
又由于能在與檢查裝置1分開的個人計(jì)算機(jī)8上按不同機(jī)型記述程序10b，可進(jìn)行分散開發(fā)和并行開發(fā)，能按不同機(jī)型獨(dú)立記述程序10b，可將對已運(yùn)作的部分的影響抑制到最小。
這里，具體地補(bǔ)充說明本實(shí)施方式1的效果。
根據(jù)本發(fā)明實(shí)施方式1，例如在產(chǎn)品A的檢查項(xiàng)目為200項(xiàng)時，2個用戶能分開來開發(fā)各100項(xiàng)的程序。
這時，成為開發(fā)對象的程序預(yù)先分散成前半部100項(xiàng)和后半部的100項(xiàng)，將前半部的100項(xiàng)檢查處理作為程序10a存放在碼保持手段2內(nèi)，將后半部的100項(xiàng)檢查處理作為程序10b存放在存儲手段6。
其結(jié)果，在前半部的100項(xiàng)檢查處理結(jié)束的時刻，使執(zhí)行后半部的100項(xiàng)檢查處理的程序10b得以執(zhí)行，從而能執(zhí)行總共200項(xiàng)的檢查處理。
碼保持手段2的容量小的情況下，也可通過將200項(xiàng)程序劃分成各100項(xiàng)的2個程序，進(jìn)行運(yùn)作。
可在需要時每次調(diào)用需要的編碼文件7b，在檢查裝置1內(nèi)的存儲區(qū)(RAM)上展開，使其替換檢查裝置1上當(dāng)前正在運(yùn)作的程序10a，進(jìn)行運(yùn)作，因而即便是匯總到單一文件時大小超過碼保持手段2的最大存儲容量的程序，也可通過劃分成例如不同機(jī)型的編碼文件7b(程序10b)，使程序在檢查裝置1上運(yùn)作。
已有系統(tǒng)中，例如在產(chǎn)品A的檢查程序追加檢查產(chǎn)品B的功能時，對產(chǎn)品A的檢查程序補(bǔ)充產(chǎn)品B的檢查程序，并進(jìn)行編譯后，傳送到檢查裝置1，但這時，原來在運(yùn)作的產(chǎn)品A的程序也追加產(chǎn)品B的程序用的修改，因而必須執(zhí)行運(yùn)作確認(rèn)，花費(fèi)工夫。
然而，根據(jù)本發(fā)明實(shí)施方式1(參考圖1、圖2)的程序執(zhí)行系統(tǒng)，其中設(shè)置保持編碼的程序10a的碼保持手段2、展開碼保持手段2保持的程序10a的存儲區(qū)3、執(zhí)行存儲區(qū)3上展開的程序10a的程序執(zhí)行手段4、以及將編碼的程序10b作為編碼文件7b存放的存儲手段6(硬盤、或存儲卡等)，程序執(zhí)行手段4具有將存儲手段6中作為編碼文件7b存放的程序10b載入存儲區(qū)3用的程序載入手段5。
由此，程序執(zhí)行手段4在執(zhí)行存儲區(qū)3上展開的程序10a的運(yùn)作中，響應(yīng)對存儲手段6內(nèi)的程序10b的調(diào)用命令，將存儲手段6內(nèi)的編碼文件7b(程序10b)載入存儲區(qū)3，從而能執(zhí)行程序10b。
因此，如圖3所示，記述選擇執(zhí)行哪一機(jī)型的檢查處理用的機(jī)型選擇程序，所以能提高方便性。
例如檢查裝置1處理產(chǎn)品A時，在碼保持手段2內(nèi)存放圖3的機(jī)型選擇程序，在存儲手段6存放產(chǎn)品A的檢查程序。該檢查裝置1追加產(chǎn)品B的檢查功能時的更改運(yùn)作為對圖3的機(jī)型選擇程序添加產(chǎn)品B的分支，以及將產(chǎn)品B的檢查程序的編碼文件7b存放到存儲手段6。
因此，僅用以上2項(xiàng)更改運(yùn)作就能實(shí)現(xiàn)機(jī)型追加，因而不必修改產(chǎn)品A的檢查程序，也不必校驗(yàn)其工作。
實(shí)施方式2上述實(shí)施方式1僅將與每一機(jī)型對應(yīng)的程序10b的編碼文件7b存放到存儲手段6，但只有程序10b執(zhí)行后重新啟動檢查裝置1，才能返回主處理用的程序10a。
因此，可做成在程序10b記述對程序10a的調(diào)用命令，同時還將程序10a的編碼文件7a補(bǔ)充存放到存儲手段6。
圖5是示出將程序10a的編碼文件7a補(bǔ)充存放到存儲手段6的本發(fā)明實(shí)施方式2的程序執(zhí)行系統(tǒng)的框圖。
圖5中，與上文所述(參考圖1、圖2)相同的部分標(biāo)注與上文所述相同的標(biāo)號，或在標(biāo)號后添加“A”，并省略詳細(xì)說明。
這時，個人計(jì)算機(jī)8內(nèi)的編程軟件9、9a利用編碼文件產(chǎn)生手段11、11a將下載到檢查裝置1A的程序10a編碼，并且將程序10a的編碼文件7a預(yù)先復(fù)制到存儲手段6。
另一方面，在程序10b的末尾記述從存儲手段6載入程序10a的編碼文件7a用的調(diào)用命令。
接著，參考圖6的流程圖，說明圖5所示本發(fā)明實(shí)施方式2的運(yùn)作。
圖6中，步驟S1A、S2、S3A～S9A分別對應(yīng)于上述(參考圖4)步驟S1～S9。
首先，產(chǎn)生記述對程序10b的調(diào)用命令的程序10a的編碼文件7a、以及記述對程序10a的調(diào)用命令的程序10b的編碼文件7b，存放到存儲手段6，并將存儲手段6裝入檢查裝置1A(步驟S1A)。
接著，給程序10a提供來自編程軟件9、9a的下載命令，利用下載命令將對程序10a編碼后得到的數(shù)據(jù)下載到碼保持手段2(步驟S2)。
其次，在檢查裝置1A啟動時，將寫入到碼保持手段2的數(shù)據(jù)在存儲區(qū)3上展開，并響應(yīng)用戶利用顯示與操作手段12的操作，啟動程序10a的運(yùn)作(步驟S3A)。
接著，判斷是否從運(yùn)作中的程序(首先是程序10a)發(fā)布編碼文件(首先是編碼文件7b)的調(diào)用命令(步驟S4A)，判斷為未發(fā)布調(diào)用命令(即“否”)，則接著判斷是否從運(yùn)作中的程序發(fā)布運(yùn)作結(jié)束命令(步驟S5A)。
步驟S5A中判斷為發(fā)布運(yùn)作結(jié)束命令(即“是”)，則結(jié)束當(dāng)前正在執(zhí)行的程序的運(yùn)作(步驟S7A)，反之，判斷為未發(fā)布運(yùn)作結(jié)束命令(即“否”)，則程序執(zhí)行手段4A繼續(xù)執(zhí)行運(yùn)作中的程序發(fā)布的命令(步驟S6A)后，返回步驟S4A。
反之，步驟S4A中判斷為運(yùn)作中的程序(首先是程序10a)發(fā)布對編碼文件(首先是編碼文件7b)的調(diào)用命令(即“是”)，則程序載入手段5A將存儲手段6內(nèi)的編碼文件7b(程序10b)在存儲區(qū)3上展開，與檢查裝置1上當(dāng)前正在運(yùn)作的程序10a互換(步驟S8A)。
又，響應(yīng)檢查裝置1A內(nèi)的顯示與操作手段12的操作，啟動替換后的程序10b的運(yùn)作(步驟S9A)后，返回步驟S4A。
也可構(gòu)成使程序10b自動啟動。
其后，在替換后的程序10b的運(yùn)作中，執(zhí)行與上文所述相同的處理(步驟S4A～S9A)。
也就是說，在運(yùn)作中的程序10b的末尾判斷是否發(fā)布對編碼文件7a的調(diào)用命令(步驟S4A)，如果發(fā)布調(diào)用命令，就從存儲手段6載入編碼文件7a(程序10a)(步驟S8A)，執(zhí)行程序10a的處理運(yùn)作(步驟S9A)后，返回步驟S4A。
這樣，本發(fā)明實(shí)施方式2(參考圖5、圖6)的程序執(zhí)行手段4A常掌握各程序10a、10b的調(diào)用關(guān)系，在程序10b的運(yùn)作中響應(yīng)對程序10b內(nèi)的末尾記述的程序10a的調(diào)用命令，從存儲手段6將程序10a載入存儲區(qū)10a。
上述實(shí)施方式1(參考圖1～圖4)中，從碼保持手段2保存的程序10a調(diào)用存儲手段6保存的編碼文件7b時，只有重新啟動檢查裝置1，才能返回碼保持手段2保存的程序10a。
然而，本發(fā)明實(shí)施方式2的存儲手段6除程序10b外，還將程序10a(或其它程序)作為編碼文件7a加以存放。
因此，程序執(zhí)行手段4A在執(zhí)行存儲區(qū)3上展開的程序10a的運(yùn)作中，響應(yīng)對存儲手段6內(nèi)的程序10b的調(diào)用命令，將存儲手段6內(nèi)的編碼文件7b(程序10b)載入存儲區(qū)3，執(zhí)行程序10b，并且在執(zhí)行程序10b的運(yùn)作中，響應(yīng)對存儲手段6內(nèi)的程序10a(或其它程序)的調(diào)用命令，將存儲手段6內(nèi)的編碼文件7a(程序10a)載入存儲區(qū)3，從而能執(zhí)行程序10a(或其它程序)。
這時，程序執(zhí)行手段4A常掌握程序10a、10b的調(diào)用關(guān)系，不僅在碼保持手段2保存程序10a，而且在存儲手段6保存利用編碼文件產(chǎn)生手段11、11a變換的編碼文件7a，從而檢查裝置1A啟動，使程序10a運(yùn)作，進(jìn)而使程序10b運(yùn)作后，能執(zhí)行原來的程序10a。
也就是說，程序執(zhí)行手段4A在程序10b的運(yùn)作中，響應(yīng)對程序10a的調(diào)用命令，從存儲手段6將程序10a載入存儲區(qū)3。
由此，在檢查裝置1A啟動后，從程序10a調(diào)用程序10b的編碼文件7b，并執(zhí)行程序10b的情況下，如果程序10b的末尾記述對程序10a的編碼文件7a的調(diào)用命令，就能在程序10b結(jié)束時自動重新返回程序10a。
例如，上文所述(參考圖3)那樣將程序10a取為僅執(zhí)行機(jī)型選擇(調(diào)用指定的編碼文件7b)用的程序，從而在補(bǔ)充程序10b以進(jìn)行機(jī)型追加等的情況下，僅通過產(chǎn)生追加部分的程序10b的編碼文件7b，存放到存儲手段6，同時還補(bǔ)充可指定追加部分的編碼文件7b的記述作為程序10a的更改操作，就能方便地追加機(jī)型。
在程序10a用于選擇機(jī)型時，不是程序10a中直接指定而是間接指定程序10a記述的機(jī)型選擇(指定編碼文件7b)的情況下，追加機(jī)型時完全不必更改程序10a。
因此，不必每次追加機(jī)型用電纜連接個人計(jì)算機(jī)8和檢查裝置1A，并從編程軟件9、9a再次將程序10a下載到檢查裝置1A。
圖3那樣構(gòu)成程序10a時，處理根據(jù)DS0裝置的值(“1”～“4”、“Def”)轉(zhuǎn)移，并啟動預(yù)先指定的文件(“work 1.iup”～“work 5.iup”)，但可根據(jù)期望的程序，從顯示與操作手段12輸入文件名，并載入對象文件。
執(zhí)行這種程序記述時，不必修改機(jī)型選擇程序，因而方便性進(jìn)一步提高。
此外，能方便地取得程序10a、10b的關(guān)系，可縮短加載時間，并且可靠地執(zhí)行程序10a、10b的讀出處理。
上述例子中，取為在程序10b的末尾記述從存儲手段6載入程序10a的編碼文件7a用的調(diào)用命令。
由此，程序執(zhí)行手段4A能在程序10b的運(yùn)作中，響應(yīng)程序10b末尾記述的對程序10a的調(diào)用命令，從存儲手段6將程序10a載入存儲區(qū)3。
同樣，也可在程序10b的末尾記述從碼保持手段2載入程序10a用的調(diào)用命令。
這時，程序執(zhí)行手段4A能在程序10b的運(yùn)作中，響應(yīng)程序10b內(nèi)的末尾記述的對程序10a的調(diào)用命令，從碼保持手段2將程序10a載入存儲區(qū)3。
實(shí)施方式3上述實(shí)施方式1、2中，成批執(zhí)行編碼文件7b(程序10b)載入存儲區(qū)3的處理，但也可按編碼文件7b內(nèi)的主程序流單元(程序執(zhí)行單元)執(zhí)行載入處理。
圖7是示出按主程序流單元執(zhí)行載入處理的本發(fā)明實(shí)施方式3的程序執(zhí)行系統(tǒng)關(guān)鍵部分的框圖。
圖7中，與上文所述(參考圖2)相同的部分標(biāo)注與上文所述相同的標(biāo)號，或在標(biāo)號后添加“B”，并省略詳細(xì)說明。
這種場合，程序執(zhí)行手段4B內(nèi)的程序載入手段5B按編碼文件7b內(nèi)的程序執(zhí)行單元13(主程序流單元)執(zhí)行編碼文件7b(程序10b)的載入處理。
程序執(zhí)行單元13是編碼文件7b(程序10b)包含的執(zhí)行程序段，具體由IU開發(fā)程序內(nèi)的流程圖組成。
這里，代表性地示出1個程序執(zhí)行單元13，但1個程序10b中包含多個執(zhí)行程序段(流程圖)，也就是包含多個程序執(zhí)行單元13。
接著，參照圖8的流程圖，說明圖7所示本發(fā)明實(shí)施方式3的運(yùn)作。
圖8中，首先，程序載入手段5B啟動程序的載入(步驟S10)。
這時，指定僅讀出成為載入對象的程序執(zhí)行單元13(指定流程圖)。
接著，進(jìn)行僅對編碼文件7b內(nèi)的指定流程圖的讀入(步驟S11)。
這樣，程序載入手段5在程序10b的載入處理時，按程序10b內(nèi)要執(zhí)行的程序執(zhí)行單元13(主程序流單元)進(jìn)行讀入，而不讀入全部程序10b。
由此，使讀入數(shù)據(jù)量減少，因而能縮短切換檢查機(jī)型需要的時間。
也就是說，本發(fā)明實(shí)施方式3(參考圖7、圖8)的程序執(zhí)行手段4B在執(zhí)行存儲區(qū)3上展開的程序的運(yùn)作中，響應(yīng)對作為編碼文件7b(或其它編碼文件)存放在存儲手段6的程序中的程序執(zhí)行單元13(相當(dāng)?shù)膱?zhí)行部分)的調(diào)用命令，從存儲手段6存放的程序中將與相當(dāng)?shù)膱?zhí)行部分對應(yīng)的程序執(zhí)行單元13載入存儲區(qū)3，并執(zhí)行程序執(zhí)行單元13。
因此，除取得可分散開發(fā)和并行開發(fā)，避免程序龐大，并且提高執(zhí)行碼獨(dú)立性的上述效果外，還能縮短加載時間。
實(shí)施方式4上述實(shí)施方式1未考慮對檢查裝置1內(nèi)的裝置(存儲器)的初始化信息，但結(jié)構(gòu)上也可做成通過在程序10b中包含裝置初始化信息，使程序10b載入時根據(jù)裝置初始化信息，按需要對裝置進(jìn)行初始化。
圖9是示出在編碼文件7b(程序10b)內(nèi)設(shè)置裝置初始化信息14的本發(fā)明實(shí)施方式4的程序執(zhí)行系統(tǒng)的關(guān)鍵部分的框圖。
圖9中，與上文所述(參考圖1、圖2)相同的部分標(biāo)注與與上文所述相同的標(biāo)號，或在標(biāo)號后添加“C”，并省略詳細(xì)說明。
這種場合，編碼文件7b(程序10b)包含表示是否有執(zhí)行對檢查裝置1C內(nèi)的裝置的初始化的裝置初始化信息14。
這里，代表性地僅示出裝置初始化信息14，但編碼文件7b也可包含裝置以外的其它初始化信息。
程序載入手段5C在載入程序10b時，根據(jù)裝置初始化信息14按需要執(zhí)行初始化。
裝置初始化信息14中設(shè)定編碼文件7b(程序10b)載入時是否執(zhí)行檢查裝置1C的初始化的、添加到編碼文件7b中的信息。
接著，參照圖10的流程圖，說明圖9所示本發(fā)明實(shí)施方式4的運(yùn)作。
圖10中，步驟S10是與上文所述(參考圖8)相同的載入處理。
首先，程序載入手段5C啟動程序10b的載入(步驟S10)，根據(jù)裝置初始化信息14判斷是否執(zhí)行檢查裝置1C內(nèi)的裝置初始化(步驟S12)。
步驟S12中判斷為不執(zhí)行初始化(即“否”)，則立即讀入指定程序(步驟S13)，反之，判斷為執(zhí)行初始化(即“是”)，則使裝置初始化后(步驟S14)，讀入指定程序(步驟S13)。
例如，從程序執(zhí)行手段4C執(zhí)行程序10a的狀態(tài)載入并執(zhí)行程序10b時，在程序10a與程序10b之間沒有數(shù)據(jù)交接的情況下，不必保持裝置內(nèi)容，因而根據(jù)裝置初始化信息14，使檢查裝置1C內(nèi)的裝置初始化。
反之，程序10a與程序10b之間有數(shù)據(jù)交接時，需要保持裝置內(nèi)容，因而不執(zhí)行裝置的初始化處理。
由此，能繼承上次的檢查其結(jié)果，用于后續(xù)步驟。例如，能在程序10b原樣繼承程序10a中表示“良好/不好”的判斷數(shù)據(jù)，繼續(xù)進(jìn)行檢查處理。
綜上所述，根據(jù)本發(fā)明實(shí)施方式4(參考圖9、圖10)，程序10b包含對檢查裝置1C(程序執(zhí)行系統(tǒng))的裝置初始化信息14，并且程序載入手段5C在從存儲手段6載入程序10b時，根據(jù)裝置初始化信息14，按需要使檢查裝置1C內(nèi)的裝置初始化。因此，載入程序10b時，能選擇是否要初始化處理，并根據(jù)需要自動執(zhí)行初始化處理。
實(shí)施方式5上述實(shí)施方式1～4中，以存儲手段6內(nèi)存在編碼文件7b為前提進(jìn)行了說明，但也可在載入編碼文件7b時，校驗(yàn)是否有編碼文件7b。
下面，說明設(shè)置校驗(yàn)是否有編碼文件7b的功能的本發(fā)明實(shí)施方式5的程序執(zhí)行系統(tǒng)。
這種場合，程序執(zhí)行手段4和程序載入手段5(例如參考圖1、圖2)在載入程序10b(或程序10a)時，校驗(yàn)是否有程序10b(或程序10a)，不存在應(yīng)答調(diào)用命令的程序時，執(zhí)行出錯處理(輸出出錯碼)。
下面，參照圖11的流程圖說明本發(fā)明實(shí)施方式5的運(yùn)作。
圖11中，步驟S10是與上文所述(參考圖8、圖10)相同的載入處理。這里，舉載入存儲手段6內(nèi)的程序10b的情況為例進(jìn)行說明。
首先，啟動程序10b的載入(步驟S10)，并判斷是否存在編碼文件7b(步驟S14)。
步驟S14中判斷為存在編碼文件7b(即“是”)，則讀入編碼文件7b(步驟S15)。
反之，步驟S14中判斷為不存在編碼文件7b(即“否”)，則在顯示與操作手段12的畫面上顯示不存在編碼文件7b(步驟S16)。
利用互聯(lián)網(wǎng)等的通信通知其它裝置(步驟S17)，并將出錯碼輸出到檢查裝置1內(nèi)的裝置(步驟S18)，使運(yùn)作停止(步驟S19)。
關(guān)于步驟S16～S18，可僅執(zhí)行某一處理，或僅執(zhí)行某2個處理，不必執(zhí)行全部處理。
這樣，程序執(zhí)行手段4在載入程序10b時，不存在成為對象的編碼文件7b的情況下，停止檢查裝置1的運(yùn)作，同時還進(jìn)行利用畫面顯示的出錯通知、利用通信的通知或?qū)z查裝置1內(nèi)的裝置的出錯碼寫入。
從存儲手段6載入程序10a時也相同。
如圖11所示，本發(fā)明實(shí)施方式5的程序執(zhí)行手段在程序載入手段從存儲手段6載入規(guī)定程序時，確認(rèn)存儲手段6中是否存在規(guī)定程序，并且在存儲手段6內(nèi)不存在應(yīng)答調(diào)用命令的規(guī)定程序時，輸出出錯碼。
由此，除取得上述效果外，還具有以下效果能執(zhí)行程序載入時的出錯處理，在載入時不存在相應(yīng)的程序的狀態(tài)下，避免欠妥的運(yùn)作，同時還提高識別停止的原因的方便性。
實(shí)施方式6上述實(shí)施方式1～5中，作為程序載入時的對象的存儲手段6，設(shè)想一種記錄媒體(存儲卡等)進(jìn)行了說明，但也可將多個不同的記錄媒體(例如存儲卡和硬盤等)作為程序載入時的對象。
圖12是示出將多個存儲手段6、6D作為程序載入時的對象的本發(fā)明實(shí)施方式6的程序執(zhí)行系統(tǒng)關(guān)鍵部分的框圖。
圖12中，對與上文所述(參考圖2)相同的部分標(biāo)注與上文所述相同的標(biāo)號，或者在標(biāo)號后添加“D”或“’”，并省略詳細(xì)說明。
這種場合，與各程序?qū)?yīng)的編碼文件7b、7b’包含分別存放該文件的存儲手段6、6D相關(guān)的的讀入處信息。
檢查裝置1D內(nèi)的程序執(zhí)行手段4D和程序載入手段5D根據(jù)成為載入對象的編碼文件7b、7b’內(nèi)的讀入處信息分別改變各程序的讀入處。
接著，參照圖13的流程圖說明圖12所示本發(fā)明實(shí)施方式6的運(yùn)作。
這里，代表性地說明將與程序10b對應(yīng)的編碼文件7b取為載入對象的情況。設(shè)存儲手段6是存儲卡，存儲手段6’是硬盤(HDD)。
圖13中，首先，啟動成為載入對象的編碼文件7b(程序10b)的載入(步驟S10)，參照成為對象的編碼文件7b內(nèi)的讀入處信息判斷是否從存儲卡(存儲手段6)進(jìn)行載入的狀態(tài)(步驟S20)。
步驟S20中判斷為從存儲卡進(jìn)行載入的狀態(tài)(即“是”)，則識別為讀入處是存儲卡(存儲手段6)，并且從存儲卡讀入編碼文件(步驟S21)。
反之，步驟S20中判斷為不是從存儲卡進(jìn)行載入的狀態(tài)(即“否”)，則識別為讀入處是硬盤(HDD)，并且從網(wǎng)絡(luò)上的HDD讀入編碼文件(步驟S22)。
這里，說明了從2個存儲手段6、6D中指定讀入處的情況，但檢查裝置1D也可連接不少于3個的存儲手段。
這樣，本發(fā)明實(shí)施方式6(參考圖12、圖13)中，使用對規(guī)定程序(編碼文件7b或7b’)的調(diào)用命令的程序包含存放響應(yīng)調(diào)用命令的規(guī)定程序的存儲手段6或6D相關(guān)的的讀入處信息，并且程序執(zhí)行手段4D根據(jù)讀入處信息分別改變規(guī)定程序的讀入處。
由此，可根據(jù)讀入處信息指定載入處(讀入處)，所以能自動切換成為對象的存儲手段6、6D。
因此，選擇適應(yīng)機(jī)型的編碼文件7b、7b’的幅度寬，能指定網(wǎng)絡(luò)上的硬盤(HDD)等存儲手段6D內(nèi)的編碼文件7b’。
而且，不必前往其它裝置的設(shè)置現(xiàn)場進(jìn)行編碼文件替換運(yùn)作等，就能實(shí)現(xiàn)程序的改變。
根據(jù)本發(fā)明實(shí)施方式6，除上文所述的效果外，還能可靠地執(zhí)行程序(編碼文件7b或7b’)的讀出處理。
實(shí)施方式7上述實(shí)施方式1～6中，雖然沒有專門談到，但也可在程序載入時保存載入履歷信息。
圖14是示出構(gòu)成可保存載入履歷信息的本發(fā)明實(shí)施方式7的程序執(zhí)行系統(tǒng)關(guān)鍵部分的框圖。
圖14中，與上文所述(參考圖2)相同的部分標(biāo)注與上文所述相同的標(biāo)號，或者在標(biāo)號后添加“E”，并省略詳細(xì)說明。
這種場合，檢查裝置1E內(nèi)的程序執(zhí)行手段4E具有程序載入履歷保存手段15。
程序載入履歷保存手段15獲取并保存有關(guān)編碼文件7b(程序10b)的載入履歷。
例如，程序載入履歷保存手段15按時間序列保存運(yùn)作的項(xiàng)目(程序10b或編碼文件7b)的履歷、編碼文件7b(程序10b)載入時改變的程序名等。
這里，代表性地示出載入編碼文件7b(程序10b)的情況，但也可用于載入上述(參考圖5)編碼文件7a(程序10a)的情況。
接著，參考圖15的流程圖，說明圖14所示本發(fā)明實(shí)施方式7的運(yùn)作。
圖15中，首先，程序載入手段5E啟動程序10b的載入(步驟S10)后，程序載入履歷保存手段15保存程序10b的載入履歷(具體為載入的“文件名”)(步驟S24)。
接著，啟動下一程序10b’的載入時(步驟S10A)，同樣，程序載入履歷保存手段15也保存下一程序10b’的載入履歷(步驟S24A)。
其后，每次啟動程序10b的載入，重復(fù)同樣的載入處理和載入履歷保存處理。
由此，例如按程序A→程序B→程序C……的方式依次載入程序10b、10b’……時，程序載入履歷保存手段15中保存程序A、程序B、程序C……。
這樣，本發(fā)明實(shí)施方式7(參考圖14、圖15)的程序執(zhí)行手段4B包含程序載入履歷保存手段15，并且程序載入履歷保存手段15響應(yīng)與存儲手段6內(nèi)的規(guī)定程序(例如編碼文件7b)對應(yīng)的調(diào)用命令，在程序執(zhí)行手段4E將存儲手段6內(nèi)的規(guī)定程序載入存儲區(qū)3加以執(zhí)行時，把載入規(guī)定程序的事件作為載入履歷進(jìn)行保存。
由此，在發(fā)生欠妥時，有利于調(diào)查成為欠妥源的程序是哪個，并且在發(fā)生出錯停機(jī)時的情況下接著啟動時，有利于規(guī)定從哪個程序啟動。
又能通過參考載入履歷，識別檢查哪種機(jī)型。
還能容易獲取程序的調(diào)用關(guān)系。
實(shí)施方式8上述實(shí)施方式1～7中僅對程序(項(xiàng)目)的載入處理進(jìn)行了說明，但也可從檢查裝置將程序(項(xiàng)目)上載到存儲手段。
圖16是示出在程序執(zhí)行手段4F設(shè)置上載功能的本發(fā)明實(shí)施方式8的程序執(zhí)行系統(tǒng)關(guān)鍵部分的框圖。
圖16中，與上文所述(參考圖2)相同的部分標(biāo)注與上文所述相同的標(biāo)號，或者在標(biāo)號后添加“F”，并省略詳細(xì)說明。
這種場合，檢測裝置1F內(nèi)的程序執(zhí)行手段4F具有程序上載手段5F。
程序上載手段5F將存儲區(qū)3上展開的程序10a或10b變換成編碼文件7c后，復(fù)制到存儲手段6。
程序上載手段5F可包含上述程序載入手段5～5E的功能，也可與程序載入手段5～5E分開設(shè)置。
作為存儲手段6，可連接不同的多個記錄媒體(PC卡、HDD等)。
接著，參考圖17的流程圖說明圖16所示的本發(fā)明實(shí)施方式8的運(yùn)作。
圖17中，首先，程序上載手段5F啟動在存儲區(qū)3上展開并正在執(zhí)行的程序的上載(步驟S25)后，判斷成為上載對象的程序的保存處指定是PC卡還是HDD(硬盤)(步驟S26)。
步驟S26中判斷為保存處指定是PC卡(即“是”)，則將編碼文件7c(程序)保存到成為存儲手段6的PC卡(步驟S27)。
反之，步驟S26中判斷為保存處指定不是PC卡(即“否”)，則將編碼文件7c(程序)保存到成為存儲手段6的HDD(步驟S28)。
這樣，本發(fā)明實(shí)施方式8(參考圖16、圖17)的程序執(zhí)行手段4F包含程序上載手段5F，并且程序上載手段5F將檢查裝置1F內(nèi)程序執(zhí)行手段4F正在執(zhí)行的程序上載到存儲手段6。
由此，能將正在執(zhí)行的程序保存在存儲手段6，并且作為上載時的保存處，能指定在PC卡或HDD。關(guān)于HDD，可以是連接網(wǎng)絡(luò)的HDD。
在檢查裝置1F運(yùn)轉(zhuǎn)期間調(diào)整標(biāo)準(zhǔn)值時，一般失去與原數(shù)據(jù)的一致性，但根據(jù)本發(fā)明實(shí)施方式8，能更新并保存程序的原文件，因而具有不必對原文件分別反映標(biāo)準(zhǔn)值調(diào)整的優(yōu)點(diǎn)。
實(shí)施方式9上述實(shí)施方式8僅執(zhí)行程序上載，但也可在上載的程序中添加應(yīng)用版本信息(下文簡稱為“版本信息”)。
應(yīng)用是指用戶根據(jù)檢查對象用編程軟件9(或9a、9b)編制的程序。
圖18是示出本發(fā)明實(shí)施方式9的程序執(zhí)行系統(tǒng)的運(yùn)作的流程圖。
圖18中，與上文所述(參考圖17)的不同點(diǎn)僅為在啟動上載(步驟S25)后，接著補(bǔ)充版本信息添加處理(步驟S25A)。
本發(fā)明實(shí)施方式9的系統(tǒng)組成如圖16所示，不同點(diǎn)僅為程序上載手段5F具有上載時的版本信息管理功能和版本信息添加功能。
這種場合，程序上載手段5F(參考圖16)對上載到存儲手段6的程序添加版本信息。
接著，參考圖18說明本發(fā)明實(shí)施方式8的運(yùn)作。
首先，程序上載手段5F啟動程序上載(步驟S25)后，對上載的程序添加版本信息(步驟S25A)。
其后，與上文所述相同，也判斷程序的保存處指定(步驟S26)，并將程序保存到PC卡或HDD(步驟S27、S28)。
這樣，本發(fā)明實(shí)施方式9的程序執(zhí)行手段在程序上載手段5F(參考圖16)對存儲手段6上載程序時，對上載到存儲手段6的程序(正在執(zhí)行的程序)添加版本信息。
例如，上述(參考圖16、圖17)實(shí)施方式8在程序(項(xiàng)目)上載時更新原文件，但以后觀察時不能判別是更改前的文件還是更改后的文件。
然而，根據(jù)本發(fā)明實(shí)施方式9(參考圖18)，由于在文件更新時添加版本信息，能判別是否更新的文件，便于管理，并且能防止版本出錯造成的錯誤運(yùn)作。
實(shí)施方式10上述實(shí)施方式1～9中，雖然沒有專門談到，但也可在從存儲手段6載入程序時，比較配置信息，校驗(yàn)載入的程序與檢查裝置的一致性。
下面，參照圖19～圖21說明設(shè)置配置信息一致性校驗(yàn)功能的本發(fā)明實(shí)施方式10的程序執(zhí)行系統(tǒng)。
圖19是示出檢查裝置設(shè)有配置信息校驗(yàn)功能的本發(fā)明實(shí)施方式10的程序執(zhí)行系統(tǒng)關(guān)鍵部分的框圖。
圖19中，對與上文所述(參考圖2)相同的部分標(biāo)注與上文所述相同的標(biāo)號，或者在標(biāo)號后添加“G”，并省略詳細(xì)說明。
這種場合，程序執(zhí)行手段4G內(nèi)的程序載入手段5G，具有比較檢查裝置1G和編碼文件7b的各配置信息的配置一致性校驗(yàn)手段16。
而且，設(shè)存儲手段6存放多個編碼文件7b、7b’、……。
各編碼文件7b、7b’具有本身運(yùn)作用的配置信息，即具有用于適應(yīng)實(shí)際程序處理運(yùn)作的檢查裝置1G的與硬件組成或裝置組成對應(yīng)的運(yùn)作配置信息(下文簡稱為“配置信息”)。
程序執(zhí)行手段5G內(nèi)的配置一致性校驗(yàn)手段16在程序載入手段5G從存儲手段6載入規(guī)定程序時，對規(guī)定程序的配置信息和程序執(zhí)行手段進(jìn)行工作的環(huán)境配置信息(下文簡稱為“配置信息”)進(jìn)行比較，確認(rèn)兩者是否一致，并且在確認(rèn)結(jié)果表示不一致時輸出出錯碼。
這樣，存儲手段6內(nèi)的編碼文件7b、7b’(程序10b、10b’)和檢查裝置1G內(nèi)的程序執(zhí)行手段4G含有各自的配置信息，程序執(zhí)行手段4G在從存儲手段6載入程序時，校驗(yàn)配置信息的一致性。
程序執(zhí)行手段4G也可在存儲手段6內(nèi)載入程序時，通過讀入成為載入對象的規(guī)定程序(例如編碼文件7b(程序10b))的配置信息，共用與規(guī)定程序?qū)?yīng)的配置信息。
后面將闡述，配置一致性校驗(yàn)手段16對檢查裝置1G的配置信息(硬件組成或裝置組成)和從存儲手段6讀入(或從該手段載入)的編碼文件7b(或其它編碼文件7b’)的配置信息進(jìn)行比較，確認(rèn)程序是否可實(shí)際運(yùn)作。
圖20是以圖解方式示出有關(guān)電路板的檢查裝置1G與編碼文件7b、7b’、7b”的各配置信息的關(guān)系的框圖。
圖20中，作為配置信息，設(shè)檢查裝置1G具有增設(shè)板18a、18b。
而且，存儲手段6內(nèi)的編碼文件7b、7b’、7b”具有獨(dú)自的配置信息17a、17b、17c。
具體地說，配置信息17a～17c是保存檢查裝置1G的硬件組成(使用的增設(shè)板的類型、插槽位置等)和檢查裝置1G內(nèi)的裝置(存儲器)設(shè)定的文件。
這里，配置信息17a對應(yīng)于增設(shè)板18a、18b，配置信息17b對應(yīng)于增設(shè)板18a、18c，配置信息17c對應(yīng)于增設(shè)板18a。
接著，參考圖21的流程圖說明圖19和圖20所示本發(fā)明實(shí)施方式10的配置信息校驗(yàn)運(yùn)作。
圖21中，步驟510、S15、S17～S19是與上文所述(參考圖11)相同的處理。
首先，程序執(zhí)行手段4G中，啟動從存儲手段6載入程序10b時(步驟S10)，程序載入手段5G內(nèi)的配置一致性校驗(yàn)手段16判斷配置信息17a(或17b、17c)與檢查裝置1G內(nèi)的配置信息(硬件組成、裝置組成)是否完全一致(步驟S29)。
步驟S29中判斷為配置信息17a與檢查裝置1G的硬件組成完全一致(即“是”)，則讀入編碼文件7b(圖20的例子中，與檢查裝置1G的硬件組成完全一致)(步驟S15)。
反之，步驟S29中判斷為例如配置信息17b與檢查裝置1G的硬件組成不完全一致(即“否”)，則在顯示與運(yùn)作裝置12的畫面上顯示配置信息17b與檢查裝置1G的硬件組成不一致的情況。
又利用通信通知其它裝置(步驟S17)，對檢查裝置1G內(nèi)的裝置輸出出錯碼(步驟S18)，使檢查裝置1G停止(步驟S19)。
例如圖20中，存儲手段6內(nèi)的編碼文件7b由于配置信息17a(增設(shè)板18a、18c)與檢查裝置1G的電路板組成(增設(shè)板18a、18b)完全一致，能僅將編碼文件7b讀入到檢查裝置1G。
反之，要從存儲手段6讀入編碼文件7b’時，由于配置信息17b(增設(shè)板18a、18c)與檢測裝置1G的組成不一致，不能將編碼文件7b’讀入檢查裝置1G。
綜上所述，根據(jù)本發(fā)明實(shí)施方式10(參考圖19～圖21)，存放在存儲手段6的程序(編碼文件7b、7b’、……)包含本身運(yùn)作用的配置信息17a、17b、……，程序執(zhí)行手段4G包含配置信息一致性校驗(yàn)手段16，并且配置信息一致性校驗(yàn)手段16在程序載入手段5G從存儲手段6載入規(guī)定程序時，確認(rèn)規(guī)定程序的配置信息與程序執(zhí)行手段進(jìn)行運(yùn)作的環(huán)境的配置信息是否一致，在確認(rèn)結(jié)果表示不一致時，輸出出錯碼。
因此，除上述效果外，還能校驗(yàn)配置信息17a、17b、……的一致性，使檢查裝置1G避免載入不能檢測處理運(yùn)作的程序。
也就是說，從存儲手段6載入規(guī)定程序加以執(zhí)行時，在檢查裝置1G不存在規(guī)定程序應(yīng)處理的增設(shè)板的情況下或增設(shè)板不同的情況下，能防患運(yùn)作欠妥于未然。
實(shí)施方式11上述實(shí)施方式10確認(rèn)程序和檢查裝置的各配置信息的完全一致，但也可擴(kuò)大允許范圍，確認(rèn)用于從存儲手段6載入的規(guī)定程序進(jìn)行運(yùn)作是否充分。
圖22是示出擴(kuò)大允許范圍的本發(fā)明實(shí)施方式11的配置信息確認(rèn)運(yùn)作的流程圖。
這種場合，配置信息一致性校驗(yàn)手段16(參考圖19)在確認(rèn)從存儲手段6載入的規(guī)定程序的配置信息與程序執(zhí)行手段4G的運(yùn)作環(huán)境(檢查裝置1G)的配置信息的一致性時，判斷檢查裝置1G的配置信息用于規(guī)定程序進(jìn)行運(yùn)作是否充分，在運(yùn)作環(huán)境的配置信息用于規(guī)定程序進(jìn)行運(yùn)作不充分時，輸出出錯碼。
下面，連同上述圖19和圖20一起參考圖22的流程圖，說明本發(fā)明實(shí)施方式11的配置信息一致性校驗(yàn)處理的運(yùn)作。
圖22中，步驟S10、S15、S17～S19、S29是與上文所述(參考圖21)相同的處理。
首先，程序執(zhí)行手段4G中，啟動從存儲手段6載入程序(例如幕布午覺7b)(步驟S10)后，配置信息一致性校驗(yàn)手段16判斷配置信息17a(或17b、17c)是否與檢查裝置1G的配置信息完全一致(步驟S29)。
反之，步驟S29中判斷為載入對象程序的配置信息與檢查裝置1G的硬件組成不完全一致(即“否”)，則接著判斷配置信息17b或17c與從檢查裝置1G的硬件組成刪除若干增設(shè)板后的組成是否一致(步驟S29A)。
步驟S29A中，例如判斷為配置信17c與從檢查裝置1G的硬件組成刪除若干增設(shè)板后的組成一致(即“是”)，則讀入符合配置信息17c的編碼文件7b”(步驟S15)。
圖20的例子中，編碼文件7b”的配置信息17c(增設(shè)板18a)與從檢查裝置1G的硬件組成刪除增設(shè)板18b后的組成一致。
反之，步驟S29A中，例如判斷為配置信息17b與從檢查裝置1G的硬件組成刪除若干增設(shè)板后的組成不一致(即“否”)，則在顯示與操作手段12的畫面上顯示配置信息17b與檢查裝置1G的硬件組成不一致的情況(步驟S30A)。
此外，利用通信通知其它裝置(步驟S17)，將出錯碼輸出到檢查裝置1G內(nèi)的裝置(步驟S18)，使檢查裝置1G停止(步驟S19)。
綜上所述，存儲手段6內(nèi)的編碼文件7b(參考圖20)由于配置信息17a與檢查裝置1G的電路板組成完全一致，檢查裝置1G中能讀入編碼文件7b。
存儲手段6內(nèi)的編碼文件7b”由于配置信息17c與從檢查裝置1G的電路板組成刪除增設(shè)板18b后的組成一致，檢查裝置1G中能讀入編碼文件7b”。
上述實(shí)施方式10不能載入編碼文件7c(參考圖20)，但本發(fā)明實(shí)施方式11能載入編碼文件7c。
另一方面，存儲手段6內(nèi)的編碼文件7b’由于從檢查裝置1G的電路板組成刪除若干增設(shè)板后，配置信息17b(增設(shè)板18a、18c)也不一致，即使擴(kuò)大允許范圍也出錯，所以檢測裝置1G中不能讀入編碼文件7b’。
例如，在工廠等處運(yùn)轉(zhuǎn)的檢查裝置中，為了檢查新機(jī)型，編制使用補(bǔ)充的增設(shè)板的新程序時，以往運(yùn)轉(zhuǎn)的已有程序的配置信息變成與檢查裝置的配置信息不同。其原因在于以往運(yùn)轉(zhuǎn)的已有程序未記述補(bǔ)充的增設(shè)板。
然而，根據(jù)本發(fā)明實(shí)施方式11，即便在編制使用補(bǔ)充的增設(shè)板的新程序的情況下，也能在新程序的配置信息與檢查裝置的硬件組成不完全一致時，進(jìn)一步進(jìn)行是否與從檢查裝置的硬件組成刪除若干增設(shè)板后的組成一致的校驗(yàn)，從而編制使用新補(bǔ)充的增設(shè)板的程序(項(xiàng)目)且不更改以往運(yùn)轉(zhuǎn)的已有程序。
這樣，根據(jù)本發(fā)明實(shí)施方式11，配置一致性校驗(yàn)手段16在確認(rèn)成為載入對象的規(guī)定程序的配置信息與檢查裝置1G的配置信息的一致性時，判斷檢查裝置1G的配置信息用于規(guī)定程序進(jìn)行運(yùn)作是否充分，僅在用于規(guī)定程序進(jìn)行運(yùn)作不充分時輸出出錯碼，因而除上述效果外，還能擴(kuò)大載入對象程序的允許范圍。
實(shí)施方式12上述實(shí)施方式1～11沒有考慮從存儲手段6載入規(guī)定程序的版本信息(應(yīng)用版本信息)的一致性校驗(yàn)，但也可設(shè)置版本信息一致性校驗(yàn)功能。
下面，參照圖23的流程圖說明設(shè)有版本信息一致性校驗(yàn)功能的本發(fā)明實(shí)施方式12的處理的運(yùn)作。
圖23中，步驟S10、S15、S17～S19是與上文所述(參考圖21、圖22)相同的處理。
這種場合，存放在存儲手段6的程序包含本身運(yùn)作用的運(yùn)作應(yīng)用版本信息(下文簡稱為“版本信息”)，檢查裝置內(nèi)的程序執(zhí)行手段在程序載入手段從存儲手段6載入規(guī)定程序時，對規(guī)定程序的版本信息與程序執(zhí)行手段的環(huán)境應(yīng)用版本信息(下文簡稱為“版本信息”)進(jìn)行比較，確認(rèn)其一致性，在確認(rèn)結(jié)果表示不一致時，輸出出錯碼。
首先，啟動從存儲手段6載入規(guī)定程序(步驟S10)后，判斷載入的程序的版本信息與載入前執(zhí)行的程序的版本信息是否一致(步驟S31)。
也就是說，判斷與程序載入前執(zhí)行的程序是否版本相同，如果判斷為兩者一致(即“是”)，讀入編碼文件(步驟S15)。
反之，步驟S31中判斷為兩者不一致(即“否”)，則在顯示與操作手段12的畫面上顯示版本信息不一致的情況(步驟S32)。
此外，利用通信通知其它裝置(步驟S17)，同時還將出錯碼輸出到檢查裝置內(nèi)的裝置(步驟S18)，使檢查處理停止(步驟S19)。
如前所述，“應(yīng)用”是指用編程軟件9(或9a、9b)編制的“程序”，用戶編制的程序因檢查對象而不同。
因此，為了識別檢查對象，對各個“程序”分別授給適應(yīng)檢查對象的版本信息。
特別在本發(fā)明中，由于多個用戶分散編制程序，重要的是判斷分散編制的程序是否運(yùn)作，即判斷是否按相同的目的編制“機(jī)型選擇程序(程序10a)”和該“機(jī)型選擇程序”調(diào)用的“Work 1.iup(程序10b)”(參考圖1、圖3)。
例如，設(shè)某用戶用“機(jī)型選擇程序”和“Work 1.iup”編制將機(jī)型A、B、C作為檢查對象的“程序”，另一用戶用“機(jī)型選擇程序”和“Work 1.iup”編制將機(jī)型D、E、F作為檢查對象的“程序”。
這時，“機(jī)型選擇程序”中用錯“Work 1.iup”，則調(diào)用不打算要的“Work1.iup”。
因此，為了防患程序載入差錯于未然，有效的是對成為載入到裝置的對象的程序授給版本信息。
也就是說，對“機(jī)型選擇程序”和“Work 1.iup”雙方授給相同的版本信息，從而程序執(zhí)行手段能判別期望的“Work 1.iup”。
例如，某用戶用“機(jī)型選擇程序”和“Work 1.iup”編制將機(jī)型A、B、C作為檢查對象的“程序”時，分別授給“版本信息ABC”。
另一方面，另一用戶用“機(jī)型選擇程序”和“Work 1.iup”編制將機(jī)型D、E、F作為檢查對象的“程序”時，則分別授給“版本信息DEF”。
因此，即便用錯“Work 1.iup”，也能在調(diào)用“Work 1.iup”時，校驗(yàn)“版本信息ABC”的“機(jī)型選擇程序”調(diào)用“版本信息DEF”的“Work 1.iup”。
這樣，根據(jù)本發(fā)明實(shí)施方式12，存放在存儲手段6的程序包含本身進(jìn)行運(yùn)作用的版本信息(運(yùn)作應(yīng)用版本信息)，并且檢查裝置內(nèi)的程序執(zhí)行手段在程序載入手段從存儲手段5載入規(guī)定程序時，對規(guī)定程序的版本信息和程序執(zhí)行手段的版本信息(環(huán)境應(yīng)用版本信息)進(jìn)行比較，確認(rèn)兩者的一致性，在確認(rèn)結(jié)果表示不一致時輸出出錯碼，所以能進(jìn)行告警，對用戶通知版本信息出錯。
因此，除上述作用效果外，還能通過執(zhí)行程序載入時的出錯處理，防止版本差錯造成的錯誤運(yùn)作。
還可根據(jù)編程中用戶登記的應(yīng)用版本信息(進(jìn)行編號)判斷配置信息，而不是實(shí)施方式10、11那樣比較配置信息。
實(shí)施方式13上述實(shí)施方式12在從存儲手段6載入程序時，校驗(yàn)每一檢查對象不同的應(yīng)用版本信息，但也可在從存儲手段6載入程序時，校驗(yàn)對程序執(zhí)行手段的固件版本信息(有關(guān)升級的版本信息)的一致性。
下面，參照

設(shè)有固件版本信息一致性校驗(yàn)功能的本發(fā)明實(shí)施方式13。
圖24是示出本發(fā)明實(shí)施方式13的程序執(zhí)行系統(tǒng)關(guān)鍵部分的框圖。
圖24中，與上文所述相同的部分標(biāo)注與上文所述相同的標(biāo)號，或者在標(biāo)號后添加“H”，并省略說明。
這種場合，存放在存儲手段6內(nèi)的程序(編碼文件7b)具有與程序執(zhí)行手段4H的環(huán)境固件版本信息(下文簡稱為“固件版本信息”)對應(yīng)的固件版本信息19，作為本身進(jìn)行運(yùn)作用的運(yùn)作固件版本信息(下文簡稱為“固件版本信息”)。
編碼文件7b內(nèi)添加的固件版本信息19保持足以執(zhí)行本身的碼的固件(程序執(zhí)行手段4H)的版本信息。
檢查裝置1H內(nèi)的程序執(zhí)行手段4H在程序載入手段5H從存儲手段6載入規(guī)定程序時，對規(guī)定程序的固件版本信息19和程序執(zhí)行手段4H進(jìn)行運(yùn)作的固件版本信息進(jìn)行比較，確認(rèn)兩者的一致性，在確認(rèn)結(jié)果表示不一致時，輸出出錯碼。
接著，連同圖24一起參考圖25的流程圖，說明本發(fā)明實(shí)施方式13的載入對象程序(項(xiàng)目)和程序執(zhí)行手段4H(固件)的固件版本信息一致性校驗(yàn)的運(yùn)作。
圖25中，步驟S10、S15、S17～S19是與上文所述(圖21～圖23)相同的處理。
首先，程序執(zhí)行手段4H啟動從存儲手段6載入程序(步驟S10)后，對編碼文件7b的固件版本信息19和檢查裝置1H的固件版本信息進(jìn)行比較，判斷固件版本信息19是否等同于或低于檢查裝置1H的固件版本信息(步驟S33)。
步驟S33中判斷為固件版本信息19低于檢查裝置1H的固件版本信息(即“是”)，則載入對象程序的版級低于程序執(zhí)行手段4H的版級，因而認(rèn)為可執(zhí)行，并讀入編碼文件(步驟S313)。
反之，步驟S33中判斷為固件版本信息19高于檢查裝置1H的固件版本信息(即“是”)，則載入對象程序的版級高于程序執(zhí)行手段4H的版級，因而認(rèn)為不可執(zhí)行，并且在顯示與操作手段12的畫面上顯示不適應(yīng)檢查裝置1H內(nèi)的程序執(zhí)行手段4H(固件)(步驟S34)。
此外，利用通信通知其它裝置(步驟S17)，將出錯碼輸出到檢查裝置1G內(nèi)的裝置(步驟S18)，使檢查裝置1G停止(步驟S19)。
如前所述，“固件”是指檢查裝置1H內(nèi)的程序執(zhí)行手段4H，不因檢查對象而變化。
將檢查裝置1H(控制器)升級時，相當(dāng)于程序執(zhí)行手段4H本身進(jìn)行升級，因而最好對程序執(zhí)行手段4本身授給固件版本信息(即對“固件”授給版本信息)。
也就是說，檢查裝置1H中安裝對程序進(jìn)行解釋并使其運(yùn)作的固件，但載入程序時新讀入的程序可能使用得不到固件的支持的功能。
因此，如圖25那樣啟動載入程序時，對程序?qū)?yīng)的固件版本信息19和檢查裝置1H的固件版本信息進(jìn)行比較，在固件版本信息19低于檢查裝置1H或固件版本信息時，進(jìn)行程序讀入，而在版本信息19高于檢查裝置1H的版本信息時，進(jìn)行出錯顯示，從而防患不能使用程序設(shè)想的功能時的程序欠妥運(yùn)作于未然。
例如，編制成按最新版本的固件進(jìn)行運(yùn)作的程序即使要按舊版本的固件進(jìn)行運(yùn)作也可能不正常運(yùn)作。
然而，圖24那樣在程序執(zhí)行手段4H中下載的程序具有固件版本信息19，則程序執(zhí)行手段4H能事先確認(rèn)將下載對象的程序編制成按什么版本的固件進(jìn)行運(yùn)作。
這樣，根據(jù)本發(fā)明實(shí)施方式13，存儲手段6存放的程序包含本身進(jìn)行運(yùn)作用的固件版本信息(運(yùn)作固件版本信息)19，程序執(zhí)行手段4H在程序載入手段5H從存儲手段6下載規(guī)定程序時，對規(guī)定程序的固件版本信息19和程序執(zhí)行手段4H進(jìn)行運(yùn)作固件版本信息(環(huán)境固件版本信息)進(jìn)行比較，確認(rèn)其一致性，在確認(rèn)結(jié)果表示不一致時輸出出錯碼，因而能進(jìn)行告警，對用戶通知固件版本信息19不能在檢查裝置1H中運(yùn)作，防止固件版本信息差錯造成的錯誤運(yùn)作。
實(shí)施方式14上述實(shí)施方式1～13沒有談到編程軟件編制程序時反映配置信息，但也可在作編程時與外部(例如檢查裝置)之間執(zhí)行配置信息的收發(fā)。
圖26是示出編程軟件中設(shè)有配置信息收發(fā)功能的本發(fā)明實(shí)施方式14的程序執(zhí)行系統(tǒng)的程序編制部的框圖。
圖26中，編程軟件9具有設(shè)定配置信息17的程序10、對外部進(jìn)行配置信息17的收發(fā)用的出口手段20和入口手段21。
這里，為了表示非專門限定的對象，對編程軟件9、程序10、配置信息17以統(tǒng)稱的方式僅標(biāo)注數(shù)字。
例如檢查裝置內(nèi)的程序執(zhí)行手段(未示出)利用來自編程軟件9的出口處理保存配置信息17，對檢查裝置內(nèi)的存儲區(qū)中載入的程序10反映配置信息17。
具體地說，配置信息17的出口手段20是提取與程序10關(guān)聯(lián)的檢查裝置的硬件組成和裝置設(shè)定的手段。
配置信息17的入口手段21是使已保存的硬件組成和裝置設(shè)定反映到程序10用的手段。
這里雖然省略示出，但如上文所述(參考圖1～4)，本發(fā)明實(shí)施方式14的編程系統(tǒng)具有編制程序執(zhí)行系統(tǒng)4執(zhí)行的程序10(至少包含程序10b)用的程序編制部(個人計(jì)算機(jī)8內(nèi)的編程軟件9、9a、9b)。
程序編制手段包含產(chǎn)生編碼的程序10作為編碼文件的編碼文件產(chǎn)生手段(11或11b)，對來自響應(yīng)程序10的程序調(diào)用命令而調(diào)用的其它程序另行編碼，并作為編碼文件產(chǎn)生。
編程軟件9內(nèi)的編碼文件產(chǎn)生手段包含將配置信息17讀出到外部的出口手段20以及讀入寫出到外部的配置信息17的入口手段21，在編制響應(yīng)來自程序10的調(diào)用命令而調(diào)用的其它程序時，編制其它程序的過程中挪用編制程序10時的配置信息。
圖27是示出從編程軟件9到檢查裝置的配置信息17的出口處理的流程圖，圖28是示出至編程軟件9的配置信息17的入口處理的流程圖。
下面，參照圖26和圖27說明本發(fā)明實(shí)施方式14的編程軟件9中的配置信息17和出口處理的運(yùn)作。
圖27中，首先，在編程軟件9上編制程序10(步驟S35)，并通過出口手段20在編程軟件9上執(zhí)行配置信息17的出口(步驟S36)。
最后，將配置信息17作為文件保存(步驟S37)，結(jié)束圖27的出口處理。
接著，參照圖26和圖28說明本發(fā)明實(shí)施方式14的配置信息17的入口處理的運(yùn)作。
圖28中，首先，在編程軟件9上編制程序(步驟S35)，并通過入口手段21在編程軟件9上執(zhí)行配置信息17的入口(步驟S38)。
接著，判斷否已編制配置信息17(步驟S39)，判斷為未編制配置信息17(即“否”)，則使配置信息17反映到程序10(步驟S40)。
反之，步驟S39中判斷為已編制配置信息17(即“是”)，則接著判斷是否蓋寫配置信息17(步驟S41)。
步驟S41中判斷為蓋寫配置信息17(即“是”)，則蓋寫配置信息17，使其反映到程序10(步驟S40)。
反之，步驟S41中判斷為不蓋寫配置信息17(即“否”)，則選擇部分配置信息17，通過出口手段20執(zhí)行出口后(步驟S42)，使其反映到程序10(步驟S40)。
記述成使用增設(shè)板的程序10中，運(yùn)作程序10的檢查裝置10內(nèi)不插入使用對象的增設(shè)板，程序10一般就不能在檢查裝置內(nèi)正常運(yùn)作。
此外，即使載入程序10時，載入的程序10的配置信息與檢查裝置的配置信息不同的情況下，程序10也不正常運(yùn)作。
因此，需要在使用程序載入從1個程序A載入的程序B設(shè)定與程序A相同的配置信息。
根據(jù)本發(fā)明實(shí)施方式14，可利用配置信息17的出口與入口處理一元化管理配置信息17。
而且，可共用配置信息17，同時還能防止編程時的差錯。
接著，舉具體例子補(bǔ)充說明本發(fā)明實(shí)施方式14的效果。
首先，作為檢查裝置的第1硬件組成，考慮在插槽“0”插入“RS232C板”，在插槽“1”插入“數(shù)字輸入輸出板”。
作為檢查裝置的第2硬件組成，考慮在插槽“0”插入“模擬輸出板”。
對上述各組成編制按第1硬件組成運(yùn)作的程序A和按第2硬件組成運(yùn)作的程序B。
這里，在第1硬件組成的檢查裝置中，設(shè)想要利用從程序A載入程序載入程序B加以執(zhí)行的情況。
這時，盡管程序B以插槽“0”插入“模擬板”為前提加以編程，但由于檢查裝置的插槽“0”插入“RS232C板”，程序B不能正常運(yùn)作。
為了不更改檢查裝置的增設(shè)板的組成，而在檢查裝置上使程序A、B運(yùn)作，作為第3硬件組成，考慮在插槽“0”插入“RS232C板”，在插槽“1”插入“數(shù)字輸入輸出板”，在插槽“3”插入“模擬板”，并且必須根據(jù)此配置信息編制程序A、B。
根據(jù)本發(fā)明實(shí)施方式14，在程序A運(yùn)作的檢查裝置補(bǔ)充程序B時，通過編制上述第3硬件組成的配置信息，在開發(fā)程序B時能有效利用已編制的配置信息。
因此，除上述效果外，還能共用配置信息，一元化管理配置信息，同時可防止編程時的差錯。
實(shí)施方式15上述實(shí)施方式14根據(jù)需要，使保存的配置信息反映到程序中，但也可利用鏈接，一元化管理配置信息。圖29是示出本發(fā)明實(shí)施方式15相關(guān)的程序執(zhí)行系統(tǒng)的程序編制部的框圖。
圖29中，編程軟件9A具有設(shè)定配置信息的程序10A和配置信息鏈接手段22。
具體地說，配置信息鏈接手段22是設(shè)定參考配置信息用的參考處文件的手段，用于設(shè)定參考處文件，以便與外部的程序B之間鏈接配置信息。
本發(fā)明實(shí)施方式15的編程系統(tǒng)具有與上文所述(參考圖1～圖4)相同的組成，并且編程軟件9A內(nèi)的編碼文件產(chǎn)生手段(11或11b)包含參考外部的配置信息的配置信息鏈接手段22。
編碼文件產(chǎn)生手段在編制響應(yīng)來自程序10A的調(diào)用命令而調(diào)用的程序10B時，編制程序10B的過程中挪用編制程序10A時的配置信息。
接著，連同圖29一起參考圖30的流程圖，說明本發(fā)明實(shí)施方式15的配置信息鏈接處理的運(yùn)作。
圖30中，步驟S35是與上文所述(參考圖27)相同的處理。
首先，在編程軟件9A上編制程序10A(步驟S35)。這時，步驟S35中不必設(shè)定配置信息。
接著，在編程軟件9A上設(shè)定配置信息的參考處文件(步驟S43)。
上述實(shí)施方式14(參考圖26～圖28)在配置信息17有更改時，修改1個程序10后，必須對執(zhí)行配置信息17的出口處理，并使該配置信息17入口的全部程序10再次執(zhí)行配置信息17的入口處理。
然而，本發(fā)明實(shí)施方式15通過僅更改鏈接處的程序10B的配置信息，就能將配置信息的更改用于參考的全部程序10B。
因此，能避免忘記更改配置信息造成的欠妥，同時還可由使用鏈接的一元化管理更改配置信息，提高方便性。
接著，舉具體例子補(bǔ)充說明本發(fā)明實(shí)施方式14的效果。
首先，作為程序A的硬件組成，設(shè)在插槽“0”插入“RS232C板”，在插槽“1”插入“數(shù)字輸入輸出板”。
作為程序B的硬件組成，設(shè)在插槽“2”插入“模擬輸出板”。
根據(jù)本發(fā)明實(shí)施方式15，作為與程序A對應(yīng)的檢查裝置的硬件組成，在插槽“0”插入“RS232C板”，在插槽“1”插入“數(shù)字輸入輸出板”，在插槽“2”插入“模擬輸入輸出板”。
編制上述程序A、B時，程序A的第1硬件組成中含有不使用的插槽“2”的記述，程序B不專門記述硬件組成，并且鏈接第1硬件組成，編制使用第1硬件組成的程序B。
綜上所述，根據(jù)本發(fā)明實(shí)施方式15，能利用鏈接一元化管理配置信息。
實(shí)施方式16上述實(shí)施方式14、15雖然沒有談到，但也可構(gòu)成自動分析程序(項(xiàng)目)的調(diào)用關(guān)系。
圖31是示出設(shè)有程序分析功能的本發(fā)明實(shí)施方式16的程序編制部關(guān)鍵部分的框圖。
圖31中，例如程序編制部(上述個人計(jì)算機(jī)8或編程軟件9、9A)設(shè)置程序分析手段23，并且程序分析手段23具有分析結(jié)果顯示手段24。
程序分析手段23中讀入編碼文件7和程序10。
這里，為了表示非專門限定的對象，對編碼文件7和程序10已統(tǒng)稱的方式僅標(biāo)注數(shù)字。
具體地說，程序分析手段23是分析程序10以獲取程序載入的調(diào)用關(guān)系的手段。
分析結(jié)果顯示手段24是顯示分析程序10而獲得的程序載入的調(diào)用關(guān)系的手段。
也就是說，程序分析手段23分析響應(yīng)調(diào)用命令而調(diào)用的程序10的調(diào)用關(guān)系；分析結(jié)果顯示手段24顯示程序分析手段23取得的程序調(diào)用關(guān)系的分析結(jié)果。由此，讀入并分析不少于1個的由程序編制部編制的程序10或編碼文件7。
接著，連同圖31一起參考圖32的流程圖，說明本發(fā)明實(shí)施方式16的程序10的分析處理。
圖32中，首先，程序分析手段23分析程序10(步驟S44)，接著分析結(jié)果顯示手段24顯示從分析的程序10調(diào)用的程序名(步驟S45)。
這里，用同樣的步驟實(shí)現(xiàn)編碼文件7(省略說明)。
例如，上述(參考圖3)程序(機(jī)型選擇程序)10a中，可利用裝置值DS0調(diào)用“work 1.iup”、“work 2.iup”、“work 3.iup”、“work 4.iup”、“work 5.iup”，但為了用戶能按此原樣識別選擇內(nèi)容(調(diào)用什么)，必須在程序10a中具體讀出一下。
也就是說，為了確認(rèn)上述程序10a的調(diào)用關(guān)系，需要例如用編程軟件9、9a打開程序10a，并確認(rèn)內(nèi)容。而且，編程軟件9、9a不能打開編碼文件，并確認(rèn)內(nèi)容。
因此，隨著編制的程序數(shù)量增多，非常難掌握各程序的調(diào)用關(guān)系。
然而，根據(jù)本發(fā)明實(shí)施方式16，在分析結(jié)果顯示手段24上自動顯示用圖3的機(jī)型選擇程序10a調(diào)用的程序(work 1.iup、work 2.iup、work 3.iup、work 4.iup、work 5.iup)，所以用戶能一起閱覽分析結(jié)果。
因此，容易分析程序10的依賴關(guān)系，同時還能從編碼文件確認(rèn)依賴關(guān)系。
綜上所述，根據(jù)本發(fā)明實(shí)施方式16，除上述作用效果外，還能方便地取得程序10的調(diào)用關(guān)系。
實(shí)施方式17上述實(shí)施方式14～16雖然沒有談到，但也可構(gòu)成自動管理程序(項(xiàng)目)的依賴關(guān)系。
圖33是示出設(shè)有程序管理功能的本發(fā)明實(shí)施方式17的程序編制部關(guān)鍵部分的框圖。
圖33中，程序編制部設(shè)置程序管理手段25，作為管理工具。程序管理手段25具有依賴關(guān)系顯示手段26。
程序管理手段25登記多個程序10(或多個編碼文件7)。
具體地說，程序管理手段25是管理多個程序10和編碼文件7的手段。
依賴關(guān)系顯示手段26是顯示程序管理手段25中登記的程序10或編碼文件7的依賴關(guān)系的手段。
也就是說，程序管理手段25將程序10或編碼文件7登記到每一應(yīng)用進(jìn)行管理，依賴關(guān)系顯示手段26對每一應(yīng)用顯示登記的程序10或編碼文件7。由此，管理不少于1個的由程序編制部編制的程序10或編碼文件7。
接著，連同圖33一起參考圖34的流程圖，說明本發(fā)明實(shí)施方式17的程序(項(xiàng)目)管理處理。
圖34中，首先，在程序管理手段25中登記程序10和編碼文件7(編制S46)。
這時，程序管理手段25中也可登記多個程序10和多個編碼文件7。
接著，在依賴關(guān)系顯示手段26上顯示程序管理手段25的調(diào)用關(guān)系(步驟S47)，同時還顯示登記的程序10和編碼文件7相關(guān)的的調(diào)用關(guān)系(步驟S48)。
隨著編制的程序10的數(shù)量增多，通常極難掌握各程序10的調(diào)用關(guān)系。
上述實(shí)施方式16中，以分析結(jié)果的方式逐一對程序10和編碼文件7顯示調(diào)用關(guān)系，但根據(jù)本發(fā)明實(shí)施方式17，通過登記要首先調(diào)查的多個程序10和編碼文件7，顯示總體依賴關(guān)系，所以便于總體分析。
因此，對檢查裝置中運(yùn)作的全部程序10容易取得程序10的調(diào)用關(guān)系，便于進(jìn)行調(diào)查，并且能防止調(diào)查遺漏。
實(shí)施方式18上述實(shí)施方式18未考慮更改配置信息，但也可在用程序管理手段25(參考圖33)進(jìn)行管理的情況下，修改配置信息時，自動更新全部關(guān)聯(lián)的程序10。
下面，參照圖33說明設(shè)有自動程序更新功能的本發(fā)明實(shí)施方式18。
本發(fā)明實(shí)施方式18的程序編制部還具有配置成批更新手段(未示出)，對每一應(yīng)用登記的全部程序10和編碼文件7成批更新配置信息。
這里，作為具體例子，考慮程序10的硬件組成從第1組成(插槽“0”插入“RS232C板”，插槽“1”插入“數(shù)字輸入輸出板”)追加成第2組成(插槽“3”插入“模擬板”)的情況。
也就是說，已在工廠等處運(yùn)轉(zhuǎn)的檢查裝置中，為了檢查新機(jī)型，編制追加使用增設(shè)板的程序時，由于以往運(yùn)轉(zhuǎn)的程序A原樣未記述追加的增設(shè)板，以往運(yùn)轉(zhuǎn)的程序A的配置信息與追加使用增設(shè)板的檢查裝置的配置信息不同。
然而，根據(jù)本發(fā)明實(shí)施方式18，由于設(shè)有配置成批更新手段，在用程序管理手段25管理的情況下，修改配置信息時，自動更新全部關(guān)聯(lián)的程序10，不僅便于取得程序10的調(diào)用關(guān)系，而且能方便地共用配置信息。
實(shí)施方式19上述實(shí)施方式16(參考圖31)說明了在上述實(shí)施方式14、15的程序編制部設(shè)置程序分析手段23的情況，但也可構(gòu)成具有程序分析手段23的程序分析系統(tǒng)。
也就是說，本發(fā)明實(shí)施方式19的程序分析系統(tǒng)為了讀入并分析不少于1個的由程序編制部(編程系統(tǒng))編制的程序10或編碼文件7(參考圖31)，具有分析響應(yīng)調(diào)用命令而調(diào)用的程序10的調(diào)用關(guān)系的程序分析手段22和顯示程序分析手段22取得的程序的調(diào)用關(guān)系分析結(jié)果的分析結(jié)果顯示手段24。
因此，能實(shí)現(xiàn)取得與上述實(shí)施方式16相同的作用效果的程序分析系統(tǒng)。
實(shí)施方式20上述實(shí)施方式17(參考圖33)說明了在所述實(shí)施方式14～16的程序編制部設(shè)置程序管理手段25的情況，但也可構(gòu)成具有程序管理手段25的程序分析系統(tǒng)。
也就是說，本發(fā)明實(shí)施方式20的程序分析系統(tǒng)為了管理不少于1個的由程序編制部(編程系統(tǒng))編制的程序10和編碼文件7(參考圖33)，設(shè)置對每一應(yīng)用登記并管理程序10或編碼文件7的程序管理手段25和對每一應(yīng)用顯示登記的程序10或編碼文件7的依賴關(guān)系依賴關(guān)系顯示手段26。
因此，能實(shí)現(xiàn)取得與上述實(shí)施方式17相同的作用效果的程序分析系統(tǒng)。
實(shí)施方式21也可對上述實(shí)施方式20的程序分析系統(tǒng)進(jìn)一步設(shè)置配置成批更新手段，對每一應(yīng)用登記的全部程序10和編碼文件7成批更新配置信息。
因此，能實(shí)現(xiàn)取得與上述實(shí)施方式18相同的作用效果的程序分析系統(tǒng)。
實(shí)施方式22上述實(shí)施方式1～13(參考圖1～圖25)說明了具有存儲手段6和程序執(zhí)行手段4(或1A～1H)的程序執(zhí)行系統(tǒng)，但也可構(gòu)成具有上述實(shí)施方式1～13的程序執(zhí)行系統(tǒng)的檢查裝置。
因此，能實(shí)現(xiàn)取得與上述實(shí)施方式1～13相同的作用效果的檢查裝置。
實(shí)施方式23也可構(gòu)成具有上述實(shí)施方式14～18的編程系統(tǒng)的檢查裝置用程序編制系統(tǒng)。
因此，能實(shí)現(xiàn)取得與上述實(shí)施方式14～18相同的作用效果的檢查裝置用程序編制系統(tǒng)。
實(shí)施方式24也可構(gòu)成具有上述實(shí)施方式1～14的程序執(zhí)行系統(tǒng)和上述實(shí)施方式15～18的編程系統(tǒng)的檢查裝置用程序編制系統(tǒng)。
因此，能實(shí)現(xiàn)取得與上述實(shí)施方式1～18相同的作用效果的檢查裝置系統(tǒng)。
權(quán)利要求
1.一種程序執(zhí)行系統(tǒng)，其特征在于，包括保持編碼的第1程序的碼保持手段、展開所述碼保持手段保持的第1程序的存儲區(qū)、執(zhí)行在所述存儲區(qū)展開的第1程序的程序執(zhí)行手段，以及還具有將編碼的第2程序作為編碼文件存放的存儲手段；所述程序執(zhí)行手段包含將所述存儲手段中作為編碼文件存放的所述第2程序載入所述存儲區(qū)用的程序載入手段；所述程序執(zhí)行手段在執(zhí)行所述存儲區(qū)展開的所述第1程序的運(yùn)作中，響應(yīng)對所述存儲手段內(nèi)的所述第2程序的調(diào)用命令，將所述存儲手段內(nèi)的所述第2程序載入所述存儲區(qū)，并執(zhí)行所述第2程序。
2.如權(quán)利要求1中所述的程序執(zhí)行系統(tǒng)，其特征在于，所述存儲手段由硬盤或存儲卡構(gòu)成。
3.如權(quán)利要求1中所述的程序執(zhí)行系統(tǒng)，其特征在于，所述存儲手段除存放所述第2程序外，還將所述第1程序或第3程序作為編碼文件存放；所述程序執(zhí)行手段在執(zhí)行所述存儲區(qū)展開的所述第1程序的運(yùn)作中，響應(yīng)對所述碼保持手段內(nèi)的所述第1程序或所述存儲手段內(nèi)的所述第1或第3程序的調(diào)用命令，將所述碼保持手段內(nèi)的所述第1程序或所述存儲手段內(nèi)的所述第1或第3程序載入所述存儲區(qū)，并執(zhí)行所述第2程序，在執(zhí)行所述第2程序的運(yùn)作中，響應(yīng)對所述存儲手段內(nèi)的所述第1或第3程序的調(diào)用命令，將所述存儲手段內(nèi)的所述第1或第3程序載入所述存儲區(qū)，并執(zhí)行所述第1或第3程序。
4.如權(quán)利要求1中所述的程序執(zhí)行系統(tǒng)，其特征在于，所述程序執(zhí)行手段在執(zhí)行所述存儲區(qū)展開的程序的運(yùn)作中，響應(yīng)對作為編碼文件存放在所述存儲手段的程序中的相當(dāng)?shù)膱?zhí)行部分的調(diào)用命令，從所述存儲手段存放的程序中將與所述相當(dāng)?shù)膱?zhí)行部分對應(yīng)的程序執(zhí)行單元載入所述存儲區(qū)，并執(zhí)行所述程序執(zhí)行單元。
5.如權(quán)利要求1中所述的程序執(zhí)行系統(tǒng)，其特征在于，所述第2程序包含對所述程序執(zhí)行系統(tǒng)的初始化信息；所述程序載入手段在從所述存儲手段載入所述第2程序時，根據(jù)所述初始化信息，執(zhí)行初始化。
6.如權(quán)利要求1中所述的程序執(zhí)行系統(tǒng)，其特征在于，所述程序執(zhí)行手段在所述程序載入手段從所述存儲手段載入規(guī)定程序時，確認(rèn)所述存儲手段是否存在所述規(guī)定程序，并且在所述存儲手段內(nèi)不存在響應(yīng)調(diào)用命令的所述規(guī)定程序時，執(zhí)行出錯處理。
7.如權(quán)利要求1中所述的程序執(zhí)行系統(tǒng)，其特征在于，使用對規(guī)定程序的調(diào)用命令的程序，包含存放響應(yīng)所述調(diào)用命令的所述規(guī)定程序的所述存儲手段相關(guān)的的讀入處信息，所述程序執(zhí)行手段根據(jù)所述讀入處信息，分別改變所述規(guī)定程序的讀入處。
8.如權(quán)利要求1中所述的程序執(zhí)行系統(tǒng)，其特征在于，所述程序執(zhí)行手段包含程序載入履歷保存手段；所述程序載入履歷保存手段，在所述程序執(zhí)行手段響應(yīng)對所述存儲手段內(nèi)的規(guī)定程序的調(diào)用命令并將所述存儲手段內(nèi)的所述規(guī)定程序載入所述存儲區(qū)并加以執(zhí)行時，將載入所述規(guī)定程序的事件作為履歷進(jìn)行保存。
9.如權(quán)利要求1中所述的程序執(zhí)行系統(tǒng)，其特征在于，所述程序執(zhí)行手段包含程序上載手段，所述程序上載手段將所述程序執(zhí)行手段正在執(zhí)行的程序上載到所述存儲手段。
10.如權(quán)利要求9中所述的程序執(zhí)行系統(tǒng)，其特征在于，所述程序執(zhí)行手段在所述程序上載手段對所述存儲手段上載程序時，對上載到所述存儲手段的所述程序添加應(yīng)用版本信息。
11.如權(quán)利要求1中所述的程序執(zhí)行系統(tǒng)，其特征在于，所述存儲手段存放的程序包含本身運(yùn)作用的運(yùn)作配置信息；所述程序執(zhí)行手段包含配置一致性校驗(yàn)手段；所述配置一致性校驗(yàn)手段，在所述程序載入手段從所述存儲手段載入規(guī)定程序時，確認(rèn)所述規(guī)定程序的運(yùn)作配置信息與所述程序執(zhí)行手段進(jìn)行運(yùn)作的環(huán)境配置信息是否一致，并且在確認(rèn)結(jié)果表示不一致時，執(zhí)行出錯處理。
12.如權(quán)利要求11中所述的程序執(zhí)行系統(tǒng)，其特征在于，所述配置一致性校驗(yàn)手段，在確認(rèn)所述運(yùn)作配置信息與所述環(huán)境配置信息的一致性時，判斷所述環(huán)境配置信息用于所述規(guī)定程序進(jìn)行運(yùn)作是否充分，在所述環(huán)境配置信息用于所述規(guī)定程序進(jìn)行運(yùn)作不充分時，執(zhí)行出錯處理。
13.如權(quán)利要求1中所述的程序執(zhí)行系統(tǒng)，其特征在于，存放在所述存儲手段的程序，包含本身進(jìn)行運(yùn)作用的運(yùn)作應(yīng)用版本信息；所述程序執(zhí)行手段，在所述程序載入手段從所述存儲手段載入規(guī)定程序時，對所述規(guī)定程序的運(yùn)作應(yīng)用版本信息和所述程序執(zhí)行手段的環(huán)境應(yīng)用版本信息進(jìn)行比較，并確認(rèn)其一致性，在確認(rèn)結(jié)果表示不一致性時，執(zhí)行出錯處理。
14.如權(quán)利要求1中所述的程序執(zhí)行系統(tǒng)，其特征在于，存放在所述存儲手段的程序，包含本身進(jìn)行運(yùn)作用的運(yùn)作固件(F/W)版本信息；所述程序執(zhí)行手段，在所述程序載入手段從所述存儲手段載入規(guī)定程序時，對所述規(guī)定程序的運(yùn)作固件版本信息和所述程序執(zhí)行手段進(jìn)行運(yùn)作的環(huán)境固件版本信息進(jìn)行比較，并確認(rèn)其一致性，在確認(rèn)結(jié)果表示不一致性時，執(zhí)行出錯處理。
15.一種編程系統(tǒng)，其特征在于，具有編制如權(quán)利要求1所述的程序執(zhí)行系統(tǒng)執(zhí)行的至少所述第2程序用的程序編制手段；所述程序編制手段包含產(chǎn)生編碼的所述第2程序作為編碼文件的編碼文件產(chǎn)生手段，并且將響應(yīng)所述第1程序中對程序的調(diào)用命令而調(diào)用的第2程序另行編碼后，作為所述編碼文件進(jìn)行產(chǎn)生。
16.如權(quán)利要求15中所述編程系統(tǒng)，其特征在于，包括將配置信息寫出到外部的出口手段、以及讀入寫出到外部的配置信息的入口手段，編制響應(yīng)來自所述第1程序的調(diào)用命令而調(diào)用的所述第2程序時，在編制所述第2程序的過程中，挪用編制第1程序時的配置信息。
17.如權(quán)利要求15中所述編程系統(tǒng)，其特征在于，具有參照外部配置信息的配置信息鏈接手段，并且在編制響應(yīng)來自所述第1程序的調(diào)用命令而調(diào)用的所述第2程序時，在編制第2程序的過程中挪用編制所述第1程序時的配置信息。
18.如權(quán)利要求15中所述編程系統(tǒng)，其特征在于，為了讀入并分析不少于1個的所述程序編制手段編制的程序或編碼文件，還具有分析響應(yīng)調(diào)用命令而調(diào)用的程序的調(diào)用關(guān)系的程序分析手段，以及顯示所述程序分析手段得到的程序調(diào)用關(guān)系分析結(jié)果的分析結(jié)果顯示手段。
19.如權(quán)利要求15中所述編程系統(tǒng)，其特征在于，為了管理不少于1個的所述程序編制手段編制的程序或編碼文件，還具有對每一應(yīng)用、登記并管理所述程序或所述編碼文件的程序管理手段、以及對每一應(yīng)用、顯示所述程序管理手段登記的程序或編碼文件的依賴關(guān)系的依賴關(guān)系顯示手段。
20.如權(quán)利要求19中所述編程系統(tǒng)，其特征在于，還具有對所述每一應(yīng)用登記的全部程序和編碼文件成批更新配置信息用的配置成批更新手段。
21.一種程序分析系統(tǒng)，其特征在于，讀入并分析不少于1個的如權(quán)利要求15至17中任一項(xiàng)所述的編程系統(tǒng)編制 的程序或編碼文件，并且具有分析響應(yīng)調(diào)用命令而調(diào)用的程序的調(diào)用關(guān)系的程序分析手段，以及顯示所述程序分析手段得到的程序調(diào)用關(guān)系分析結(jié)果的分析結(jié)果顯示手段。
22.一種程序管理系統(tǒng)，其特征在于，管理不少于1個的如權(quán)利要求15至17中任一項(xiàng)所述的編程系統(tǒng)編制的程序或編碼文件，并且具有對每一應(yīng)用、登記并管理所述程序或所述編碼文件的程序管理手段、以及對每一應(yīng)用、顯示所述程序管理手段登記的程序或編碼文件的依賴關(guān)系的依賴關(guān)系顯示手段。
23.如權(quán)利要求22中所述的程序管理系統(tǒng)，其特征在于，具有對所述每一應(yīng)用登記的全部程序和編碼文件成批更新配置信息的配置成批更新手段。
24.一種檢查裝置，其特征在于，具有如權(quán)利要求1至14中任一項(xiàng)所述的程序執(zhí)行系統(tǒng)。
25.一種檢查裝置用程序編制系統(tǒng)，其特征在于，具有如權(quán)利要求15至20中任一項(xiàng)所述的編程系統(tǒng)。
26.一種檢查裝置系統(tǒng)，其特征在于，由權(quán)利要求24中所述的檢查裝置和權(quán)利要求25中所述的檢查裝置用程序編制系統(tǒng)構(gòu)成。
全文摘要
本發(fā)明揭示一種程序執(zhí)行系統(tǒng)，可分散開發(fā)或并行開發(fā)，以避免使每個程序龐大，并能有效且方便地添加檢查對象機(jī)型。具有編制程序(10a、10b)用的編程軟件(9)、保持編碼的程序(10a)的碼保持手段(2)、存放程序(10b)的編碼文件(7b)的存儲手段(6)、展開成為執(zhí)行對象的程序的存儲區(qū)(3)、用于執(zhí)行程序的程序執(zhí)行手段(4)、以及裝載碼保持手段(2)、存儲區(qū)(3)和程序執(zhí)行手段(4)的檢查裝置(1)，程序執(zhí)行手段(4)包含程序載入手段(5)。程序載入手段(5)在程序(10a)的運(yùn)作中，響應(yīng)對程序(10b)的調(diào)用命令，從存儲手段(6)將程序(10b)載入到存儲區(qū)(3)。
文檔編號G06F9/445GK1885263SQ200510136148
公開日2006年12月27日 申請日期2005年12月19日 優(yōu)先權(quán)日2005年6月21日
發(fā)明者仲井勘, 南山英明, 巖井裕三, 冨田將司, 前田文彥 申請人:三菱電機(jī)株式會社