專利名稱：錯誤檢查方法
技術(shù)領域：
本發(fā)明涉及圖形化數(shù)據(jù)處理系統(tǒng)中錯誤檢查方法。
技術(shù)背景上世紀六七十年代，隨著面向?qū)ο缶幊陶Z言的問世，面向?qū)ο蟪绦蛟O計 的各種軟件開發(fā)方法和架構(gòu)也應運而生并得以迅速發(fā)展。面向?qū)ο蟪绦蛟O計的核心之處在于提出了 "對象"的概念，通過將客觀 實體抽象成具有一定屬性和功能的"對象"，并且通過將"對象"進行封裝， 僅對外開放其屬性和功能的參數(shù)接口 ，使得程序員在編寫程序的過程中并不 需要知道對象本身的方法是如何實現(xiàn)的以及具體的屬性如何，而只需要調(diào)用 對象的參數(shù)接口，就可調(diào)用對象并完成特定的功能。目前常用的MFC (Microsoft Foundation Classes )就是一個包含了 一百多 個類的類庫，其中，這些類就是軟件開發(fā)過程中最常用到的對象。在編程過 程中，除了調(diào)用這些已有對象的參數(shù)接口，以實現(xiàn)所需要的功能，還可以利 用"繼承"的方法從MFC類庫中的已有對象派生出各種自定義對象，這些自 定義對象除了具有已有對象的屬性和功能之外，還可以根據(jù)需要具有各種自 定義的屬性和功能，從而實現(xiàn)對象的擴展。然而，隨著軟件產(chǎn)業(yè)的蓬勃發(fā)展，軟件系統(tǒng)變得越來越復雜。 一個軟件 系統(tǒng)通常包括不止一個包含多個應用實例的項目，若其中的每一個應用實例 都通過生成代碼來實現(xiàn)，那么完成整個軟件系統(tǒng)的生成代碼的工作量將非常 巨大，無法處理繁雜的例如參數(shù)、返回值、時序、依賴等量，且在生成代碼 過程中極易產(chǎn)生錯誤。因此在開發(fā)過程中，通過生成代碼的方式建立軟件系統(tǒng)就顯得不現(xiàn)實。
有鑒于此，業(yè)界設計出可以通過復用代碼的方式來實現(xiàn)。建立能執(zhí)行特
定功能的功能模塊，復雜的問題可以在功能模塊內(nèi)處理；并且，每一個功能
模塊提供比較簡單的對外接口，用于功能模塊之間建立關(guān)聯(lián)和復用，實現(xiàn)功能的復用。同一個功能才莫塊可能需要被復用于相同或不同項目中的一個或多個應用實例中。由于每次應用環(huán)境的差異， 一般來說，由于編程思路和應用環(huán)境存在差異，在復用的過程中，還需要針對不同的應用實例對功能模塊內(nèi)參數(shù)、數(shù)據(jù)類型等、以及功能模塊的對外接口、依賴關(guān)系、映射關(guān)系等作相應的變動。這樣，就會容易出現(xiàn)例如未修改或修改錯誤其中的參數(shù)、數(shù)據(jù)類型，或未修改或修改錯誤功能模塊的對外接口、依賴關(guān)系、映射關(guān)系等諸多問題。這不僅造成程序的出錯率大大增加，還給后續(xù)的維護和檢查工作帶來很大的困難，既拖延了開發(fā)周期，也增加了開發(fā)成本。

發(fā)明內(nèi)容
本發(fā)明要解決的問題是提供一種應用于圖形化數(shù)據(jù)處理系統(tǒng)中的錯誤檢查方法，避免由于圖形化數(shù)據(jù)處理系統(tǒng)中各功能模塊及其相互間的鏈接關(guān)系產(chǎn)生錯誤所帶來的出錯率增加、工作量增大、開發(fā)周期延長以及開發(fā)成本提高的問題。
為解決上述問題，本發(fā)明提供了一種錯誤檢查方法，具體包括搜索并讀取圖形化數(shù)據(jù)處理系統(tǒng)中核心邏輯塊和顯示邏輯塊的數(shù)據(jù)信息；根據(jù)具體項目，得到核心邏輯塊之間的依賴關(guān)系以及核心邏輯塊、顯示邏輯塊和顯示數(shù)據(jù)之間的映射關(guān)系；根據(jù)核心邏輯塊和顯示邏輯塊的數(shù)據(jù)信息，檢查具體項目中核心邏輯塊之間的依賴關(guān)系或者核心邏輯塊、顯示邏輯塊和顯示數(shù)據(jù)之間的映射關(guān)系是否成立。
可選地，所述錯誤;險查方法還包括輸出;^查結(jié)果。可選地，核心邏輯塊之間的依賴關(guān)系成立的條件包括主核心邏輯塊的
輸出數(shù)據(jù)的數(shù)據(jù)類型與從核心邏輯塊的輸入數(shù)據(jù)的數(shù)據(jù)類型相一致。
可選地，核心邏輯塊之間的依賴關(guān)系成立的條件還包括核心邏輯塊之間不存在依賴回環(huán)的現(xiàn)象。
可選地，核心邏輯塊、顯示邏輯塊和顯示數(shù)據(jù)之間的映射關(guān)系成立的條件包括核心邏輯塊的輸出數(shù)據(jù)的數(shù)據(jù)類型與顯示邏輯塊的輸入數(shù)據(jù)的數(shù)據(jù)類型相一致。
可選地，核心邏輯塊、顯示邏輯塊和顯示數(shù)據(jù)之間的映射關(guān)系成立的條件還包括顯示邏輯塊的輸出數(shù)據(jù)的數(shù)據(jù)類型與顯示數(shù)據(jù)的數(shù)據(jù)類型相一致。
可選地，在核心邏輯塊之間的依賴關(guān)系具體為一對一、 一對多、交叉依賴或等級依賴的關(guān)系。
可選地，核心邏輯、顯示邏輯塊和顯示數(shù)據(jù)之間的映射關(guān)系具體為一對一或一對多的關(guān)系。
相較于現(xiàn)有技術(shù)，本發(fā)明通過讀取核心邏輯塊和顯示邏輯塊的數(shù)據(jù)信息，進而根據(jù)具體項目判斷核心邏輯塊之間的依賴關(guān)系以及核心邏輯塊、顯示邏輯塊和顯示數(shù)據(jù)之間的映射關(guān)系成立與否，可以將所述依賴關(guān)系或映射關(guān)系中的錯誤快速且準確地才企查出，以供后續(xù)進行^f'務正，保圖形化數(shù)據(jù)處理系統(tǒng)中各具體項目能夠?qū)崿F(xiàn)。


圖1是本發(fā)明錯誤檢查方法在一個實施例中的流程示意圖2是應用圖1中所述錯誤檢查方法的圖形化數(shù)據(jù)處理系統(tǒng)的組成框圖3A至3D是顯示圖2中核心邏輯塊之間的依賴關(guān)系在不同實施例中的示意圖；圖4A和4B是顯示圖2中核心邏輯塊、顯示邏輯塊和顯示數(shù)據(jù)之間的映射關(guān)系在不同實施例中的示意圖5是顯示圖2中核心邏輯塊和顯示邏輯塊之間的映射關(guān)系存在邏輯死循環(huán)時在不同實施例中的示意圖6是本發(fā)明錯誤檢查方法在另 一個實施例中的流程示意圖。
具體實施例方式
本發(fā)明的發(fā)明人發(fā)現(xiàn)，在大型的軟件系統(tǒng)中，可以利用復用代碼方式通過建立能單獨執(zhí)行特性功能的功能模塊以及各功能模塊的復用來實現(xiàn)，相對于利用生成代碼的方式建立軟件系統(tǒng)，大幅減少了工作量，并降低了出錯率。但不可避免地，還是會出現(xiàn)例如未修改或修改錯誤其中的參數(shù)、數(shù)據(jù)類型，或未修改或修改錯誤功能模塊的對外接口、依賴關(guān)系、映射關(guān)系等諸多問題。因此，仍很有必要對所述功能模塊的具體設置以及各功能模塊之間的關(guān)聯(lián)性進行檢查，以修正其中產(chǎn)生的錯誤。
發(fā)明人正是基于對上述問題的綜合考慮，提出了本發(fā)明。
本發(fā)明實施方式提供了 一種錯誤檢查方法，主要是通過讀取核心邏輯塊和顯示邏輯塊的數(shù)據(jù)信息；根據(jù)具體項目判斷所述具體項目中核心邏輯塊之間的依賴關(guān)系以及核心邏輯塊、顯示邏輯塊和顯示數(shù)據(jù)之間的映射關(guān)系成立與否，能夠快速且準確地檢查出錯誤來，以供后續(xù)對所述錯誤進行修正。
下面即結(jié)合附圖和實施例對本發(fā)明的具體實施方式
做詳細的說明。
圖1顯示了本發(fā)明錯誤檢查方法在一個具體實施例中的流程示意圖。如圖1所示，所述錯誤檢查方法包括如下步驟
S10，搜索并讀取圖形化數(shù)據(jù)處理系統(tǒng)中核心邏輯塊和顯示邏輯塊的數(shù)據(jù)牧自.Sll，根據(jù)具體項目，得到核心邏輯塊之間的依賴關(guān)系以及核心邏輯塊、
顯示邏輯塊和顯示數(shù)據(jù)之間的映射關(guān)系；
S12,根據(jù)核心邏輯塊和顯示邏輯塊的數(shù)據(jù)信息，檢查具體項目中核心邏輯塊之間的依賴關(guān)系或者核心邏輯塊、顯示邏輯塊和顯示數(shù)據(jù)之間的映射關(guān)系是否成立；
S13，輸出檢查結(jié)果。
首先執(zhí)行步驟SIO，搜索并讀取圖形化數(shù)據(jù)處理系統(tǒng)中核心邏輯塊和顯示邏輯塊的數(shù)據(jù)信息。
在對步驟S10進行描述前，預先對所提及的圖形化數(shù)據(jù)處理系統(tǒng)作一下介紹。如圖2所示，顯示了圖形化數(shù)據(jù)處理系統(tǒng)的組成框圖。如圖所示，在所述圖形化數(shù)據(jù)處理系統(tǒng)中，至少包括核心邏輯庫20、顯示邏輯庫21、圖形庫22、工具23和項目24。其中，核心邏輯庫20包括有多個核心邏輯塊，核心邏輯塊相互之間形成有依賴關(guān)系；顯示邏輯庫21包括有多個顯示邏輯塊，所述顯示邏輯塊與核心邏輯塊形成有映射關(guān)系。
每個項目24的應用層由多個窗口 241和窗口屬性表242組成，每個窗口241由控件代碼241a和鏈接代碼241b組成，控件代碼241a用于描述控件屬性(即顯示數(shù)據(jù))，鏈接代碼241b用于將核心邏輯塊和顯示邏輯塊鏈入系統(tǒng)。
就是說，每個項目24包括有能夠復用的核心邏輯塊和顯示邏輯塊，且核心邏輯塊之間以及核心邏輯塊與顯示邏輯塊之間建立有一定的鏈接關(guān)系。具體而言，由多個核心邏輯塊根據(jù)相互之間的依賴關(guān)系所組成的鏈路就是核心邏輯鏈，用于描述系統(tǒng)狀態(tài)。由核心邏輯塊、顯示邏輯塊和顯示數(shù)據(jù)之間的映射關(guān)系所組成的鏈路就是顯示邏輯鏈，用于描述顯示數(shù)據(jù)的來源。
由上可見，所述圖形化數(shù)據(jù)處理系統(tǒng)，建立標準化和模塊化的核心邏輯塊和顯示邏輯塊，并在核心邏輯塊之間以及核心邏輯塊與顯示邏輯塊之間建立鏈接關(guān)系，這樣對于不同的項目，可以通過鏈入不同的核心邏輯塊、顯示邏輯塊和顯示lt據(jù)來實現(xiàn)。
因此，在步驟S10中，就搜索出圖形化數(shù)據(jù)處理系統(tǒng)中所有的核心邏輯塊和顯示邏輯塊，并將核心邏輯塊和顯示邏輯塊的數(shù)據(jù)信息讀取出來。具體
來講，對于核心邏輯塊，所述數(shù)據(jù)信息包括能輸出哪些數(shù)據(jù)，每一個數(shù)據(jù)的類型是什么；需要哪些外部數(shù)據(jù)，每一個數(shù)據(jù)的類型是什么。對于顯示邏輯塊，所述數(shù)據(jù)信息包括輸入哪些數(shù)據(jù)，每一個數(shù)據(jù)的類型是什么；輸出哪些數(shù)據(jù)，每一個數(shù)據(jù)的類型是什么。
接著執(zhí)行步驟Sll,根據(jù)具體項目，得到核心邏輯塊之間的依賴關(guān)系以及核心邏輯塊、顯示邏輯塊和顯示數(shù)據(jù)之間的映射關(guān)系。
在本實施例中，就是根據(jù)某一具體項目，獲得在所述具體項目內(nèi)所涉及的核心邏輯塊之間的依賴關(guān)系以及核心邏輯塊、顯示邏輯塊和顯示數(shù)據(jù)之間的映射關(guān)系。
具體來講，對于核心邏輯塊之間的依賴關(guān)系，指的就是負責將核心邏輯塊鏈接的核心邏輯鏈，通過核心邏輯鏈，各個核心邏輯塊之間就建立有依賴關(guān)系。在實際應用中，在核心邏輯塊之間的依賴關(guān)系可以是一對一、 一對多、交叉依賴或等級依賴的關(guān)系。具體來講，所述一對一的關(guān)系指的是包括有一個主核心邏輯塊和一個/人核心邏輯塊，例如，如圖3A所示，核心邏輯塊B(作
關(guān)系指的是包括有一個主核心邏輯塊和直接依賴于所述主核心邏輯塊的多個從核心邏輯塊，例如，如圖3B所示，核心邏輯塊B、 C(作為從核心邏輯塊)分別依賴于核心邏輯塊A (作為主核心邏輯塊)；所述交叉依賴的關(guān)系指的是多個核心邏輯塊之間相互依賴，例如，如圖3C所示，核心邏輯塊B、 C(作為從核心邏輯塊)依賴于核心邏輯塊A (作為主核心邏輯塊)，核心邏輯塊D(作為從核心邏輯塊)依賴于核心邏輯塊A、 B (作為主核心邏輯塊)；所述 等級依賴的關(guān)系指的是多個核心邏輯塊之間的依賴關(guān)系呈等級，例如，如圖 3D所示，核心邏輯塊B、 C (作為從核心邏輯塊)依賴于核心邏輯塊A (作 為主核心邏輯塊)，核心邏輯塊D、 E (作為從核心邏輯塊)分別依賴于核心 邏輯塊B、 C (作為主核心邏輯塊)。在這里，所謂的主核心邏輯塊和/人核心 邏輯塊是相對的，對于一個依賴關(guān)系來講，依賴者為從核心邏輯塊，被依賴 者為主核心邏輯塊。
所述核心邏輯、顯示邏輯塊和顯示數(shù)據(jù)之間的映射關(guān)系，指的就是負責 在核心邏輯塊、顯示邏輯塊和顯示數(shù)據(jù)之間建立鏈接，通過顯示邏輯鏈，核 心邏輯顯示邏輯塊和顯示數(shù)據(jù)之間建立映射關(guān)系。在本實施例中，在核心邏 輯、顯示邏輯塊和顯示數(shù)據(jù)之間的映射關(guān)系可以是一對一或一對多的關(guān)系。 具體來講，所述一對一的關(guān)系指的是一個核心邏輯塊與一個顯示邏輯塊建立 鏈接，例如，如圖4A所示，核心邏輯塊A、顯示邏輯塊K和顯示數(shù)據(jù)X建 立映射關(guān)系；所述一對多的關(guān)系指的是一個核心邏輯塊與多個顯示邏輯塊建 立鏈接，，例如，如圖4B所示，核心邏輯塊A、顯示邏輯塊K和顯示數(shù)據(jù)X 建立映射關(guān)系，核心邏輯塊A、顯示邏輯塊L和顯示凝:據(jù)Y建立映射關(guān)系， 核心邏輯塊A、顯示邏輯塊M和顯示數(shù)據(jù)Z建立映射關(guān)系，這樣就可在一個 系統(tǒng)狀態(tài)下顯示多個顯示數(shù)據(jù)。
通過步驟Sll,可以將所涉及的核心邏輯塊、顯示邏輯塊和顯示數(shù)據(jù)進行 分類，便于后續(xù)的檢查。具體而言，就是根據(jù)依賴關(guān)系進行分類，將相互之 間建立有依賴關(guān)系的核心邏輯塊列為一個檢查組。以及是根據(jù)映射關(guān)系進行 分類，將相互之間建立有映射關(guān)系的核心邏輯塊、顯示邏輯塊和顯示數(shù)據(jù)列 為一個^r查組。
接著執(zhí)行步驟S12，根據(jù)核心邏輯塊和顯示邏輯塊的數(shù)據(jù)信息，檢查具體 項目中核心邏輯塊之間的依賴關(guān)系或者核心邏輯塊、顯示邏輯塊和顯示數(shù)據(jù)之間的映射關(guān)系是否成立。
在本實施例中，對于核心邏輯塊之間的依賴關(guān)系是否成立，主要是在于
檢查A)、主核心邏輯塊的輸出數(shù)據(jù)的數(shù)據(jù)類型與從核心邏輯塊的輸入數(shù)據(jù) 的數(shù)據(jù)類型是否保持一致；B)、核心邏輯塊之間是否存在依賴回環(huán)的現(xiàn)象。 對于核心邏輯塊、顯示邏輯塊和顯示數(shù)據(jù)之間的映射關(guān)系是否成立，主要是 在于檢查a)、核心邏輯塊的輸出數(shù)據(jù)的數(shù)據(jù)類型與顯示邏輯塊的輸入數(shù)據(jù) 的數(shù)據(jù)類型是否一致；b)、顯示邏輯塊的輸出數(shù)據(jù)的數(shù)據(jù)類型與顯示數(shù)據(jù)的 數(shù)據(jù)類型是否保持一致。
對于A),以圖3B為例進行說明，核心邏輯塊A與核心邏輯塊B之間建 立依賴關(guān)系，核心邏輯塊A與核心邏輯C之間建立依賴關(guān)系。這樣在步驟S12 ， 就是要檢查核心邏輯塊A所能提供的輸出數(shù)據(jù)的數(shù)據(jù)類型與核心邏輯塊B所 需要的輸入數(shù)據(jù)的數(shù)據(jù)類型是否保持一致。同理，也包括檢查核心邏輯塊A 所能提供的輸出數(shù)據(jù)的數(shù)據(jù)類型與核心邏輯C所需要的輸入數(shù)據(jù)的數(shù)據(jù)類型 是否保持一致。若檢查發(fā)現(xiàn)不一致，則可以判定核心邏輯塊之間的依賴關(guān)系 不成立。
對于B )，還是以3B為例進行說明，就是4企查核心邏輯塊A與核心邏輯 塊B之間或核心邏輯塊A與核心邏輯C之間是否存在依賴回環(huán)的現(xiàn)象。若檢 查發(fā)現(xiàn)存在依賴回環(huán)的現(xiàn)象，則可以判定核心邏輯塊之間的依賴關(guān)系不成立。
所謂的依賴回環(huán)指的是核心邏輯塊之間建立的依賴關(guān)系形成環(huán)形的現(xiàn) 象，出現(xiàn)依賴回環(huán)會造成系統(tǒng)運行的死循環(huán)。如圖5所示，核心邏輯塊B依 賴于核心邏輯塊A,核心邏輯塊C依賴于核心邏輯塊B，而核心邏輯塊A又 依賴核心邏輯塊C，所述依賴關(guān)系即會造成依賴回環(huán)。
在實際應用中，假設所述圖形化數(shù)據(jù)處理系統(tǒng)應用于視頻處理領域中， 例如，核心邏輯塊A管理當前頻道(例如CCTV-1 )，核心邏輯塊B管理當前節(jié)目(例如新聞聯(lián)播)，核心邏輯塊B需要核心邏輯塊A提供頻道數(shù)據(jù)才能工 作。這時就是要檢查核心邏輯塊A提供的數(shù)據(jù)類型和核心邏輯塊B需要的數(shù) 據(jù)類型是否一致，倘若核心邏輯塊A提供頻道號時，核心邏輯塊B需要的也 應該是頻道號。另外，還要檢查核心邏輯塊A和核心邏輯塊B是否存在依賴 回環(huán)現(xiàn)象。
對于a)和b)，以圖4B為例進行說明，核心邏輯塊A、顯示邏輯塊L和 顯示數(shù)據(jù)Y建立有映射關(guān)系。這樣在步驟S12，就是要^r查核心邏輯塊A所 能提供的輸出數(shù)據(jù)的數(shù)據(jù)類型與顯示邏輯塊L所需要的輸入數(shù)據(jù)的數(shù)據(jù)類型 是否保持一致；以及檢查顯示邏輯塊L所能提供的輸出數(shù)據(jù)的數(shù)據(jù)類型與顯 示數(shù)據(jù)的數(shù)據(jù)類型是否保持一致。若檢查發(fā)現(xiàn)不一致，則可以判定核心邏輯 塊、顯示邏輯塊和顯示數(shù)據(jù)之間的映射關(guān)系不成立。
在實際應用中，假設所述圖形化數(shù)據(jù)處理系統(tǒng)應用于視頻處理領域中， 例如，核心邏輯塊A管理當前音量，顯示邏輯塊L能將一個數(shù)字轉(zhuǎn)換為字符 串，顯示數(shù)據(jù)X是某個文本框的屬性。這時就是要檢查核心邏輯塊A所提供 的數(shù)據(jù)類型是否是顯示邏輯塊L所需要的數(shù)據(jù)類型，倘若核心邏輯塊A提供 數(shù)字，顯示邏輯塊L需要的也應該一個數(shù)字；另外，還要檢查顯示邏輯塊L 所轉(zhuǎn)化出來的數(shù)據(jù)類型是否是顯示數(shù)據(jù)X所需要的數(shù)據(jù)類型，倘若顯示邏輯 塊L輸出字符串，顯示數(shù)據(jù)X需要的也應該是字符串。
接著執(zhí)行步驟S14，輸出檢查結(jié)果。在本實施例中，所述輸出檢查結(jié)果可 以通過圖形化界面輸出，所述圖形化界面可以是列表或圖表的方式，具體顯 示上，可以采取將比對的所有結(jié)果都顯示出來，并將出錯的部分以高亮或以 不同的顏色來顯示。也可以采取僅將出錯的部分顯示出來。工作人員就可以 根據(jù)所述檢查結(jié)果，找到出錯的部分，并可以相應地對其進行修正，快速且 準確。通過上述各步驟，能夠?qū)D形化數(shù)據(jù)處理系統(tǒng)中所涉及的核心邏輯塊之 間的依賴關(guān)系以及核心邏輯塊、顯示邏輯塊和顯示數(shù)據(jù)之間的映射關(guān)系可能 存在的錯誤能夠快速且準確地檢查出來，大大降低了系統(tǒng)運行的出錯率，既 減少了開發(fā)周期并降低了開發(fā)成本。
圖6顯示了本發(fā)明錯誤檢查方法在另一個具體實施例中的流程示意圖。
如圖6所示，所述錯誤檢查方法包括如下步驟
S20，根據(jù)具體項目，得到核心邏輯塊之間的依賴關(guān)系以及核心邏輯塊、 顯示邏輯塊和顯示邀:據(jù)之間的映射關(guān)系；
4呂息^
S22，根據(jù)核心邏輯塊和顯示邏輯塊的數(shù)據(jù)信息，檢查具體項目中核心邏 輯塊之間的依賴關(guān)系或者核心邏輯塊、顯示邏輯塊和顯示數(shù)據(jù)之間的映射關(guān) 系是否成立；
S23,輸出檢查結(jié)果。
這樣，就可以根據(jù)具體項目，可以對于所述具體項目中所涉及的核心邏 輯塊之間的依賴關(guān)系以及核心邏輯塊、顯示邏輯塊和顯示數(shù)據(jù)之間的映射關(guān) 系進行錯誤檢查，所述各步驟中的具體內(nèi)容可參照前述實施例中的描述。在 所述另 一具體實施例中，相對提高錯誤檢查的針對性。
雖然本發(fā)明已通過較佳實施例說明如上，但這些較佳實施例并非用以限 定本發(fā)明。本領域的技術(shù)人員，在不脫離本發(fā)明的精神和范圍內(nèi)，應有能力 對該較佳實施例做出各種改正和補充，因此，本發(fā)明的保護范圍以權(quán)利要求 書的范圍為準。
權(quán)利要求
1.一種錯誤檢查方法，其特征在于，包括搜索并讀取圖形化數(shù)據(jù)處理系統(tǒng)中核心邏輯塊和顯示邏輯塊的數(shù)據(jù)信息；根據(jù)具體項目，得到核心邏輯塊之間的依賴關(guān)系以及核心邏輯塊、顯示邏輯塊和顯示數(shù)據(jù)之間的映射關(guān)系；根據(jù)核心邏輯塊和顯示邏輯塊的數(shù)據(jù)信息，檢查具體項目中核心邏輯塊之間的依賴關(guān)系或者核心邏輯塊、顯示邏輯塊和顯示數(shù)據(jù)之間的映射關(guān)系是否成立。
2. 如權(quán)利要求1所述的錯誤檢查方法，其特征在于，還包括輸出檢查結(jié)果。
3. 如權(quán)利要求1所述的錯誤檢查方法，其特征在于，核心邏輯塊之間的依賴 關(guān)系成立的條件包括主核心邏輯塊的輸出數(shù)據(jù)的數(shù)據(jù)類型與從核心邏輯塊 的輸入數(shù)據(jù)的數(shù)據(jù)類型相 一 致。
4. 如權(quán)利要求3所述的錯誤檢查方法，其特征在于，核心邏輯塊之間的依賴 關(guān)系成立的條件還包括核心邏輯塊之間不存在依賴回環(huán)的現(xiàn)象。
5. 如權(quán)利要求1所述的錯誤;險查方法，其特征在于，核心邏輯塊、顯示邏輯 塊和顯示數(shù)據(jù)之間的映射關(guān)系成立的條件包括核心邏輯塊的輸出數(shù)據(jù)的數(shù) 據(jù)類型與顯示邏輯塊的輸入數(shù)據(jù)的數(shù)據(jù)類型相一致。
6. 如權(quán)利要求5所述的錯誤檢查方法，其特征在于，核心邏輯塊、顯示邏輯 塊和顯示數(shù)據(jù)之間的映射關(guān)系成立的條件還包括顯示邏輯塊的輸出數(shù)據(jù)的數(shù)據(jù)類型與顯示數(shù)據(jù)的數(shù)據(jù)類型相一致。
7. 如權(quán)利要求1所述的錯誤檢查方法，其特征在于，在核心邏輯塊之間的依 賴關(guān)系具體為一對一、 一對多、交叉依賴或等級依賴的關(guān)系。
8.如權(quán)利要求1所述的錯誤檢查方法，其特征在于，核心邏輯、顯示邏輯塊 和顯示數(shù)據(jù)之間的映射關(guān)系具體為 一對一或一對多的關(guān)系。
全文摘要
一種錯誤檢查方法，包括搜索并讀取圖形化數(shù)據(jù)處理系統(tǒng)中核心邏輯塊和顯示邏輯塊的數(shù)據(jù)信息；根據(jù)具體項目，得到核心邏輯塊之間的依賴關(guān)系以及核心邏輯塊、顯示邏輯塊和顯示數(shù)據(jù)之間的映射關(guān)系；根據(jù)核心邏輯塊和顯示邏輯塊的數(shù)據(jù)信息，檢查具體項目中核心邏輯塊之間的依賴關(guān)系或者核心邏輯塊、顯示邏輯塊和顯示數(shù)據(jù)之間的映射關(guān)系是否成立。相較于現(xiàn)有技術(shù)，本發(fā)明能將核心邏輯塊之間的依賴關(guān)系或核心邏輯塊、顯示邏輯塊和顯示數(shù)據(jù)之間的映射關(guān)系產(chǎn)生的錯誤快速且準確地檢查出，確保圖形化數(shù)據(jù)處理系統(tǒng)中各具體項目能夠?qū)崿F(xiàn)。
文檔編號G06F11/36GK101515249SQ20091004848
公開日2009年8月26日 申請日期2009年3月26日 優(yōu)先權(quán)日2009年3月26日
發(fā)明者嵐 劉, 昊 殷, 琦 董 申請人:華亞微電子(上海)有限公司