基于AUTOSTAR的智能電視仿真平臺(tái)設(shè)計(jì)與實(shí)現(xiàn).pdf

1、智能電視相比傳統(tǒng)電視由于增加上網(wǎng)瀏覽、音視頻文件播放、下載各種應(yīng)用軟件等多種功能，系統(tǒng)軟硬件變得異常復(fù)雜，用戶使用也相對(duì)繁瑣，如何確保系統(tǒng)UI設(shè)計(jì)具有人性化，使產(chǎn)品受用戶歡迎，同時(shí)保證軟件本身沒有錯(cuò)誤是目前智能電視廠家面臨的主要問題。開發(fā)智能電視仿真平臺(tái)希望解決上述兩個(gè)問題，一是將系統(tǒng)需求在仿真系統(tǒng)上仿真使用，盡早發(fā)現(xiàn)用戶可能使用不方便的問題，二是后期軟件可進(jìn)一步仿真，發(fā)現(xiàn)軟件邏輯問題。
　　采用擴(kuò)充有限狀態(tài)機(jī)對(duì)智能電視需求分析進(jìn)

2、行建模、仿真，用戶通過虛擬遙控器、鍵盤、鼠標(biāo)操控虛擬的智能電視，以發(fā)現(xiàn)UI存在的問題以及使用不夠人性的問題。提出采用狀態(tài)變遷矩陣(STM)對(duì)擴(kuò)充的有限狀態(tài)自動(dòng)機(jī)進(jìn)行建模，STM是一個(gè)二維矩陣，橫向?yàn)橄到y(tǒng)處于的狀態(tài)，縱向?yàn)閬碜杂谕饨缁蛳到y(tǒng)產(chǎn)生的各種事件，中間單元表示在某一狀態(tài)下針對(duì)某一事件的處理過程。由于STM支持嵌套簡(jiǎn)化了系統(tǒng)建模的難度。最后采用AUTOSTAR實(shí)現(xiàn)虛擬的智能電視系統(tǒng)，AUTOSTAR提供VIP接口，顯示部分采用VB實(shí)現(xiàn)

3、。
　　虛擬遙控器和虛擬鍵盤采用C#實(shí)現(xiàn)，智能電視虛擬仿真系統(tǒng)采用AUTOSTAR開發(fā)，AUTOSTAR是一款面向嵌入式軟件開發(fā)的CASE工具，方便了智能電視復(fù)雜邏輯建模，提高了建模速度和效率，整個(gè)系統(tǒng)運(yùn)行在windows7平臺(tái)上。最后對(duì)系統(tǒng)進(jìn)行了黑盒測(cè)試，選取了近百個(gè)測(cè)試用例測(cè)試采用虛擬遙控器、虛擬鍵盤、虛擬鼠標(biāo)操控智能電視。系統(tǒng)在國(guó)內(nèi)幾個(gè)智能電視機(jī)廠家得到應(yīng)用，一是可盡早發(fā)現(xiàn)智能電視UI設(shè)計(jì)的非人性化問題，減少了設(shè)計(jì)的盲目性，