1、分類號TP311F7878‘5學校代號10561學號200135017200006華南理工大學博士學位論文面向分布式系統(tǒng)的測試方法與關鍵技術研究楊勁濤指導教師：郭煎遁麴握鹽篁扭疊堂皇王捏堂墮—一副導師申請學位級別：王堂譴專業(yè)名稱：|土簋擔廛旦選丕論文提交日期：2QQ二二2Q論文答辯幾期：!!!i二!二!!學位授予單位和F1期：堡直理王太堂答辯委員會主席：霎i亞!超塑攫論文評閱人：數(shù)筮熬援塾握熬援塾握蘭堡堡三奎主堡蘭垡笙苧Abstract

2、Testinglarge—scaledistributedsystembasedoncomponenttechnologyisthehotpointofresearchnowwithhighcostandmuchdifficuhyInthepaper，westudythetheoreticalproblemsandcruciaItechn0109iesincludingthemodelofsoftwaresystemunderdynam

3、ictesting，thedynamicrelationundertestingandtestcasesgeneratingThefbllowingareourjobsandgottenachievements：(1)TheknowledgeaboutsoftwaretestingisdeepenedcontinuouslywiththedevelopmentofsoftwaredevelopingtechnologyThedefini

4、tionofsoftwaretestingwasimproVedfordistributedsystemtestingWithtakingsoftwarequalitythatsatisnesuserrequirementsasprerequisite，fuzzylanguagegrammarwasstudied，andlimitedfuzzystateautomaticmachineisproposed，whichusestoexpr

5、essthestatesofsystemunderdynamictesting(2)AppliedFuzzymathematicsmethodtoanalyzethestatesofsoftwaresystemundertestingbasedontheIimitedstatemechanismtheoryThefuzzyactionreIationsbetweentestcaseandplace—state(PS)arebuilt，t

6、hedegreeofwhichisdependedonthecharacteristicofsoftwaresystemThestabilityandthereliabiIityofsoftwaresystemishigher，thedegreeoftheactionoftestcasetoPSisstrongerThatshowsthestatusofsystemrunning(3)Inthepaper，theprinciplesof

7、testdatesselectingwereproposedonassuredsoftwarerequirementsandfhnctionsspecificationsThetestingadequacyofselectingeigenbaseisprovedBasedontheresultsin(2)，itwasprovedthattheactionofthecombinationsofthesameparameterValuesi

8、ntestcasestoPSisthesameinthetesteffectineachtestcasewithfuzzylogicTherefore，themethodoftheeigenbaseofsystemtestedgetting(TCB)isobtained(4)EstablishedtherelationexpressionsthatappliedeigenbasetoexpressalItestcasesProvedth

9、attheeigenbaseofsystemtested^fcoversthecombinationsofparametersvalues(5)Studiedsoftware—testingadequacyThefbIlowingresults：thetestingadequacyprincipleinpredicationfbrmatwasextendedtothetestingadequacyprincipleinfuzzyform

10、at，whichproVidestherulesmoreaccordingwiththefactforthemeasurementoftheadequacyTakinguserrequirementsandcostasprerequisite，thesoftwaretestpassrulesbasedonfuzzytruth—valuewereobtainedinfuzzyinferencerulesThatispropitiouste