計(jì)算機(jī)聯(lián)鎖自動(dòng)測(cè)試系統(tǒng)用模塊化的計(jì)算機(jī)程序代替大部分傳統(tǒng)手工測(cè)試項(xiàng)目，大大提高了測(cè)試效率，降低了測(cè)試出錯(cuò)機(jī)率。其中對(duì)可能的誤操作的測(cè)試是對(duì)聯(lián)鎖系統(tǒng)的安全性有著關(guān)鍵性影響的重要部分。本文提出了誤操作指令的搜索算法，實(shí)現(xiàn)了用較低的時(shí)間復(fù)雜度搜索得到所有可能的誤操作指令，以逐一對(duì)其進(jìn)行測(cè)試。
關(guān)鍵詞：計(jì)算機(jī)聯(lián)鎖，自動(dòng)測(cè)試，算法，時(shí)間復(fù)雜度
Algorithm of misoperation commands searching of automatic test system for computer interlocking system Zhang Han, Yu Tuohua, Jin Depeng （Department of Electronic Engineering, Tsinghua University, Beijing 100084） Abstract: Automatic test system(ATS) for computer interlocking system, which can substitute computer program for most of traditional manual operations, would greatly reduce error rate of test and security risks of traffic system. Misoperation test module is an very important part of the test system for security. This paper presents algorithm of misoperation commands searching. The algorithm can find all probable misoperation commands in lower time complexity for test.
Keywords: computer interlocking system, ATS, algorithm, time complexity