777精品久无码人妻蜜桃,久久精品国产99国产精品导航,freesexvideos第一次,99国产精品久久久久久久成人热

大學(xué)期末英語(yǔ)

前言:本站為你精心整理了大學(xué)期末英語(yǔ)范文,希望能為你的創(chuàng)作提供參考價(jià)值,我們的客服老師可以幫助你提供個(gè)性化的參考范文,歡迎咨詢(xún)。

大學(xué)期末英語(yǔ)

Overthelastdecade,businessesandgovernmentshavebeengivingincreasingattentiontothedescription,automation,andmanagementofbusinessprocessesusingITtechnologies.Thisinterestgrowsoutoftheneedtostreamlinebusinessoperations,consolidateorganizations,andsavecosts,reflectingthefactthattheprocessisthebasicunitofbusinessvaluewithinanorganization.TheBusinessProcessExecutionLanguageforWebServices(BPEL4WS,BPELforshort)providesanXMLnotationandsemanticsforspecifyingbusinessprocessbehaviorbasedonWebServices.ABPELprocessisdefinedintermsofitsinteractionswithpartnerprocesses.Apartnerprocessmayprovideservicestotheprocess,requireservicesfromtheprocess,orparticipateinatwo-wayinteractionwiththeprocess.Mission-criticalbusinesssolutionsneedcomprehensivetestingtoensureitperformscorrectlyandreliablyinoperation.Acommonstrategyistosubjectthesolutiontoseveralphasesoftestingsuchasunit,integrationandsystemtesting,amongwhichunittestingisusedtoverifythefunctionsofasinglemodule(class,component,process,etc).Oftenthelaterabugisdiscovered,themoreexpensiveitistofix.Thereforeitisnosurprisingthatrecentlysoftwareengineeringpracticehasbeenlayingmoreemphasisonunittesting.However,incurrentindustrialpractice,businessprocesstestingfocusesonsystemanduseracceptancetesting,whereasunittestinghasnotgainedmuchattention.Businessprocessunittestingtreatsanindividualprocessastheunitundertest,andtestsitsinternallogicthoroughly.

Thequalityofsoftwareisahottopicattractingattentionsfrombothresearchersandpractitioners.Softwaretestingisanimportanttechniquetoguaranteethequalityofsoftware.Itaimstoreducethesoftwarefaultsasmuchaspossible.Mymainworkistostudytheproblemofhowtoapplytheconstraintsatisfactiontechniquestosoftwaretestingautomatically.Thestudycanbedividedintothefollowingthreeparts.Thefirstpartofisrelatedtowhite-boxtesting.White-boxtestingisanaccuratecode-basedsoftwaretestingmethod.Wecanemploysymbolicexecutiontechniquestoprocesstheprogrampaths,soastotestsomefeaturesofprograms.However,thecomplexityofsymbolicexecutiontechniquemakesitimpossibletotestallthepathsoftheprogramundertest.Furthermore,someoftheprogrampathsmaybeinfeasible.Thereforeweneedsometestcriteriaandpathselectionstrategiestoguidethegenerationofthetestpaths.Thisworkincludesthefollowingtwoaspects.1)Anefficientmethodispresentedtogenerateasetoffeasiblebasispaths.Thismethodcangeneratefeasiblebasispathsforreal-worldCunitprogramsautomaticallyinacceptabletime.Thebasispathsetgeneratedbythismethodhastheminimumsumofweightedlength.2)BPELisabusinessdescriptionlanguagethatcouldexpresscomplexconcurrentbehaviors.InthefutureIwillpresentanovelmethodofBPELtestcasegeneration,whichisbasedonconcurrentpathanalysis.Toavoidthecombinationexplosionofthepathnumber,sometechniquesandtestcriteriaareusedtorestrictthecombination.Thismethodismodularizedsothatmanytesttechniques,suchasvarioustestcriteriaandcomplexconstraintsolvers,canbeapplied.Thesecondpartofworkisaboutblack-boxtesting.Black-boxTestingisusedtotestthefunctionsandinterfacesofprograms.WecanuseconstraintstodescribethetestcriteriaandthespecificationsofSoftwareunderTest.Thereforethetestgenerationforblack-boxtestingcanbetranslatedintothefinitedomainconstraintsatisfactionproblem.Thispartalsoincludestwoaspects.1)ASAT-basedapproachandabacktrackingsearchalgorithmarepresentedtosolvetheproblem.AnovelpruningstrategycalledSCEHisproposedtoincreasetheefficiencyofthemethods.Severalexistingsearchheuristicsandsymmetrybreakingtechniquesarealsousedinthebacktrackingsearchalgorithm.Theexperimentsshowthatourmethodoutperformsothermethodsinmanysmallsizecases.2)proposesaSAT-basedmethodtogeneratethetestcasesautomaticallyforMUMCUTtestingofBooleanspecifications.TospeeduptheprocessingforthecompleteSATtools,wemakeuseofsomesymmetrybreakingtechniques.ThelastpartofworkstudiestheproblemoffindingBooleanrelationsamongasetoflinearnumericalconstraints.Inprogramanalysisandverification,therearesomeconstraintsthathavetobeprocessedrepeatedly.Apossiblewaytospeeduptheprocessingistofindsomerelationsamongtheseconstraintsfirst.Therelationscanberepresentedbyrules.Itisbelievedthatwecannotgeneratealltherulesinpolynomialtime.Asearchbasedalgorithmwithsomeheuristicstospeedupthesearchprocessisproposed.Experimentalresultswithvariousexamplesshowthatourmethodcangenerateenoughrulesinacceptabletime.

WS-BPELapplicationsareatypeofservice-orientedworkflowapplication.Intheseapplications,abusinessprocessisspecifiedasaBPELprogram,andindividualloosely-coupledworkflowstepsarelinkedupviatheexchangeofXML-basedmessages.FailingtoextractarightpieceofdatafromanXMLmessage,forinstance,willposeanintegrationerrorinsuchanapplication.Ontheotherhand,XMLisfundamentaltomanyservice-orientedworkflowapplications,andXPathisthemeanstoqueryonXMLdocuments.TheextensiveusageofXPathposesademandtostudyhowtotesttheseapplicationseffectively.BPELunittestingiscomplexaswemusthandleanetworkofdependenciesamongindividualprocesses.Thistestframeworkonlyprovidesageneraldiscussiononmethods,issuesandtechniquesinBPELprocessunittesting.AlthoughspecializedforBPEL,thebasicideasmaybeapplicabletootherbusinessprocessdefinitionlanguagesafterpossiblegeneralization.Infuture,IplantoworkonautomatictestgenerationfromBPELsourcecode,whichshouldbealignedwiththeproposedtestframework.DrivenbyincreasinglycomplexWebServiceprocess,BPEL-basedtestingreductionfacesdemandsfromtestcaselargeness.ThereisaneedfortechniquestailoredtotestcasegenerationefficientlyinBPEL-basedtesting.Thefurtherstudiesalsoincludetheresearchontherelationshipofinputparameterwithnon-uniformrangeandtheefficientassignmentofinputparameterintorelationset.

文檔上傳者

相關(guān)期刊

大學(xué)

部級(jí)期刊 審核時(shí)間1個(gè)月內(nèi)

重慶市科學(xué)技術(shù)協(xié)會(huì)

大學(xué)時(shí)代

省級(jí)期刊 審核時(shí)間1個(gè)月內(nèi)

湖南省教育廳

大學(xué)化學(xué)

部級(jí)期刊 審核時(shí)間1個(gè)月內(nèi)

中華人民共和國(guó)教育部

主站蜘蛛池模板: 越西县| 林口县| 濮阳市| 镇远县| 吉安县| 林周县| 顺昌县| 常德市| 信丰县| 色达县| 青浦区| 镇巴县| 无为县| 札达县| 巢湖市| 莒南县| 和静县| 图木舒克市| 疏附县| 江山市| 炉霍县| 普洱| 贵溪市| 汝州市| 巴楚县| 博客| 来安县| 苍溪县| 星座| 木兰县| 汕尾市| 萨迦县| 新营市| 方正县| 丰镇市| 双城市| 宁晋县| 阿荣旗| 新闻| 乌拉特中旗| 仙游县|