[發(fā)明專利]內(nèi)置系統(tǒng)的維護(hù)支援裝置

有效

• 申請(qǐng)?zhí)枺?/td>: 201110252514.2
• 申請(qǐng)日: 2011-08-30
• 公開（公告）號(hào): CN102436415A
• 公開（公告）日: 2012-05-02
• 發(fā)明（設(shè)計(jì)）人: 福田毅;吉村健太郎;新吉高;杉山洋平;前原知明;山下大輔;山下幸一;會(huì)田敬一
• 申請(qǐng)（專利權(quán)）人: 株式會(huì)社日立制作所
• 主分類號(hào): G06F11/36
• 分類號(hào): G06F11/36
• 代理公司: 中科專利商標(biāo)代理有限責(zé)任公司 11021
• 代理人: 張寶榮

1.一種內(nèi)置系統(tǒng)的維護(hù)支援裝置，該內(nèi)置系統(tǒng)中內(nèi)置有由包括多個(gè)模塊的軟件描述的計(jì)算機(jī)系統(tǒng)，

所述內(nèi)置系統(tǒng)的維護(hù)支援裝置的特征在于，

作為所述軟件輸入針對(duì)所述計(jì)算機(jī)系統(tǒng)的一系列的指令即所述模塊的信息以及由所述模塊使用的在所述計(jì)算機(jī)系統(tǒng)上進(jìn)行處理的組元的集合即群集的信息，對(duì)所述群集進(jìn)行測(cè)試，并且顯示測(cè)試覆蓋率，該測(cè)試覆蓋率表示作為該測(cè)試的結(jié)果的評(píng)價(jià)指標(biāo)的測(cè)試覆蓋率。

2.如權(quán)利要求1所述的內(nèi)置系統(tǒng)的維護(hù)支援裝置，其特征在于，

所述模塊包括函數(shù)、含有該函數(shù)的類、組件、對(duì)象以及庫(kù)中的至少一項(xiàng)。

3.如權(quán)利要求1所述的內(nèi)置系統(tǒng)的維護(hù)支援裝置，其特征在于，

所述群集包括變量、函數(shù)、類、組件、對(duì)象以及庫(kù)中的至少一項(xiàng)。

4.如權(quán)利要求1所述的內(nèi)置系統(tǒng)的維護(hù)支援裝置，其特征在于，

所述測(cè)試覆蓋率包括對(duì)模塊或者群集內(nèi)的所有處理執(zhí)行一次的命令覆蓋率、對(duì)所有的分支組合執(zhí)行一次的分支覆蓋率以及對(duì)所有的條件組合執(zhí)行一次的條件覆蓋率中的至少一種覆蓋率。

5.如權(quán)利要求1所述的內(nèi)置系統(tǒng)的維護(hù)支援裝置，其特征在于，

所述群集為變量，所述群集的信息包括群集號(hào)碼、輸入變量、輸出變量、內(nèi)部變量、參考變量合計(jì)數(shù)、更新變量合計(jì)數(shù)、內(nèi)部變量合計(jì)數(shù)以及變量合計(jì)數(shù)中的至少一項(xiàng)。

6.如權(quán)利要求1所述的內(nèi)置系統(tǒng)的維護(hù)支援裝置，其特征在于，

所述內(nèi)置系統(tǒng)是電梯，所述群集至少包括表示電梯門區(qū)域開關(guān)、最終限位開關(guān)、維護(hù)用限位開關(guān)、方向限位開關(guān)以及終端樓層強(qiáng)制減速開關(guān)中的任一種開關(guān)的狀態(tài)的信息作為變量。

7.如權(quán)利要求1所述的內(nèi)置系統(tǒng)的維護(hù)支援裝置，其特征在于，

所述測(cè)試覆蓋率包括表示軟件中的語(yǔ)句的執(zhí)行比率的語(yǔ)句覆蓋率、表示分支的執(zhí)行比率的分支覆蓋率、表示分支條件中的組合的執(zhí)行比率的條件覆蓋率、表示分支條件的各個(gè)組合的執(zhí)行比率的多條件覆蓋率、表示對(duì)分支方向產(chǎn)生影響的判斷條件的執(zhí)行比率的MC/DC覆蓋率以及表示所有路徑的執(zhí)行比率的路徑覆蓋率中的至少一種覆蓋率。

8.如權(quán)利要求1所述的內(nèi)置系統(tǒng)的維護(hù)支援裝置，其特征在于，

具有：

源代碼解析部分，該源代碼解析部分將表示所述模塊的信息的源代碼信息作為輸入以確定測(cè)試對(duì)象部分；

測(cè)試用例生成部分，該測(cè)試用例生成部分以所述源代碼解析部分的結(jié)果為輸入來(lái)生成測(cè)試對(duì)象部分的測(cè)試用例；

測(cè)試用例存儲(chǔ)部分，該測(cè)試用例存儲(chǔ)部分存儲(chǔ)由所述測(cè)試用例生成部分生成的所述測(cè)試用例的信息；

測(cè)試執(zhí)行部分，該測(cè)試執(zhí)行部分執(zhí)行所述測(cè)試用例的測(cè)試；

變量群集信息獲取部分，該變量群集信息獲取部分根據(jù)所述群集的信息和由所述源代碼解析部分確定的測(cè)試對(duì)象部分來(lái)確定對(duì)該測(cè)試對(duì)象部分中使用的變量進(jìn)行了分類的群集；以及

群集信息醒目顯示部分，該群集信息醒目顯示部分以醒目的方式顯示由所述變量群集信息獲取部分確定的群集。

9.如權(quán)利要求8所述的內(nèi)置系統(tǒng)的維護(hù)支援裝置，其特征在于，

所述群集的信息包括群集號(hào)碼、在群集內(nèi)更新的變量、在群集內(nèi)參考的變量、群集內(nèi)部變量、在群集內(nèi)更新的變量的數(shù)目、群集所參考的變量的數(shù)目、群集內(nèi)部變量的數(shù)目以及群集內(nèi)的全部變量的數(shù)目中的至少一項(xiàng)。

10.如權(quán)利要求8所述的內(nèi)置系統(tǒng)的維護(hù)支援裝置，其特征在于，

所述群集信息醒目顯示部分具有：

監(jiān)視器顯示選擇部分，該監(jiān)視器顯示選擇部分能夠選擇所述源代碼信息、由所述變量群集信息獲取部分確定的群集的信息以及所述群集信息醒目顯示部分的顯示方法；

關(guān)注信號(hào)醒目顯示部分，該關(guān)注信號(hào)醒目顯示部分通過(guò)所述監(jiān)視器顯示選擇部分確定關(guān)注信號(hào)所屬的群集，并將該群集顯示在監(jiān)視器上；以及

測(cè)試狀況顯示部分，該測(cè)試狀況顯示部分根據(jù)所述源代碼信息、所述群集信息、由所述測(cè)試執(zhí)行部分輸出的測(cè)試結(jié)果以及所述關(guān)注信號(hào)，向監(jiān)視器輸出所述群集的測(cè)試狀況。