2006年第17届软件可靠性工程国际会议论文目录

IEEE计算机学会、IEEE计算机学会软件工程技术委员会、IEEE可靠性学会共同主办的第17届软件可靠性工程国际会议，2006年11月7日至10日在美国北卡罗莱纳州Raleigh举行，现将会议的论文集目录整理报道于下，供参考查找。

1.软件系统灾难硬化（DisasterHardeningforSoftwareSystems）

作者：C.V.Ramamoorth

CaliforniaUniv.,Berkeley,CA;

Onpage(s):3-4

2.软件可消费性展望（APerspectiveonSoftwareConsumability）

作者：CarlKessler

IBMSoftwareGroup,Armonk,NY;

Onpage(s):5-5

3.软件安全：内置数据安全性（SoftwareSecurity:BuildingSecurityIn）

作者：GaryMcGraw

Cigital,Inc.,Dulles,VA;

Onpage(s):6-6

4.软件建模对软件产业的实用性（TheRelevanceofSoftwareModelingtotheSoftwareIndustry）

作者：未标注

Onpage(s):10-10

　

5.在商用电子表格多模式语言世界中刻度数据流测试方法（ScalingaDataflowTestingMethodologytotheMultiparadigmWorldofCommercialSpreadsheets）

作者：MarcIIFisherGreggRothermelTylerCreelanMargaretBurnett

NebraskaUniv.,Lincoln,NE;

Onpage(s):13-22

6.动态片断的记忆前向计算（MemorizedForwardComputationofDynamicSlices）

作者：WesMasriNagiNahasAndyPodgurski

Dept.ofComput.Sci.,AmericanUniv.ofBeirut;

Onpage(s):23-32

　

7.调用堆覆盖用于减少图形用户界面测试套件（CallStackCoverageforGUITest-SuiteReduction）

作者：ScottMcMasterAtifMemon

Dept.ofComput.Sci.,MarylandUniv.,CollegePark,MD;

Onpage(s):33-44

8.稳定时间：软件产品的一个质量度量（StabilizationTime-AQualityMetricforSoftwareProducts）

作者：VibhuSaujanyaSharmaPankajJalote

Dept.ofComput.Sci.&Eng.,,IndianInst.ofTechnol.Kanpur;

Onpage(s):45-51

9.使用非齐次普阿松模型的基于度量的软件可靠性模型（Metrics-BasedSoftwareReliabilityModelsUsingNon-homogeneousPoissonProcesses）

作者：KazuyaShibataKoichiroRinsakaTadashiDohi

Dept.ofInf.Eng.,HiroshimaUniv.;

Onpage(s):52-61

10.历史的内在过程和产品度量用于软件失效的早期估计（UsingHistoricalIn-ProcessandProductMetricsforEarlyEstimationofSoftwareFailures）

作者：NachiappanNagappanThomasBallBrendanMurphy

MicrosoftRes.,Redmond,WA;

Onpage(s):62-74

　

11.BPEL4WS单元测试：用并行路径分析法生成测试案例（BPEL4WSUnitTesting:TestCaseGenerationUsingaConcurrentPathAnalysisApproach）

作者：JunYanZhongjieLiYuanYuanWeiSunJianZhang

Inst.ofSoftware,ChineseAcad.ofSci.,Beijing;

Onpage(s):75-84

注：BPEL4WS是.BusinessProcessExecutionLanguageforWebServices的缩写

12.用于模型转换的基于Metamodel的测试生成：一种算法和工具（Metamodel-basedTestGenerationforModelTransformations:anAlgorithmandaTool）

作者：ErwanBrottierFranckFleureyJimSteelBenoitBaudryYvesLeTraon

FranceTelecomR&D,Lannion;

Onpage(s):85-94

注：Metamodel是指若干模型集合的规格说明

13.一种系统的生成UML设计语言测试数据的方法（ASystematicApproachtoGenerateInputstoTestUMLDesignModels）

作者：TrungT.Dinh-TrongSudiptoGhoshRobertB.France

Dept.ofComput.Sci.,ColoradoStateUniv.,FortCollin,CO;

Onpage(s):95-104

14.具有数字输入输出的同步程序，应用CLP自动生成测试序列

（UsingCLPtoAutomaticallyGenerateTestSequencesforSynchronousProgramswithNumericInputsandOutputs）

作者：BesnikSeljimiIoannisParissis

Lab.LSR-IMAG,Univ.JosephFourier,Grenoble;

Onpage(s):105-116

注：CLP是ConstraintLogicProgramming的缩写

15.通过击键动力学评估硬化资格证明的可靠性（EvaluatingtheReliabilityofCredentialHardeningthroughKeystrokeDynamics）

作者：NickBartlowBojanCukic

LaneDept.ofComput.Sci.&Electr.Eng.,WestVirginiaUniv.,Morgantown,WV;

Onpage(s):117-126

16.一种新颖的SOAP面向附件的数据安全模型（ANovelSOAPAttachment-OrientedSecurityModel）

作者：XiaolingCuiLeiLiJunWei

Inst.ofSoftware,ChineseAcad.ofSci.,Beijing;

Onpage(s):127-135

注：SOAP是SimpleObjectAccessProtocol的缩写

17.一种用于系统地测试基于数据安全机制的攻击模拟器（AnAttackSimulatorforSystematicallyTestingProgram-basedSecurityMechanisms）

作者：BenBreechMikeTegtmeyerLoriPollock

Comput.&InfoSci.,DelawareUniv.,Newark,DE;

Onpage(s):136-145

18.监控软件系统的安全健康状态（MonitoringtheSecurityHealthofSoftwareSystems）

作者：AshishAggarwalPankajJalote

Comput.Sci.&Eng.,IndianInst.ofTechnol.;

Onpage(s):146-158

　

19.一个好的图形用户界面特性的研究

作者：QingXieAtifMMemon

Dept.ofComput.Sci.,MarylandUniv.,CollegePark,MD;

Onpage(s):159-168

20.AspectJ联结点集的备候选故障模型（ACandidateFaultModelforAspectJPointcuts）

作者：JonS.BaekkenRogerT.Alexander

Sch.ofElectr.Eng.&Comput.Sci.,WashingtonStateUniv.,Pullman,WA;

Onpage(s):169-178

注：AspectJ是一种面向方面编程(AOP)语言

　

21.AspectJ程序检测冗余单元测试（DetectingRedundantUnitTestsforAspectJPrograms）

作者：TaoXieJianjunZhaoDarkoMarinovDavidNotkin

Dept.ofComput.Sci.,NorthCarolinaStateUniv.,Raleigh,NC;

Onpage(s):179-190

22.用‘尾分裂’技术预计失效的软件模块：一个操作系统案例研究（”Tail-Splitting”toPredictFailingSoftwareModules-withaCaseStudyonanOperatingSystemsProduct）

作者：RamChillaregeP.Santhanam

ChillaregeInc.,Baltimore,MD;

Onpage(s):191-196

23.基于体系结构的软件可靠性的适当性，精确性，可刻度性，和不确定性：从大型经验案例研究获得的教训（Adequacy,Accuracy,Scalability,andUncertaintyofArchitecture-basedSoftwareReliability:LessonsLearnedfromLargeEmpiricalCaseStudies）

作者：KaterinaGo!seva-PopstojanovaMargaretHamillXuanWang

LaneDept.ofComput.Sci.&Electr.Eng.,WestVirginiaUniv.,Morgantown,WV;

Onpage(s):197-203

24.评估软件断言和故障的关系：实验调查（AssessingtheRelationshipbetweenSoftwareAssertionsandFaults:AnEmpiricalInvestigation）

作者：GunnarKudrjavetsNachiappanNagappanThomasBall

MicrosoftCorp.,Redmond,WA;

Onpage(s):204-212

25.在进化自动系统中，偶发事件软件设计工具支持验证（Tool-SupportedVerificationofContingencySoftwareDesigninEvolving,AutonomousSystems）

作者：RobynLutzAnnPatterson-HineAnupaBajwa

JetPropulsionLab,Caltech,Pasadena,CA;

Onpage(s):213-220

26.在重构中测试：增加保留系统方面（TestingDuringRefactoring:AddingAspectstoLegacySystems）

作者：MichaelMortensenSudiptoGhoshJamesM.Bieman

Hewlett-Packard,FortCollins,CO;

Onpage(s):221-230

27.测试执行能力估计模型模拟（ModelSimulationforTestExecutionCapacityEstimation）

作者：EduardoAranhaPauloBorbaJoseLima

InformaticsCenter,Fed.Univ.ofPernambuco,Recife;

Onpage(s):231-236

28.用电子转播文档为边界检查性能建模（ModelingthePerformanceofBorderInspectionswithElectronicTravelDocuments）

作者：PaolaBracchiBojanCukicVittorioCortellessa

LaneDept.ofCSEE,WestVirginiaUniv.,Morgantown,WV;

Onpage(s):237-246

　

　

29.软件测试中故障排除的效果：贝叶斯可靠性估计方法（OntheEffectofFaultRemovalinSoftwareTesting-BayesianReliabilityEstimationApproach）

作者：HiroyukiOkamuraHitoshiFurumuraTadashiDohi

Dept.ofInf.Eng.,HiroshimaUniv.;

Onpage(s):247-255

　

30.用基于状态探测方法测试Java监控器（AStateExploration-BasedApproachtoTestingJavaMonitors）

作者：YuLeiRichardCarverDavidKungVidurGuptaMonicaHernandez

Dept.ofComp.Sci.&Eng.,TexasUniv.,Arlington,TX;

Onpage(s):256-265

　

31.具有定制测试需求的网络测试：一种实验比较研究（WebApplicationTestingwithCustomizedTestRequirements-AnExperimentalComparisonStudy）

作者：SreedeviSampathSaraSprenkleEmilyGibsonLoriPollock

Dept.ofComput.&Inf.Sci.,DelawareUniv.,Newark,DE;

Onpage(s):266-278

32.在J2EE中用事务处理过程与复制结合提高可靠性（CombiningReplicationwithTransactionProcessingforEnhancedReliabilityinJ2EE）

作者：LinZuoShaohuaLiuJunWei

Inst.ofSoftware,ChineseAcad.ofSci.,Beijing;

Onpage(s):279-288

注：J2EE是SunMicrosystemsInc.,Java™2PlatformEnterpriseEdition

　

33构建阶段型软件可靠性模型（BuildingPhase-TypeSoftwareReliabilityModels）

作者：HiroyukiOkamuraTadashiDohi

Dept.ofInf.Eng.,HiroshimaUniv.;

Onpage(s):289-298

　

34.基于部件的软件系统，重启动，再试，再引导和维护的性能和可靠性（ReliabilityandPerformanceofComponentBasedSoftwareSystemswithRestarts,Retries,RebootsandRepairs）

作者：VibhuSaujanyaSharmaKishorS.Trivedi

Dept.ofComput.Sci.&Eng.,,IndianInst.ofTechnol.,Kanpur;

Onpage(s):299-310

35.采集界面的规格说明用于生成可检测的健壮特性（MiningInterfaceSpecificationsforGeneratingCheckableRobustnessProperties）

作者：MithunAcharyaTaoXieJunXu

Dept.ofComput.Sci.,NorthCarolinaStateUniv.,Raleigh,NC;

Onpage(s):311-320

36有效地整合软件确认策略：理解不同的假定（EffectivelyCombiningSoftwareVerificationStrategies:UnderstandingDifferentAssumptions）

作者：DavidOwenDejanDesovskiBojanCukic

LaneDept.ofComput.Sci.&Electr.Eng.,WestVirginiaUniv.,Morgantown,WV;

Onpage(s):321-330

　

37.软件部署剖面事件的分布探测技术（ProbeDistributionTechniquestoProfileEventsinDeployedSoftware）

作者：MadelineDiepMyraCohenSebastianElbaum

Dept.ofComput.Sci.&Eng.,NebraskaUniv.,Lincoln,NE;

Onpage(s):331-342

　

38测量和提高Apache和IISHTTP服务器攻击发现模型的预报能力（MeasuringandEnhancingPredictionCapabilitiesofVulnerabilityDiscoveryModelsforApacheandIISHTTPServers）

作者：OmarH.AlhazmiYashwantK.Malaiya

ColoradoStateUniv.,Boulder,CO;

Onpage(s):343-352

39.现场故障解决的排队模型（QueuingModelsforFieldDefectResolutionProcess）

作者：SwapnaS.GokhaleRobertE.Mullen

ConnecticutUniv.,Storrs,CT;

Onpage(s):353-362

　

40软目标可跟踪性模式（SoftgoalTraceabilityPatterns）

作者：JesseFletcherJaneCleland-Huang

CenterforRequirementsEng.,DePaulUniv.,Chicago,IL;

Onpage(s):363-374

41.DevCOP:一种Eclipse的软件认证管理系统（DevCOP:ASoftwareCertificateManagementSystemforEclipse）

作者：MarkSherriffLaurieWilliams

NorthCarolinaStateUniv.,Raleigh,NC;

Onpage(s):375-384

注1：(DevCOP)是defectestimationwithV&VCertificatesonProgramming的缩写

注2：Eclipse是一种集成开发环境(IDE)

　

42.CAA-DRIP:执行并列自动行动的框架（CAA-DRIP:aframeworkforimplementingCoordinatedAtomicActions）

作者：A.CapozuccaN.GuelfiP.PelliccioneA.RomanovskyA.Zorzo

LASSY,LuxembourgUniv.;

Onpage(s):385-394

注1：CAA是coordinatedatomicaction缩写

注2：DRIP是dependableremoteinteractingprocesses缩写