计算机工程与设计
計算機工程與設計
계산궤공정여설계
COMPUTER ENGINEERING AND DESIGN
2009年
22期
5053-5057
,共5页
软件测试技术%基于模型的测试%任务剖面%Rose可扩展接口%Markov链
軟件測試技術%基于模型的測試%任務剖麵%Rose可擴展接口%Markov鏈
연건측시기술%기우모형적측시%임무부면%Rose가확전접구%Markov련
software testing%MBT (model based testing)%operational profile%REI (rose extensibility interface)%Markov chain
针对航空航天等安全关键领域里嵌入式软件测试中存在的困难,引入并研究了用户需求模型和任务剖面模型的概念及表示方法,设计并实现了基于用户需求模型的任务剖面模型自动建模算法,进而结合Markov链模型与任务剖面模型,为任务流提取和测试用例生成工作提供依据,基于Rose可扩展接口(REI)开发了任务剖面模型自动建模工具.通过验证,肯定了上述方法与工具在嵌入式软件测试过程中的效果和价值.
針對航空航天等安全關鍵領域裏嵌入式軟件測試中存在的睏難,引入併研究瞭用戶需求模型和任務剖麵模型的概唸及錶示方法,設計併實現瞭基于用戶需求模型的任務剖麵模型自動建模算法,進而結閤Markov鏈模型與任務剖麵模型,為任務流提取和測試用例生成工作提供依據,基于Rose可擴展接口(REI)開髮瞭任務剖麵模型自動建模工具.通過驗證,肯定瞭上述方法與工具在嵌入式軟件測試過程中的效果和價值.
침대항공항천등안전관건영역리감입식연건측시중존재적곤난,인입병연구료용호수구모형화임무부면모형적개념급표시방법,설계병실현료기우용호수구모형적임무부면모형자동건모산법,진이결합Markov련모형여임무부면모형,위임무류제취화측시용례생성공작제공의거,기우Rose가확전접구(REI)개발료임무부면모형자동건모공구.통과험증,긍정료상술방법여공구재감입식연건측시과정중적효과화개치.
Targeting at hurdles on embedded software testing, concepts of user specification model and operational profile model are in-troduced and well described. Algorithms of automatically operational modeling are also designed and implemented, by applying which it helped improve system analyzing and advance testing process. Moreover, the applying of Markov chain provided key data which di-rected test case generating. Meanwhile, a operative tool based on these methodology is developed using REI (rose extensibility interface) and validated effective in real projects.