程序設(shè)計試題的測試數(shù)據(jù)的語義化建模研究.pdf

1、隨著程序設(shè)計競賽領(lǐng)域內(nèi)的許多研究，包括在線競賽平臺的開發(fā)和競賽選手訓(xùn)練輔助系統(tǒng)的研究等等，這樣一些需求或設(shè)想被提了出來，它們都希望機(jī)器可以自動化地處理程序設(shè)計試題的測試數(shù)據(jù)，包括:自動化地檢驗一道題目的每組測試用例是否符合題目的描述，包括格式是否正確或者數(shù)據(jù)是否在題目規(guī)定的范圍內(nèi)等等;自動化地檢驗所有測試數(shù)據(jù)對各個輸入變量的邊界值覆蓋情況，以考查測試數(shù)據(jù)的完備性;輔助出題者生成邏輯結(jié)構(gòu)較為復(fù)雜的測試數(shù)據(jù)，并且保證它們的正確性與一定的完備

2、性，等等……實現(xiàn)這些功能的前提是機(jī)器能夠理解測試數(shù)據(jù)的實質(zhì)內(nèi)容。
　　 另一方面，在大多數(shù)程序設(shè)計試題中，測試數(shù)據(jù)都被要求以純文本的形式被輸入;而且，這些純文本并不代表簡單的變量，而是代表問題的背景故事中的一些事物以及它們的狀態(tài)。不同題目的測試數(shù)據(jù)可能表達(dá)不同的事物;即使它們表達(dá)相似或相同的事物，不同題目的出題者也可能定義不同的格式來表達(dá)。因此，即使編寫了程序讓機(jī)器來處理測試數(shù)據(jù)，對于不同題目的測試數(shù)據(jù)，程序也需要以不同邏輯來處

3、理。
　　 為了使同一個程序可以處理不同的題目的測試數(shù)據(jù)，本文提出了測試數(shù)據(jù)的概念模型和格式模型，對測試數(shù)據(jù)進(jìn)行語義化的描述。每道題目的測試數(shù)據(jù)概念模型描述了問題的背景中的各類事物的本體;每道題目的測試數(shù)據(jù)格式模型描述了這些事物按照題目要求的純文本表達(dá)格式。出題者只要建立一道題目的測試數(shù)據(jù)概念模型和格式模型，機(jī)器就可以理解每組測試用例表達(dá)的是怎樣的事物。
　　 雖然不同題目的測試數(shù)據(jù)的概念模型和格式模型會有所不同，但是本