人們常說:“良藥苦口利于病。”人生病以后必須要吃藥、打針甚至動手術(shù),總得吃點苦頭,但是在電腦世界里,一種新系統(tǒng)給電腦治病的方法卻別具一格,它靠“愚弄”電腦來發(fā)現(xiàn)和解決問題。
因特網(wǎng)近20年來幾乎每年都擴大一倍,怎樣在如此巨大的范圍內(nèi)檢測網(wǎng)絡(luò)軟件是一大難題。傳統(tǒng)的方法是通過電腦模擬,就像初級飛行員通過模型駕駛艙學(xué)習(xí)飛機駕駛技術(shù)。但是用模擬法檢測必須重新制作一個類似的軟件,最初的軟件不能被測試,那樣就產(chǎn)生了兩個不同的版本,而且沒有正規(guī)的程序可以確定檢測的真實結(jié)果。
另一種方法是比較法,或者說直接檢測最初的軟件。用這種方法,程序員可以只編一次軟件,不需要為了測試而重新編寫。但是比較法的控制程度非常低。
美國維吉尼亞計算機科學(xué)技術(shù)部門的斯里尼迪?瓦拉達拉想到:“為什么不制造一個虛擬世界,讓軟件誤以為是在真實世界中呢?”經(jīng)過研究,他提出一種新的電腦技術(shù),由程序員使用密碼把一種規(guī)劃的語言轉(zhuǎn)化成類似的規(guī)劃形式,產(chǎn)生虛擬世界。被捉弄的軟件會以為這是真實的世界,在里面運行,由此找到所存在的問題。這種新技術(shù)被稱做“編織法”。
“編織法”能夠彌補模擬法和比較法的不足,“你根本無法檢測200萬臺電腦上的網(wǎng)絡(luò)軟件,甚至檢測5000臺都很困難。”他說,“但是我們能產(chǎn)生幾十萬個虛擬世界,使軟件以為它們正在大規(guī)模網(wǎng)絡(luò)里運行。這一技術(shù)將領(lǐng)導(dǎo)虛擬因特網(wǎng)的創(chuàng)造。”
“編織法”能做所有已存在的系統(tǒng)所能做的事,經(jīng)過反復(fù)的分析,它能識別任何一種語言。同時,“編織法”也考慮到了錯誤。瓦拉達拉說:“在生活中,我們每做一件事都要根據(jù)自己的知識和經(jīng)驗。如果我們知道犯了錯并想改正的話,我們必須記得當(dāng)時的經(jīng)過。”在電腦上,程序也必須記得引導(dǎo)它犯錯誤的每一個步驟。“嘗試挽救所有的數(shù)據(jù)很困難,”瓦拉達拉說,“我們正在嘗試制造網(wǎng)絡(luò)幻景,這樣可以在不知道犯錯步驟的情況下找到錯誤的根源。‘編織法’可以自動完成這些。它會記錄和挽救數(shù)據(jù),告訴我們哪些操作需要及時改正。”這種系統(tǒng)允許對語言和密碼進行編織,以便快速對沒有申請支持的數(shù)據(jù)進行自動機械檢查和恢復(fù)。對于瓦拉達拉的提議,美國國家科學(xué)基礎(chǔ)事業(yè)給予了40萬美元的獎勵。他將繼續(xù)他的研究,增加以模擬為基礎(chǔ)的課題,用來幫助世界各國網(wǎng)絡(luò)課程的學(xué)生,以免他們花費過多的時間和精力學(xué)習(xí)復(fù)雜的虛擬網(wǎng)絡(luò)功課。