[發明專利]計算機系統的校驗系統

無效

• 申請號: 96101287.0
• 申請日: 1996-02-16
• 公開（公告）號: CN1136183A
• 公開（公告）日: 1996-11-20
• 發明（設計）人: P·迪克拉克
• 申請（專利權）人: 西門子公司
• 主分類號: G06F11/30
• 分類號: G06F11/30
• 代理公司: 中國專利代理(香港)有限公司
• 代理人: 王勇,蕭掬昌

計算機系統、例如一通信網絡的轉接系統包含獨立的檢驗系統，又稱為檢驗邏輯程序或審查程序，它并行地或在需要時對轉接技術數據等應用有關數據執行功能擴展的一致性檢驗。所謂的審查程序應能在系統故障或限制應用功能(例如轉接功能)之前查出不一致性并予以排除或修正。這里所述的數據不一致性(Dateninkonsistenzen)例如可以根據中斷故障或過載情況下的通信損失而產生。

下面將從一種檢驗轉接技術數據用的檢驗邏輯說明本發明的出發點。????

每一端口類型(例如用戶、中斷線和試驗裝置)都是以軟件方式由一單獨的數據類型(數據模式)來定義的，在此一個數據類型的數據結構總體(瞬態值、變量)以下也稱為數據庫。每個端口的狀態說明數據每次均存入該數據類型的一瞬態數據結構，其在以下也稱為“位報告組”，因為端口的狀態借助于瞬態數據結構表示為一種二進制位的組合形式(在高級語言(Chill)中，這些位報告組稱為冪集(“POWERSET”))。因此一種接口類型(端口類型)因而其所屬數據類型的改變或擴展總是會對所述檢驗邏輯產生影響。

本發明的目的在于提供一種檢驗系統，它可獨立地工作，不受要檢驗的數據庫的改變或擴展的影響。

本發明的目的是這樣實現的，在計算機系統的檢驗系統中，檢驗代碼包括一轉換代碼，它將來自至少一個數據結構的實際數據值傳輸到該檢驗系統的一個非專用的數據結構中；該檢驗代碼包含一標準檢驗碼，它從該非專用的數據結構中取出實際的數據值，根據該數據值求出實際產生的數據組合，并且按照所述的檢驗控制表確定要實施的操作(Aktion)。

應用本發明可實現將計算機應用系統的檢驗軟件與數據庫解耦。這樣當檢驗邏輯由于新的需求必須改變時，該檢驗邏輯的原來的代碼可保持不變，由于這種去耦合處理方法的應用，本發明有助于檢驗功能的標準化(非一致化、有條件的一致性、一致性及其組合)。

本發明的一個實施例體現在權利要求2的內容中，這個實施例的優點在于：所述檢驗控制表易于擴展，它提供較高的透明度，較好的文獻和簡化的管理(例如在插入碼時)。此外，標準檢驗碼可作為某一類檢驗碼而實現。

下面以按本發明的檢驗邏輯產生的代碼例進一步說明本發明的實施例。

利用本發明的一個兩維表格實現一應用系統的數據庫(例如轉接技術數據庫)和檢驗邏輯/執行碼的解耦，該表格通過一包含所有檢驗樣本的非專用數據結構被選址。該表格的其中一維是由包含在一個可靠的數據結構中的檢驗樣本構成的，使在該一維已選址的表中的編號(Nummer)與在非專用數據結構中的位置相對應，該表格的另一維由一要檢驗的目標構成，這個目標(Objekte)可以但不必與檢驗樣本相同，它定義為字符串，在此該字符本身確定了要執行的檢驗功能(例如：“i”無效的，“O”其中之一，“數字”有條件的一致性)。