當(dāng)前位置:首頁(yè) > 嵌入式 > 嵌入式分享
[導(dǎo)讀]確保應(yīng)用程序可靠性是一項(xiàng)永無(wú)止境的任務(wù)。有限狀態(tài)機(jī)(FSM) 通過將系統(tǒng)行為建模為狀態(tài)和轉(zhuǎn)換來提供解決方案,這是一種有用的工具,可以幫助軟件工程師了解軟件行為并設(shè)計(jì)有效的測(cè)試用例。

確保應(yīng)用程序可靠性是一項(xiàng)永無(wú)止境的任務(wù)。有限狀態(tài)機(jī)(FSM) 通過將系統(tǒng)行為建模為狀態(tài)和轉(zhuǎn)換來提供解決方案,這是一種有用的工具,可以幫助軟件工程師了解軟件行為并設(shè)計(jì)有效的測(cè)試用例。

本文通過簡(jiǎn)單示例探討 FSM 的優(yōu)缺點(diǎn)。我們還將對(duì) FSM 和程序圖在軟件測(cè)試中的實(shí)用性和適用性進(jìn)行簡(jiǎn)要比較。

什么是 FSM?

FSM 是一種強(qiáng)大的工具,用于對(duì)表現(xiàn)出不同狀態(tài)和這些狀態(tài)之間轉(zhuǎn)換的系統(tǒng)進(jìn)行建模。它們是系統(tǒng)行為的視覺路線圖。以下是其核心原則的細(xì)分:

· FSM 是一個(gè)有向圖,其中節(jié)點(diǎn)表示狀態(tài),邊表示狀態(tài)之間的轉(zhuǎn)換。

· 轉(zhuǎn)換由事件觸發(fā),進(jìn)入或離開某個(gè)狀態(tài)時(shí)可能會(huì)發(fā)生動(dòng)作。

· 轉(zhuǎn)換上的標(biāo)簽指定觸發(fā)它們的事件以及轉(zhuǎn)換期間發(fā)生的操作。

· FSM 是一種簡(jiǎn)單而直觀的方式,用于表示對(duì)各種事件做出不同反應(yīng)的系統(tǒng)。

讓我們探索簡(jiǎn)單自動(dòng)售貨機(jī)的Python代碼并演示 FSM 如何幫助設(shè)計(jì)有效的測(cè)試用例。

Python

class VendingMachine:

def __init__(self):

self.state = "idle"

self.inserted_amount = 0

self.product_selected = None

def insert_coin(self, amount):

if self.state == "idle":

self.inserted_amount += amount

print(f"Inserted ${amount}. Current amount: ${self.inserted_amount}")

else:

print("Machine busy, please wait.")

def select_product(self, product):

if self.state == "idle" and self.inserted_amount >= product.price:

self.state = "product_selected"

self.product_selected = product

print(f"Selected {product.name}.")

else:

if self.state != "idle":

print("Please dispense product or return coins first.")

else:

print(f"Insufficient funds for {product.name}.")

def dispense_product(self):

if self.state == "product_selected":

print(f"Dispensing {self.selected_product.name}.")

self.state = "idle"

self.inserted_amount = 0

self.product_selected = None

else:

print("No product selected.")

def return_coins(self):

if self.state == "idle" and self.inserted_amount > 0:

print(f"Returning ${self.inserted_amount}.")

self.inserted_amount = 0

else:

print("No coins to return.")

# Example products

class Product:

def __init__(self, name, price):

self.name = name

self.price = price

product1 = Product("Soda", 1.00)

product2 = Product("Chips", 0.75)

# Example usage

vending_machine = VendingMachine()

vending_machine.insert_coin(1.00)

vending_machine.select_product(product1)

vending_machine.dispense_product()

vending_machine.insert_coin(0.50)

vending_machine.select_product(product2)

vending_machine.dispense_product()

vending_machine.return_coins()

該代碼模擬了一臺(tái)基本的自動(dòng)售貨機(jī),具有投幣、選擇產(chǎn)品、分配和退幣等功能。讓我們看看 FSM 如何幫助我們創(chuàng)建強(qiáng)大的測(cè)試用例。

自動(dòng)售貨機(jī)的 FSM 設(shè)計(jì)

自動(dòng)售貨機(jī)的FSM可能有四種狀態(tài):

1. 空閑:機(jī)器等待用戶輸入的初始狀態(tài)

2. 投幣:用戶投幣后狀態(tài)激活

3. 產(chǎn)品選擇:選擇產(chǎn)品并有足夠的資金后狀態(tài)有效

4. 分配:當(dāng)產(chǎn)品分配完畢并退還零錢(如果有)時(shí),狀態(tài)為有效

過渡和事件

· 空閑 -> 投幣:insert_coin通過方法觸發(fā)

· 投幣 -> 空閑:如果用戶在非“空閑”狀態(tài)下嘗試插入硬幣則觸發(fā)(錯(cuò)誤場(chǎng)景)

· 空閑 -> 產(chǎn)品選擇:select_product如果資金充足,則通過該方法觸發(fā)

· 產(chǎn)品選擇 -> 空閑:如果用戶選擇的產(chǎn)品沒有足夠的資金,或者在選擇產(chǎn)品時(shí)嘗試其他操作,則觸發(fā)

· 產(chǎn)品選擇 -> 分配:dispense_product通過方法觸發(fā)

· 分配 -> 空閑:分配產(chǎn)品并歸還零錢后達(dá)到最終狀態(tài)

使用 FSM 生成測(cè)試用例

通過分析FSM,我們可以設(shè)計(jì)全面的測(cè)試用例來徹底測(cè)試程序:

1. 投幣及選擇商品

· 插入各種面額的硬幣(有效金額和無(wú)效金額)。

· 選擇資金準(zhǔn)確、充足、不足的產(chǎn)品。

· 根據(jù)插入的數(shù)量和選擇驗(yàn)證機(jī)器是否轉(zhuǎn)換到正確的狀態(tài)。

測(cè)試用例示例:

1. 從“空閑”狀態(tài)啟動(dòng)。

2. 投入 1.00 美元(轉(zhuǎn)換至“投幣”)。

3. 選擇“蘇打水”(如果資金足夠則轉(zhuǎn)換到“產(chǎn)品選擇”,否則保持“空閑”狀態(tài))。

4. 驗(yàn)證消息:“選定蘇打水。”

5. 投入0.25美元(轉(zhuǎn)換至“投幣”)。

6. 選擇“籌碼”(若總金額足夠則轉(zhuǎn)至“產(chǎn)品選擇”;否則,仍停留在“產(chǎn)品選擇”)。

7. 驗(yàn)證消息:“正在分配芯片?!被颉靶酒Y金不足?!?取決于之前的硬幣插入情況)。

預(yù)期行為:如果總金額為 1.25 美元(足夠購(gòu)買產(chǎn)品和找零),機(jī)器應(yīng)發(fā)放“籌碼”,并退還剩余的 0.25 美元。如果總金額仍然不足,機(jī)器應(yīng)保持“產(chǎn)品選擇”狀態(tài)。

2. 邊緣案例測(cè)試

· 在“產(chǎn)品選擇”或“分配”狀態(tài)下插入硬幣(意外行為)。

· 在投入任何硬幣之前,嘗試選擇產(chǎn)品。

· 嘗試在未選擇產(chǎn)品的情況下分配產(chǎn)品。

· 當(dāng)沒有硬幣投入時(shí)退還硬幣。

· 驗(yàn)證機(jī)器能否正常處理這些情況并提供適當(dāng)?shù)南⒒蚍乐篃o(wú)效操作。

測(cè)試用例示例:

1. 從“空閑”狀態(tài)啟動(dòng)。

2. 投入 1.00 美元(轉(zhuǎn)換至“投幣”)。

3. 選擇“蘇打水”(轉(zhuǎn)換至“產(chǎn)品選擇”)。

4. 嘗試插入另一枚硬幣(在“產(chǎn)品選擇”中不應(yīng)允許)。

5. 驗(yàn)證消息:“機(jī)器忙,請(qǐng)稍候?!?/p>

預(yù)期行為:選擇產(chǎn)品時(shí),機(jī)器不應(yīng)接受額外的硬幣。

3.狀態(tài)轉(zhuǎn)換測(cè)試

· 驗(yàn)證程序是否根據(jù)用戶操作(插入硬幣、選擇產(chǎn)品、分配、返還硬幣)正確地在狀態(tài)之間轉(zhuǎn)換。

· 使用 FSM 作為參考來跟蹤不同測(cè)試用例中的預(yù)期狀態(tài)轉(zhuǎn)換。

本站聲明: 本文章由作者或相關(guān)機(jī)構(gòu)授權(quán)發(fā)布,目的在于傳遞更多信息,并不代表本站贊同其觀點(diǎn),本站亦不保證或承諾內(nèi)容真實(shí)性等。需要轉(zhuǎn)載請(qǐng)聯(lián)系該專欄作者,如若文章內(nèi)容侵犯您的權(quán)益,請(qǐng)及時(shí)聯(lián)系本站刪除。
換一批
延伸閱讀

9月2日消息,不造車的華為或?qū)⒋呱龈蟮莫?dú)角獸公司,隨著阿維塔和賽力斯的入局,華為引望愈發(fā)顯得引人矚目。

關(guān)鍵字: 阿維塔 塞力斯 華為

倫敦2024年8月29日 /美通社/ -- 英國(guó)汽車技術(shù)公司SODA.Auto推出其旗艦產(chǎn)品SODA V,這是全球首款涵蓋汽車工程師從創(chuàng)意到認(rèn)證的所有需求的工具,可用于創(chuàng)建軟件定義汽車。 SODA V工具的開發(fā)耗時(shí)1.5...

關(guān)鍵字: 汽車 人工智能 智能驅(qū)動(dòng) BSP

北京2024年8月28日 /美通社/ -- 越來越多用戶希望企業(yè)業(yè)務(wù)能7×24不間斷運(yùn)行,同時(shí)企業(yè)卻面臨越來越多業(yè)務(wù)中斷的風(fēng)險(xiǎn),如企業(yè)系統(tǒng)復(fù)雜性的增加,頻繁的功能更新和發(fā)布等。如何確保業(yè)務(wù)連續(xù)性,提升韌性,成...

關(guān)鍵字: 亞馬遜 解密 控制平面 BSP

8月30日消息,據(jù)媒體報(bào)道,騰訊和網(wǎng)易近期正在縮減他們對(duì)日本游戲市場(chǎng)的投資。

關(guān)鍵字: 騰訊 編碼器 CPU

8月28日消息,今天上午,2024中國(guó)國(guó)際大數(shù)據(jù)產(chǎn)業(yè)博覽會(huì)開幕式在貴陽(yáng)舉行,華為董事、質(zhì)量流程IT總裁陶景文發(fā)表了演講。

關(guān)鍵字: 華為 12nm EDA 半導(dǎo)體

8月28日消息,在2024中國(guó)國(guó)際大數(shù)據(jù)產(chǎn)業(yè)博覽會(huì)上,華為常務(wù)董事、華為云CEO張平安發(fā)表演講稱,數(shù)字世界的話語(yǔ)權(quán)最終是由生態(tài)的繁榮決定的。

關(guān)鍵字: 華為 12nm 手機(jī) 衛(wèi)星通信

要點(diǎn): 有效應(yīng)對(duì)環(huán)境變化,經(jīng)營(yíng)業(yè)績(jī)穩(wěn)中有升 落實(shí)提質(zhì)增效舉措,毛利潤(rùn)率延續(xù)升勢(shì) 戰(zhàn)略布局成效顯著,戰(zhàn)新業(yè)務(wù)引領(lǐng)增長(zhǎng) 以科技創(chuàng)新為引領(lǐng),提升企業(yè)核心競(jìng)爭(zhēng)力 堅(jiān)持高質(zhì)量發(fā)展策略,塑強(qiáng)核心競(jìng)爭(zhēng)優(yōu)勢(shì)...

關(guān)鍵字: 通信 BSP 電信運(yùn)營(yíng)商 數(shù)字經(jīng)濟(jì)

北京2024年8月27日 /美通社/ -- 8月21日,由中央廣播電視總臺(tái)與中國(guó)電影電視技術(shù)學(xué)會(huì)聯(lián)合牽頭組建的NVI技術(shù)創(chuàng)新聯(lián)盟在BIRTV2024超高清全產(chǎn)業(yè)鏈發(fā)展研討會(huì)上宣布正式成立。 活動(dòng)現(xiàn)場(chǎng) NVI技術(shù)創(chuàng)新聯(lián)...

關(guān)鍵字: VI 傳輸協(xié)議 音頻 BSP

北京2024年8月27日 /美通社/ -- 在8月23日舉辦的2024年長(zhǎng)三角生態(tài)綠色一體化發(fā)展示范區(qū)聯(lián)合招商會(huì)上,軟通動(dòng)力信息技術(shù)(集團(tuán))股份有限公司(以下簡(jiǎn)稱"軟通動(dòng)力")與長(zhǎng)三角投資(上海)有限...

關(guān)鍵字: BSP 信息技術(shù)
關(guān)閉