基于SOFL形式化語言的軟件組件的設(shè)計與實(shí)現(xiàn).pdf

1、隨著軟件工程方法在實(shí)際編碼過程中被越來越多的使用，一份準(zhǔn)確的需求文檔的重要性愈發(fā)突出。因此，一種結(jié)構(gòu)化的、面向?qū)ο蟮男问交Z言（簡稱SOFL）被提出來，用于將描述需求的自然語言轉(zhuǎn)化為可以被編碼人員快速理解的形式化語言。目前，SOFL形式化語言可以被專門的工具編譯處理，結(jié)果保存在XML文檔中。但是，當(dāng)系統(tǒng)需求較為繁瑣時，得到的XML文件的結(jié)構(gòu)也將相應(yīng)地變得復(fù)雜。這就導(dǎo)致了重用該XML文件進(jìn)行其他相關(guān)開發(fā)變得難以進(jìn)行。為了解決這個問題，能夠

2、從XML文件中提取關(guān)鍵信息并經(jīng)過一系列處理后交給其他程序復(fù)用的軟件組件需要被設(shè)計并實(shí)現(xiàn)出來。
　　論文詳細(xì)地介紹了這些用來從SOFL形式化語言中提取關(guān)鍵信息的組件的設(shè)計與實(shí)現(xiàn)。這些組件能夠按照特定的數(shù)據(jù)格式提供這些提取出的信息，以便于其他程序進(jìn)行調(diào)用。組件為SOFL形式化語言下的基礎(chǔ)軟件包，基于C＃語言實(shí)現(xiàn)，開發(fā)環(huán)境為VS2012。按照軟件工程的方法，首先對軟件組件的需求進(jìn)行了分析，其次對軟件組件的結(jié)構(gòu)和功能進(jìn)行了總體設(shè)計，然后進(jìn)

3、一步的對軟件組件的各個類進(jìn)行了詳細(xì)的設(shè)計，包括類中的數(shù)據(jù)結(jié)構(gòu)的設(shè)計以及類所提供的可調(diào)用方法的設(shè)計。在具體實(shí)現(xiàn)時，對構(gòu)成軟件組件的類進(jìn)行了代碼實(shí)現(xiàn)，包括一個基礎(chǔ)類的實(shí)現(xiàn)和七個標(biāo)準(zhǔn)類的實(shí)現(xiàn)。
　　該軟件組件通過對外提供大量的可調(diào)用方法，幫助SOFL相關(guān)技術(shù)的開發(fā)工作能夠順利完成，提升了其工作效率以及產(chǎn)出的代碼質(zhì)量。在測試環(huán)節(jié)，該軟件組件被應(yīng)用到一個實(shí)際的ATM機(jī)系統(tǒng)的案例中，有效地對其SOFL形式化語言文檔進(jìn)行了處理，以此來驗證組件的