摘要:為了提高嵌入式軟件的單元測試效率,同時(shí)能達到很好的測試效果,針對嵌入式軟件制定單元測試充分性準則和單元測試策略,并使用測試工具對嵌入式軟件進(jìn)行單元測試具有實(shí)際意義;以浮力調節軟件為例,通過(guò)研究基于控制流的單元測試充分性準則,結合浮力調節軟件的單元測試需求,提出了針對浮力調節軟件的單元測試充分性準則;同時(shí),考慮到圈復雜度和函數節點(diǎn)數對函數正確實(shí)現的影響,制定了基于優(yōu)先級的單元測試策略;利用自動(dòng)化單元測試工具Testbed搭建了浮力調節軟件動(dòng)態(tài)測試環(huán)境,通過(guò)代碼覆蓋率分析,幫助創(chuàng )建測試用例以達到單元測試充分性要求,從而實(shí)現了浮力調節軟件單元測試自動(dòng)化;在自動(dòng)化測試工具的幫助下,結合單元測試充分性準則和單元測試策略,最終實(shí)現嚴格而高效的單元測試。