计算机系统的检验方法技术方案

一计算机系统的检验系统应该不受要检验的数据库变化或扩展的影响。根据本发明专利技术，通过采用一个检验控制表使检验逻辑／执行码和数据库相互解耦，这个检验控制表通过一包含所有检验样本的非专用数据结构进行编址。（*该技术在2016年保护过期，可自由使用*）

【技术实现步骤摘要】
计算机系统、例如一通信网络的转接系统包含独立的检验系统，又称为检验逻辑程序或审查程序，它并行地或在需要时对转接技术数据等应用有关数据执行功能扩展的一致性检验。所谓的审查程序应能在系统故障或限制应用功能(例如转接功能)之前查出不一致性并予以排除或修正。这里所述的数据不一致性(Dateninkonsistenzen)例如可以根据中断故障或过载情况下的通信损失而产生。下面将从一种检验转接技术数据用的检验逻辑说明本专利技术的出发点。每一端口类型(例如用户、中断线和试验装置)都是以软件方式由一单独的数据类型(数据模式)来定义的，在此一个数据类型的数据结构总体(瞬态值、变量)以下也称为数据库。每个端口的状态说明数据每次均存入该数据类型的一瞬态数据结构，其在以下也称为“位报告组”，因为端口的状态借助于瞬态数据结构表示为一种二进制位的组合形式(在高级语言(Chill)中，这些位报告组称为幂集(“POWERSET”))。因此一种接口类型(端口类型)因而其所属数据类型的改变或扩展总是会对所述检验逻辑产生影响。本专利技术的目的在于提供一种检验系统，它可独立地工作，不受要检验的数据库的改变或扩展的影响。本专利技术的目的是这样实现的，在计算机系统的检验系统中，检验代码包括一转换代码，它将来自至少一个数据结构的实际数据值传输到该检验系统的一个非专用的数据结构中；该检验代码包含一标准检验码，它从该非专用的数据结构中取出实际的数据值，根据该数据值求出实际产生的数据组合，并且按照所述的检验控制表确定要实施的操作(Aktion)。应用本专利技术可实现将计算机应用系统的检验软件与数据库解耦。这样当检验逻辑由于新的需求必须改变时，该检验逻辑的原来的代码可保持不变，由于这种去耦合处理方法的应用，本专利技术有助于检验功能的标准化(非一致化、有条件的一致性、一致性及其组合)。本专利技术的一个实施例体现在权利要求2的内容中，这个实施例的优点在于所述检验控制表易于扩展，它提供较高的透明度，较好的文献和简化的管理(例如在插入码时)。此外，标准检验码可作为某一类检验码而实现。下面以按本专利技术的检验逻辑产生的代码例进一步说明本专利技术的实施例。利用本专利技术的一个两维表格实现一应用系统的数据库(例如转接技术数据库)和检验逻辑/执行码的解耦，该表格通过一包含所有检验样本的非专用数据结构被选址。该表格的其中一维是由包含在一个可靠的数据结构中的检验样本构成的，使在该一维已选址的表中的编号(Nummer)与在非专用数据结构中的位置相对应，该表格的另一维由一要检验的目标构成，这个目标(Objekte)可以但不必与检验样本相同，它定义为字符串，在此该字符本身确定了要执行的检验功能(例如“i”无效的，“O”其中之一，“数字”有条件的一致性)。<pre listing-type="program-listing"><![CDATA[/*数据库的原来模式*/　　SYNMODE PORTSTATE_MOD ＝ STRUCT(BUSY_INC BOOL，　　 BUSY_OUT BOOL，　　 WAY SET (X_WAY，Y_WAY，　　FREE_WAY))；　　DCL PORTSTATE PORTSTATE_MOD；/*为建立一个非专用的检验逻辑，定义一位报告组*/　　SYNMODE PORTSTATE_N ＝ SET(DUMMY，B_INC，B_OUT，X_WAY，　　Y_WAY，　　 FR_WAY)./*根据该非专用位报告组现在实现从PORSTATE→ACTUAL_PORTSTATE的转换*/SYNMODE PORTSTATE_PWS ＝ POWERSET(PORTSTATE_N)；DCL ACTUAL_PORTSTATE PORTSTATE_PWS；SYNMODE MAX ＝ NUM (FR_WAY)；DCL LISTE ARRAY (0MAX) PORTSTATE_N＜＞PROTECT＜＞INIT＝(　　(0)DUMMY，　　(1)B_INC，　　(2)B_OUT，　　(3)X_WAY，　　(4)Y_WAY，　　(5)FR_WAY)；ACTUAL_PORTSTATE＝　　 PORTSTATE_PWS(LISTE(NUM(PORTSTATE.BUSY INC)*1))/*1*/ OR PORTSTATE_PWS(LISTE(NUM(PORTSTATE.BUSY_OUT)*2))/*2*/ OR PORTSTATE_PWS(LISTE(NUM(PORTSTATE.WAY)+2))/*3，4，5*/　　/*在“ACTUAL_PORTSTATE”的存储映象中，一个逻辑“1”只具有同样的比特位置，它与应用程序的表示状态的数据单元相对应，于是确定了这个用户的状态，例如BUSY_INC和Y_WAY*/　　/*这里是转换的终点，以此实现了该检验逻辑的专用部分。*/　　/*接着定义非专用应用的两维检验控制表“CHECKTABLE”*/<paragraph id="d10"></paragraph>/*接着是一小的检验实例的检验逻辑代码*/DO WHILE/*并非所有位在端口状态被检验*/　　ACTUAL_PORTSTATE≠(∷)　　MASTER＝MIN(ACTUAL_PORTSTATE)；　　/*取出在幂集中包含的最小的设定单元，并利用它实现检验控制表纵向上的选址*/　　*/MASTER只采用由该用户真正设定的值*/　　OTHER＝NOT(∷)；　　*/其他包含幂集的所有比特位*/　　DO WHILE/*这个(MASTER)位没有相对其他各比特位　　 被校验*/　　 OTHER≠(∷)；　　SLAVE＝MIN(OTHER)　　/*SLAVE采用所有可能的值*/　　CASE CHECK_TABLE(MASTER，(NUM(SLAVE)*2)OF　　*/将“SLAVE”与2相乘的作用是使在两维表格中只对同样的字符选址，其在字符串内部起控制符作用。其他字符的作用只是增加检验码内该表格的易读性。为此有必要在数据结构“LISTE”中引入“DUNMY”*/　　(i)/*这是一种无数组合*/　　IF SLAVE IN ACTUAL_PORTSTATE　　/*只有当用户实际将SLAVE置位时，我们具有一个　　 无效的MASTER_SLAVE组合*/　　/*例如，如果X_WAY和Y_WAY共同存在*/THEN　　 /*校正错误*/　　 FI；　　(o)/*这些状态之一是强制性的*/　　IF NOT(SLAVE IN ACTUAL PORTSTATE　　THEN　　 /*校正错误*/　　FI；(1)/*这是仅用于收费制用户的一种无效组合*/　　 IF SLAVE IN ACTUAL PORTSTATE　 AND PORT_TYPE＝ORDINARY_SUBSCRIBER　　 THEN　　 /*校正错误*/　　FI；ESAC；OTHER＝OTHER-(SLAVE)；/*转入下一随动项*/OD；ACTUAL PORTSTATE＝ACTUAL PORTSTATE-(MASTER)/*转入下一实际状态*/OD；]]></pre>下本文档来自技高网...

【技术保护点】
一种计算机系统的检验系统，执行对应用程序有关的数据的一致性检验，并且在必要时进行排除或修正操作，包括：ａ）一个检验控制表，它根据存在于该表内的每种可能的数据组合的控制字符分配一种相应的操作，当出现某确定的数据组合时，能引起该操作的动作， ｂ）一检验码，它从一应用程序的至少一个数据结构中读取出实际的数据值，并根据该数据值判断出实际产生的数据组合，借助于上述检验控制表确定每次要执行的操作，其特征在于，ｃ）该检验码包括一转换码，它将取自至少一种数据结构的该实际数据值传 送到该检验系统的非专用数据结构中，ｄ）该检验码包括一标准检验码，它从该非专用的数据结构中取出实际的数据值，根据该数据值判断出实际出现的数据组合，并借助于所述的检验控制表确定每次要执行的操作。

【技术特征摘要】
...

【专利技术属性】
技术研发人员：P迪克拉克，
申请(专利权)人：西门子公司，
类型：发明
国别省市：DE[德国]