嵌入式軟件可測試性研究.pdf

1、代號分類號1070l—————TP306學(xué)號密級蚤簧它手辯毅碩士學(xué)位論文題c中英文，目一一蠱A或軟件可翊4譴毪疆愛一鼬j她!h蜘旦地刪州點她M呲壁j!曲蛐!作者姓名一一昌辮指導(dǎo)教師姓名、職務(wù)一王長山～科教援學(xué)科門類一_工萋科學(xué)、專業(yè)一就算機熬焦與堡論提交論文日姐三旦Q盎年_月4Ir■I刪蔓警■戈Ab剛TactAbstractTheapplicatioⅡanddevelopment0ftlleembeddedsoflwarcareafoc

2、usOfthedeVelopmeⅡtfieldofcIlrrentcomputersoftwarc；gllamnteethcqualityoftheembeddedsoftwareisVeryimponantMeasuringthejndextestabilityasapieceofsoftware，refcrtotheso行warewhile舀Veandinputthesettotestofembeddedsoftware，pmbab

3、ilitythatmemistakeexistiⅡgamongthemcanbea蛐ounced1tcontributestOconfiⅡniIlgthedegreethattheembeddedsonwareneedstestingiIlorderteachccnaindependabilitytolauncbtheresearchtestabilitytotheembeddedsoftware，andassignandtestres

4、ourcesmostrationany，impmVetheefficieⅡcytcstedButitcm，thetestabilityanalysisalsocanuseininstructingthesoftwaredesignersreasonablytodesignthesoftwarearchitectIlre，byreduccstesttheexpensesaswellastheenhancementtestfeasib王li

5、tytoanewlcvelThepaperpmducesasetofcompletesoluti伽sofembeddedsof研aretestabilityBasedonFault／FailureModel，thisanidehasconstmctedthesoftwaretestabiutyquan“ficationex鋤inationSⅢMmodel，andhasdesigned粕drealizedttlemeasuringtool

6、basedonmjsmodelThepaperhasrecommendedembeddedsoflwaretestandtestabilitybasicconception，etctousefbfmeasuringthetlleoI弓ticalfoundatjonwithso矗waretesⅡngatfirst，aIldhasanalyzedindetailsometheoriesmea眥emodelsAndthen，directaga

7、instthequestjonthatexistinthesemodels，accordingtocausjngtheresearchingalldanalyziⅡgofinvalidcourseoftheso腳aretothemistal【e0ftheso腑are，thispaperpmposeoneimpmVedsolutionSFrMusesfoftobegeningtestabiliIytoqu鋤tizemeasuringtos

8、oftware，thepaperfiⅡallyisdesjgningandrealizestheso抒waretestabilityexaminationtoolabovetheSElMmodeloouldca玎)rOnthetestabilityIOtheCsou讎pmgr鋤examines越dObtainstllequ卸tificatioⅡ咒sultdata，coⅡfi珊edthismodelvalidity1【elmord：Emb