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

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

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

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