一种基于DARTS设计的嵌入式软件测试用例模型 .pdf

第32卷第1期中国测试技术Vol32No1

2006年1月CHINAMEASUREMENTTECHNOLOGYJan,2006

DARTS设计的嵌入式软件测试用例模型

黄志华,苏国平

(新疆大学信息科学与工程学院,新疆乌鲁木齐830046)

摘要:嵌入式系统是目前计算机研究领域的一个热点,嵌入式软件的特点使其设计方法发生了变化,软件测试是

保证嵌入式产品质量的关键,研究新设计方法下的新测试方法是非常必要的。本文分析了嵌入式软件的特点,对

嵌入式软件测试的方法和问题进行了讨论,根据DARTS设计方法和基于规约说明的测试方法,提出了一种基于任

务划分的实时嵌入式软件的测试用例生成模型。

关键词:嵌入式系统;规格说明;测试用例;DARTS设计

中图分类号:TP39307文献标识码:A文章编号:16724984(2006)01008603

TestcasemodelofembeddedsoftwarebasedonDARTS

HUANGZhihua,SUGuoping

(CollegeofInformationScienceandEngineering,XinjiangUniversity,Wulumuqi830046,China)

Abstract:EmbeddedsystemisahotspotinthefieldofcomputerresearchnowadaysThecharacteristicofembeddedsoftwaremakes

itsdesignmethodchangealotSoftwaretestisakeytoassurethequalityofembeddedproductItisnecessarytofindnewtest

methodunderthenewdesignmethodThispaperanalyzedthecharacteristicofembeddedsoftwarefirst,thendiscussedmethods

andquestionsofembeddedsoftwaretest,atlast,setupatestcasegenerationmodelbasedontaskdecompositionbyspecification

basedtestandDARTSmethod

Keywords:Embeddedsystem;Specification;Testcase;DARTS

1引言式系统中,发挥核心控制作用,是实现系统功能的关

随着后PC时代的到来,嵌入式技术因其在信键。由于嵌入式系统与通用计算机系统在结构上有

息领域的广泛应用而越来越被人们所关注,逐渐成所不同,使得嵌入式软件的开发与测试有其自身的

为目前电子信息行业最为热门的技术之一。嵌入式特点:

软件的测试是保证嵌入式产品质量的关键,人们对(1)软件开发环境与执行环境不一致,如图1所

嵌入式产品的高质量要求,使得嵌入式系统的测试示。嵌入式软件需要交叉环境完成程序的编写、编

成为目前嵌入式应用领域的重要研究方向。本文主译、链接和调试运行,交叉环境由有通信连接的宿主

要研究嵌入式系统中软件的测试问题,结合传统基机和目标机组成,宿主机一般是通用计算机,为软件

于规格说明的测试方法与嵌入式软件的DARTS设提供开