基于故障注入和被动测试的鲁棒性测试方法" - 博士论文提交的20字中文标题

博士学校编辑为获得南巴黎电信管理博士学位而提交的论文南巴黎电信管理与皮埃尔和玛丽居里大学联合博士学位专业：信息学[美]费萨尔·贝萨亚著头衔一种基于故障注入和被动测试的鲁棒性测试互补方法2010年12月3日在评审团面前进行了辩护，评审团成员包括：尼娜·叶夫图申科托木斯克国立大学报告员伊斯梅尔·罗德里格斯拉古纳马德里康普顿斯大学报告员法蒂哈·扎伊迪南巴黎第十一大学审查员塞巴斯蒂安·蒂薛伊皮埃尔和玛丽·居里审查员伊莱恩·马丁斯坎皮纳斯州立大学共同框架安娜·卡瓦利IT/南巴黎论文主任论文编号2010TELE0030博士学校EDITE论文提交获得计算机科学博士学位博士学位联合交付人南巴黎和皮埃尔和玛丽居里大学-巴黎6专业：计算机科学由FayçalBessayah标题一种基于被动测试和故障注入技术的系统鲁棒性测试补充方法委员会负责：尼娜·叶夫图申科评审员托木斯克州立大学伊斯梅尔·罗德里格斯拉古纳评审员马德里康普顿斯大学法蒂哈·扎伊迪检查南巴黎第十一大学塞巴斯蒂安·蒂薛伊检查皮埃尔和玛丽·居里大学伊莱恩·马丁斯联合顾问坎皮纳斯州立大学安娜·卡瓦利联合顾问IT/南巴黎知识点我要感谢Ana Cavalli教授对她前任的支持。我一直在写这篇博士论文。我非常感谢她花时间帮助我和指导我的资源。我还要感谢她给了我发展想法的自由，感谢她在整个工作过程中提出的建议和建议。我也要感谢你。 o-顾问，来自该州的坎皮纳斯大学，感谢她在准备这篇论文时的建议和指导。我真的从和她一起工作中学到了很多东西，并从她的经验中学习，以及她的前任，他们重新学习了她和你的Hni al技能。我还要感谢阿梅尔·马马尔在巴黎南部电视台杀死了他，他帮助了我，并给了我很多鼓励。一个聚会非常感谢她阅读了我的手册撕裂和所有的建议，她提出了提高这份文件的质量。更多感谢我的论文评估 ommitee Nina教授的出席叶夫图申科，伊斯梅尔·罗德教授？拉古纳教授？Bastien Tixeuil、Fatiha Zaidi教授、Eliane Martins教授和Ana Cavalli教授许多人也要感谢我所有的朋友和联盟，在没有党的顺序，巴克尔萨拉克比，维萨姆马卢利，威利希门尼斯，穆尼尔拉拉利，费利佩拉兰内，马赞AlMaarabani，阿尼斯Laouiti，安德森莫莱斯，法鲁克Aissanou，何塞巴勃罗Esobar，穆罕默德艾哈迈德穆罕默德西迪和巴哈尔Wehbi。还要感谢BrigitteLaurent女士和Jo elyne Vallet女士对我工作的帮助和支持。最后但并非最不重要的是，我要感谢我的母亲，我的祖母和我所有的朋友。兄弟姐妹纳西姆，苏阿德和拉迪亚为他们的勇气和支持。非常感谢。R？总和？什么是在运输领域，德？能源还是银行，系统？我的电脑一定是公关吗？感觉。我们有没有比她更好的东西？知道我们的生活和财产，计算机程序平行？当然，这是系统吗？我越来越困惑了。一个omplexit？基本上到期了？没有公关的扩张？？系统的牙齿？我的广泛分布？S和H？T？罗杰？NES。更不用说使用互联网了。唐的交通工具是吗，派对？通过大量的服务F E？那个煎蛋卷？有没有什么问题，先生？我是临时的，是系统吗？我能有沉重的负担吗？什么？在某些情况下，甚至在人类中。以确保能力？这样的系统？唐·德·V重要吗？嘲笑他们的男人吗？尽可能严格。M的使用Logi检验的正式方法可能是 E还有什么S？R在马蒂？你对V的看法？笑。这可能是用数学基础来解释的。它们是基于什么？方法，E允许D？发展一种更严格的推理，从而更可靠。我们可以要求吗？去找M？SP的形式化方法他们是自己人吗？T？重要-系统阿姨？测试我？也是为了V？笑是干净的吗？T？S关于植入nale. 的使用 是我吗？方法是否允许d？开发TH？测试的方向合规？谁的目标是R？使用一个函数测试来检验v？笑吧产品是否有响应？SP？R的位置？F？Ren E.她有广告吗？米克出版了吗？许多关于测试的工作合规？ 总的来说，我们可以他的全部作品分为两大类？大猩猩：M？TIF测试方法M呢？被动测试方法TIF测试 一个？是否应用于系统？我在测试一组测试和？观察到的迹象？有SP吗？R的位置？F？Ren E.很多M？G的方法n？自动定量的合规性测试有吗？T？关于？你在床上吗？刮擦。他们在治疗G吗？n？系统的规则？我的原始olaires和应用程序ratifs？假设时有问题吗能够与被测植入物相互作用打印机？刺激系统？测试我？在？是否添加了条目？乌利走了吗R做R？行动和产生的输出，以修复他们与他们的预期。不幸的是，这种类型的测试并不总是可能的？前任？乌特。 在系统中？例如，在或他的原始oles中，我们很少能得到b？N？-我是A吗？你能和一个或他的派对互动吗？系统的一部分？我和应用s？测试。也在一些王牌，测试阶段垄断了OMPL？系统怎么样？我，可以吗？三个TR？对实业家来说太棒了。在这种情况下，被动测试是否有效？你是ULI的派对吗输入？感觉。在e和中，被动测试不需要intera告诉你有系统吗？测试我？它存在吗？观察和？你能进入吗？e和测试中的实现产生的输出，以及？分析s？什么和关系？SP？R的位置？F？Ren E. V？那么，如果是这样的话，它是否是一种形式呢？他公关？被SP看到了吗？我是。R？合规性测试的标准化？假设系统？我在测试前？在正常的环境条件下。据估计，在这种情况下，系统的性能如何？测试我？应该吗？三个月？他的SP？功能性的。但是，当一个系统？我的电脑能胜任吗？在充满敌意的文本中飞行？环境条件或多或少是稳定的，是否符合测试？它不再是圣。 在这种情况下，我们必须这样做吗？研究它从系统中删除？抱着我奥姆佩他们的承诺本体文本。 这个ID？另一种类型的测试称为鲁棒性测试。坚固性测试的主要目标是？研究一个种植园的繁荣是前？在一个充满敌意的环境中。 植入测试？E是在现场？R？如果她坚持的话，她会很坚强吗？有前任吗？你在公关部工作吗和错误[1]。稳健性测试方法可以吗？经验的或形式的。他的经验方法是什么？完成系统的鲁棒性级别？我？星期二？那么，正式的方法是什么？感觉？V？嘲笑自己？T？[2]第二季剧情介绍错 误 的注射技术是 否 被亲切地 使用？是为了L？实施稳健性的经验评估。 错误的注入一个？引入FA？D？自由？R？系统中的错误？我在他的前任？观察他的行为？一个位置。这是否允许在R？鲁棒性测试的实现，以模拟敌对环境另一方面，形式化的鲁棒性测试方法的目的是正式终止V实现的鲁棒性笑得心满意足？从一个整体的自己？T？这是一个很好的解决方案。这些最后的？他们的灵感来自M？测试方法合规？有动机吗？DI？Ren E PR？这是进入的领域我在增加吗？通过引入一组AL？作为（错误）。所以，与其刺激系统？我是否接受过Entr的测试？是否有效，鲁棒性测试器，g？n？RE和EX？是S吗？什么是进入？是的中断以破坏系统的功能？测试我？贡献稳健性测试是否为TR？这对确保S很重要吗？乌里特？ 能力如何？ 系统？我的日志。那么，是否存在错误的迹象呢？您是否接受了Montr的稳健性测试？从R？结果TR？是吗？复活。然而，他们不知道他们是否有能力进行有效的测试。评估系统的鲁棒性？测试我？从曼妮那里？更严格。在E和V中，你是hniques吗？你不是在嘲笑系统的鲁棒性吗？我：植入是否在现场？R？如果她能留住她的前任，她会很坚强吗？在公关部？和错误。换句话说，如果系统？测试我？它没有挂起，它是onsid吗？R？健壮的人。但我们知道，只有一个系统？我可以TR吗？你能留住你的前任吗？在不提供期待已久。 从 是的，我们需要什么？笑？他的近似值更严格的？评估系统的鲁棒性？我。此外，错误注入的技术并没有减缓注入过程的速度。你的错是Inje T吗？是曼妮吗或多或少是铝？有没有办法确保你有一个好的前任？所有的罪都是从罪中产生的吗？T？你呢？是不是太晚了？）另一方面，正式的稳健性测试技术？它们都是正式的吗？测试磁带。错误是g吗？n？R？是吗？从国防部来？正式的和适当的？T？稳健性是v吗？笑？这是基于一个很好的测试。也没有。不过，两个大问题能不能？三重提升？是关于ES M的吗？方法。首先，所有的错误，inje t？是极限吗？通过entr的域是测试应用程序吗？e.反对派？经验错误的注入方法，可以注入任何类型的错误，现有的形式技术R？国防部呢？R中的错误F？在国防部工作？系统的功能测试我这个I？允许更好的IBL注入的好处是什么？E和更合适？系统中的E？测试我？但是onsid故障的类型呢？R？它们是极限吗？是国防部的吗理性的力量。如果例如，最后一个不考虑时间方面，我们不能引入时间错误还有国防部？实现的基本功能并不总是可用的。在N中，M？是否应用现有的正式方法在鲁棒性测试中，是否恢复了M？你用的是什么？和M？测试方法合规？ 这种结构是否要求测试人员与系统进行交互？测试我？由一个？什么，是M吗？方法不能吗？三用？是否测试系统组件？我的意思是，当你说，或当系统？测试我？不能吗？三大垄断？通过测试仪进行测试？E很重要。我们公关的工作？我们在做的时候感觉到，我们存在于一组命题中，这些命题的目的是r？在D上产卵？这是现有的稳健性测试程序所做的。我们将重点放在四个主要的印刷轴上：首先，我们是国际？我们是否感到内疚和更多的ULI党的注入？在probl上撒谎？我有一个注射过程。我们建议形式化错误inje t？通过使用Hoare逻辑的时间扩展[42.我们的？学习？更多端口？在系统上？我的朋友们，我们建议SP？我是什么行动？霍尔三元组的注射定量D？把公关人员赶走？谁应该？你对世界末日的消息感到满意吗？在前任之前？行动的结果？注射定量，以及一组SP后操作？前男友怎么样？的变化手术？口粮应该修改吗？这些消息的状态。然后我们将使用这个V的测试结果如何？嘲笑好前任？这是一个很好的例子。因此，我们提出了一种被动测试算法，它可以你对他们撒谎了吗？所有的错误Inje t？是（SP？我？是一组霍尔三元组），在一个注入的tre上。 从这个mani？我们可以。有他们 这会给你带来更多的痛苦吗？？我们的经验？刑罚。我们是否在SP上注册？I和V？嘲笑专业人士？T？坚固性。我们是否建议将其正式化？T？通过使用逻辑时间线的扩展来实现鲁棒性？允许SP的区域？在时间r上有约束力吗？埃尔。 这是时间逻辑吗？时钟expli ite，Xctl（eXpli itClo k Temporal Logi）[32，谁表达了它？允许吗？SP的时间？他们是自己人吗？T？简单的和复杂的有一个aisan e党uli？re.为了V？嘲笑自己？T？我们提出了一种被动测试算法，你对他们撒谎了吗？XCTL公式在一个？V？元素。选择一个低的方法？被动测试允许你克服Tif测试的局限性，对吗？公关？？阿门。我们还提供了一种新的鲁棒性测试方法。我们是否提供低混合动力方法？e关于错误注入和被动测试。 是否使用了错误输入？E代表R？环境条件稳定，被动测试允许您？满足于能力？自己的？T？对前男友的忠诚度？进化T？是的。我的错是什么？这是他们自己的吗？T？S的鲁棒性在形式上是SP？我？是的。我们对SP使用Hoare逻辑？用于属性形式化的故障和XCTL逻辑的定义？T？坚固性。是什么让我们有了V？笑了？在应用被动测试方法时，注入的优点和鲁棒性的要求是什么？你在我们的公关服务中吗？？牙齿。最后，我们提供了一个mod平台？和V？嘲笑Web服务的健壮性。Web服务是一种技术吗？一个正在逐渐发展的新兴市场？将自己确立为免疫程序范式的标准-？-程序。他们还提供了一个系统的例子吗？我的H？T？罗杰？高度分散？s. Web服务可以吗？非常简单还是ompo？它们是否被广泛使用？S代表R？e-ommer e和system应用程序的使用情况？我的信息分发？s.由一个？他们是不是换了一辆车？系统的一个很好的例子我的批评者？稳健性测试具有其全部维度。我们提出的测试平台i i，是在r？阿利特？我们的鲁棒性测试方法的一个实例化，adapt？服务是Web。这个平台在- T？我们有没有一个创新的故障排除器（WSInje t）？U和D？信封？我们是否应该建立一个环境，而不是一个前任？敌对行动。WSInjet[36]是一个用于Web服务的错误生成器能够从Interfa和我的名字，还是M？我想把这两种错误合并成一个单一的错误。他能吗？三用？服务测试是简单的还是ompo？s.我们也有植入物吗？那么int呢？GR？什么是被动测试算法？S代表V？我们嘲笑注入的优点和坚固性的要求，我们有经验吗？两张A上的押韵？说明如何使用我们的测试平台。Manus Rit公关？你觉得马努斯在嘲笑他吗？组织起来了吗？ 以下是：1. 在这一章中，我们是公关。我们能感觉到吗？合规性测试方法的最新技术水平？和鲁棒性。为了测试合规性，首先，我们将介绍M的用法系统测试的形式化方法我的日志-他们。 那么，我们D？让我们来看看两者主要测试系列：Tif测试和被动测试。第二？我的部分E 章节是 安莎·R？E对M？稳健性测试方法 我们 拉松是我吗？方法在两个大的at？大猩猩。首先，我们揭露低级的经验主义。这是关于错误的注入，然后我们进入正式的te hniques。2. 三号？我的公关章节？你感觉到我们的第一个了吗？报应。这是关于形式化和V？嘲笑别人的错误。 身份证？基本E是SP吗？你的错是什么？是由一组Hoare三元组，然后使用SP？我是v的测试对象吗？嘲笑好前任？这是一个很好的例子。我们D？我们有一个被动测试算法，它是v？满足的能力？SP？这是一个错误的注射。我们公关？我们也有一些SP的例子。这是为了说明我们的方法。3. 在四？我是说，公关？感受一下我们的测试方法-应变时间r？埃尔。我们说utons第一，现有的工作，涉及m？清洁度测试的正式方法？T？时间R？埃尔。那我们公关呢我们能感觉到允许SP的形式主义吗？这是一种财产吗？T？我们选择了XCTL [32]。我们公关？我们还可以测试V的被动测试算法。你对前男友的XCTL公式有什么看法？使用我们说r吗？在一个结束时获得的结果？评估经验？犯罪算法。4. 在第一章中，我们问：让我们来看看我们的鲁棒性测试方法。这是OMPL的方法吗？撒谎，低？e关于错误注入和被动测试。我们？首先，让我们看看关于鲁棒性测试的现有工作。那我们公关呢你能感觉到高血压吗？n？我们的方法是什么？裁缝他的一个朋友。 在这种方法中，我们使用逻辑关于SP的Hoare？注入和时间逻辑的确认和验证？用于性能测试的EXPLI时钟（XCTL）？T？坚固性。5. 最后，在第六章中，我们问：让我们来看看我们的Web服务健壮性测试平台。这个平台是我们应用测试方法的一个实例吗服务是Web。我们D？我们要去高年级吗？n？他的一个儿子，还有一个儿子，他的一个儿子？这是一个很好的例子，说明WSInje t。最后，我们选择D的动机是什么？为Web和PR服务开发一个错误生成器？我们是否感受到了它的痛苦和它的理性？s.我们公关？我们还将在本章中看到我们的平台的应用测试两张A？让我们来看看它是如何使D成为可能的。你有D的模式吗失败是我们不能做的吗？和米一起玩？传统的测试方法6. 最后一章是我们的作品。我们记得我们的印刷品上的贡献，无论是在测试领域不成形？ 从注射故障或稳健性测试;我们的公关呢？我们是否感觉到一些潜在的人进入了Ontinuit？我们的工作。摘要T鲁棒性是一种spe实现的依赖性属性，它将系统连接与外部故障联系起来。一种有序的鲁棒性测试包括在存在故障或压力环境条件的情况下测试系统，以研究其在遇到异常条件时的行为。测试系统的鲁棒性可能会变得更糟，无论是正式的还是正式的。 故障注入技术非常适合评估被测系统的鲁棒性程度。然而，他们并不依赖于正式的测试或验证他们的测试。另一方面，现有的鲁棒性测试的形式化方法将故障生成和结果分析形式化。然而，它们在处理的故障类型以及应用它们的系统类型方面具有一些限制。在这篇论文中提出的工作Manus撕裂喜欢解决一些现有稳健性试验方法的问题。首先，我们提出了一个形式化的ap-proa h，用于错误注入过程的spe和veriation。该方法包括将错误注入过程形式化为一组三重Hoare，然后基于一个被动测试算法验证错误注入过程的正确执行，该算法针对旧的错误注入过程运行错误注入过程。我们的捐赠用于提供测试或验证实时在应变上。我们提出了一种被动测试算法来满足实时需求，特别是作为一组XCTL（eXpli it Clo k Temporal Logi）公式，基于旧的exe语句。提出了一种新的稳健性测试方法H。这是一个完整的该方法结合了故障注入和被动测试来测试系统的反破坏性。将inje ted错误形式化为一组Hoare三元组，并针对inje tion tre进行验证，以验证inje tionpro ss。将鲁棒性要求形式化为一组Xctl公式，并在olle ted exe tre上进行验证。这种方法允许一个人引入广泛的错误，并用于测试简单和分布式系统。最后，我们提出了一个用于Web的鲁棒性测试方法的实例化。服务是。我们使用Web服务技术，因为它支持广泛分布和异构系统。因此，这是一个非常好的应用示例，可以显示我们的方法h的e ien y。关键词：鲁棒性测试、形式检验、故障注入、被动测试、Tra e分析。12内容物1导言181.1一般背景...........................................................................................................181.2捐款...................................................................................................................201.3论文计划...........................................................................................................232最新技术水平252.1正式测试...........................................................................................................252.1.1测试............................................................................................. 262.1.2被动测试..............................................................................................312.2坚固性测试：技术和工具.....................................................................402.2.1我错了，我接近他.....................................................................41岁。2.2.2基于模型的方法Hes...........................................................................453错误注射的Spe i ation和验证Pro ess493.1引言.........................................................................................................503.2错误在我的行动spe i ation........................................................................3.2.1第五十二章第一次见面3.2.2错误注入形式主义............................................................................. 533.2.3时间延长..............................................................................................533.2.4Spe i语言..................................................................................... 543.3Spe i ation示例........................................................................................553.3.1删除操作..............................................................................................55133.3.2行动延迟..............................................................................................56内容物3.3.356号撤退行动3.3.4插入操作573.3.5腐败行动573.4被动测试方法H573.5幻觉604Che King实时约束的形式化4.1导言634.2相关工作644.3LTL和实时日志664.3.1实时扩展684.4被动测试算法704.4.1XTTL和被动测试704.4.2测试算法714.4.3正确等级794.5实时模式和实验结果804.5.1周期804.5.2答案804.5.3相关性814.5.4备选案文814.6幻觉825系统稳健性测试的补充方法845.1导言845.2相关工作865.3拟议方法H875.3.1第88阶段的实验5.3.2注射剂职业90的145.3.3稳健性要求的验证915.4幻觉92内容物6Web服务建模和测试框架是健壮性946.1导言.........................................................................................................956.2Web服务是技术......................................................................................956.2.1服务和定向Ar hite阅读.............................................................. 966.2.2Web服务是...........................................................................................976.2.3Web服务位置.................................................................................... 1006.3用于Web服务的鲁棒性方法的实例化......................................................6.3.1稳健性要求............................................................................... 1046.3.2注射过程的Spe iation...............................................................1066.4WSInje T................................................................................................1086.4.1动机.................................................................................................... 1086.4.2工具演示文稿....................................................................................1106.5案例研究.........................................................................................................1186.5.1加热器控制系统（HCS）..............................................................1186.5.2旅行预订服务（TRS）.................................................................... 1246.6幻觉.................................................................................................................1317幻觉1327.1第............................................................................................135章第一次见面参考书目13715图列表2.1动机测试方法272.2被动测试方法322.3可变值的定义342.4信息丢失353.1被动测试方法h：（a）粘贴tra e. (b)车王Tre 在Formen e w.r.t.上 Inje Tion规则spe i ation。.......................... 584.1实验结果825.1拟定稳健性试验方法H88的高分辨率5.2分布式系统的观察点906.1一个有趣的SOA的合理模型由hite ture966.2Web服务是97型6.3SOAP消息结构996.4Web中的SPEL服务是由主机版本k102提供的6.5用于测试Web服务的框架是健壮性1036.6一个Web服务器的示例是Enario1056.7A 链接侧故障注入/损坏1096.8WS-FIT by Hite Ture1106.9我的超次元帝国1116.10 S Ript语言语法112166.11 抽象语法树的示例11617图列表6.12 初始化WSInje的主要影响因素1176.13 WSInje的GUI1176.14 加热器控制系统的顺序图1186.15 加热器Ontrolling系统120的6.16 TRS系统的序列图1266.17 通过TRS系统127的6.18 应用于TRS127的注射18表列表6.1可用的供应商1136.2可用故障114