简介：在这篇论文，为低顺序的不明确的系统，没有需要为以多项式和因此没有需要被表示提出并且测试所有四Kharitonov的多项式的一个使不安的系统计算系数的所有最小、最大的价值，这被显示出。而且，为象n⩾那样的高顺序的系统5，平常的四Kharitonov的多项式不必开始为使不安的系统的足够的状况被测试；更确切地说，必要条件能在去足够的状况前被检查。以便显示出建议方法的有效性，数字例子被显示出，计算效率被加亮。

简介：Debuggingisatime-consumingtaskinsoftwaredevelopment.Althoughvariousautomatedapproacheshavebeenproposed,theyarenoteffectiveenough.Ontheotherhand,inmanualdebugging,developershavedifficultyinchoosingbreakpoints.Toaddresstheseproblemsandhelpdeveloperslocatefaultseffectively,weproposeaninteractivefault-localizationframework,combiningthebenefitsofautomatedapproachesandmanualdebugging.Beforethefaultisfound,thisframeworkcontinuouslyrecommendscheckingpointsbasedonstatements'suspicions,whicharecalculatedaccordingtotheexecutioninformationoftestcasesandthefeedbackinformationfromthedeveloperatearliercheckingpoints.Thenweproposeanaiveapproach,whichisaninitialimplementationofthisframework.However,withthisnaiveapproachormanualdebugging,developers'wrongestimationofwhetherthefaultystatementisexecutedbeforethecheckingpoint(breakpoint)maymakethedebuggingprocessfail.Soweproposeanotherrobustapproachbasedonthisframework,handlingcaseswheredevelopersmakemistakesduringthefault-localizationprocess.Weperformedtwoexperimentalstudiesandtheresultsshowthatthetwointeractiveapproachesarequiteeffectivecomparedwithexistingfault-localizationapproaches.Moreover,therobustapproachcanhelpdevelopersfindfaultswhentheymakewrongestimationatsomecheckingpoints.

简介：

简介：

简介：

简介：Itisknownthatcriticalpathtestgenerationmethodisnotacompletealgorithmforcombinationalcircuitswithreconvergent-fanout.Inordertomadeitacompletealgorithm,weputforwardareconvergent-fanoutorientedtechnique,theprincipalcriticalpathalgorithm,propagatingthecriticalvaluebacktoprimaryinputsalongasinglepath,theprincipalcriticalpath,andallowingmultiplepathsensitizationifneeded.Relationshipamongtestpatternsisalsodiscussedtoacceleratetestgeneration.

简介：

简介：简介最新发布的VisualStudioTestSystem（VSTS）包含了一套用于VisualStudioTeamTest的完整功能。TeamTest是VisualStudio集成的单元测试框架，它支持：

简介：Withseveralricegenomeprojectsapproachingcompletiongeneprediction/findingbycomputeralgorithmshasbecomeanurgenttask.Twotestsetswereconstructedbymappingthenewlypublished28,469full-lengthKOMEricecDNAtotheRGPBACclonesequencesofOryzasativassp.japonica:asingle-genesetof550sequencesandamulti-genesetof62sequenceswith271genes.Thesedatasetswereusedtoevaluatefiveabinitiogenepredictionprograms:RiceHMM,GlimmerR,GeneMark,FGENSHandBGF.Thepredictionswerecomparedonnucleotide,exonandwholegenestructurelevelsusingcommonlyacceptedmeasuresandseveralnewmeasures.Thetestresultsshowaprogressinperformanceinchronologicalorder.Atthesametimecomplementarityoftheprogramshintsonthepossibilityoffurtherimprovementandonthefeasibilityofreachingbetterperformancebycombiningseveralgene-finders.

简介：

简介：

简介：

简介：近期，美国电脑巨头IBM表示，已开始推出基于Linux系统的“测试磁碟机”，以鼓励软件开发商为中小企业制造用于该操作系统的程序。