模型覆盖率在嵌入式软件开发中的应用.pdfVIP

计算机技术与发展 v01．16 ：滤肇嵩月 COMPUTERTECHNOLOGYANDDEVELOPMENT Oct．2【06 模型覆盖率在嵌入式软件开发中的应用 马金梭，张荣华，席厚金 (爱斯特尔技术公司，上海201203) 摘要：在嵌入式软件开发领域，随着对软件质量和开发效率的要求越米越高，传统的软件开发方式已经不能够胜任。基 于模型的开发方式通过引A直观、准确的模型，提供大量新的技术，从根本上改善了软件开发活动。其中模型覆盖率分析 技术的采用，使开发人员可以在开发早期完成高质量的验证活动，既保证了软件的质量，又提高了开发效率。本文介绍了 模型覆盖率的基本思想，并给了一个模型覆盖率分析的应用实何。 关键词：基于代码开发；基于模型开发；模型覆盖率；SCADE 中圉分类号：TP31152 文献标识码：A 文章编号：1673—629X(2006)0083—04 ofModelTest inEmbeddedSoftware Application Coverage Development MA Jin-suo，ZHANG Rong-hua，XIHou-jin (EslerdTe‘=hnologi∞，s11al艰hi201203，China) software of Ahtntct：Traditional Rx㈣onⅫrcecode．couldnotmeetthenbr℃and／llOrerequirement developmentway．which cc口npaet andshortdevelomnentofembedded bthusintroduced h讪q砌ity cycle software．Model—ba捌devd00metaandimproves∞hedded mhware activities mouldandlotsofnew basedn划d these developmentby日nployingvisual，accurate techniques Af∞flg techniques． modeltest the to and of coveragehelpsdeveloper work in the verifydevelownentelficiendyquantitativelyearlystage developmentcycle． and and8n guarante髓softwarequalitywhilesavingdevelopmenttimeInthispapex。modeltestcoverageisintroducedexampleisgiven协 demonstratemoddt凹tcoverage KeyworOs：ode—based development；model—baseddevelopment{modeltest∞v廿age；SCADE 0引言 开发时显得力不从心。为了解决这一问题，一些新的软件 嵌入式系