交互式验证拉斐尔·雅克引用此版本：拉斐尔·杰克赛交互式身份验证。数学软件[CS.MS]。格勒诺布尔阿尔卑斯大学英语NNT：2019GREAM075。电话：02460734v2HAL Id：tel-02460734https://hal.inria.fr/tel-02460734v22020年9月28日提交HAL是一个多学科的开放获取档案馆，用于存放和传播科学研究文件，无论它们是否已这些文件可能来自法国或国外的教学和研究机构，或来自公共或私人研究中心。L’archive ouverte pluridisciplinaireTHAPOSE为了获得等级DOCTEUR DE LA格勒诺布尔阿尔卑斯大学专业：informatiqueArrêté ministériel：25 mai 2016Présentée par拉斐尔·雅克这是让-弗朗索瓦·梅奥指挥的，也是伊利斯·法尔科内指挥的，格勒诺布尔-阿尔卑斯大学Grenoble信息学院的筹备工作à互动验证互动执行权验证Thèse soutenue publiquement le18 Décembre2019，devant le jury composé de：法布里斯·迪普罗斯研究工程师，ARM，检查员伊利斯·法尔科内Grenoble Alpes大学硕士学位若昂·洛伦索新里斯本大学讲师，特别报告员让-弗朗索瓦·梅奥Grenoble Alpes大学教授，研究所所长埃尔韦·马尔尚Charché de recherche，Inria Rennes Bretagne-Bretagneantique，审查员格温·萨朗Inria Grenoble，检察官，陪审团主席亚历山大·泰戈尔Inria Rennes Bretagne-Bretagneque，特别报告员摘要法语简历军官们都散了。我们相信一个伟大的，名字的tâches，parmi lesquelles certain sontcritiques。逻辑错误的后果各不相同，这是由于多人死亡造成的而且最重要的是要确保逻辑是可靠的Corriger les bogues est une activité très chronophage du processes de dépementlogiciel.在这方面，我们提出了执行的交互式验证，它将执行的验证与交互式设计相结合 。 La vérification àElle consiste à faire correspondre des traces d'exécutions d'unsystème avec des pro- priétés comportementales.这是系统的部分规格。Le débogageinteractif consiste à étudier un système durant son exécution pour comprendre sesbogues et les corriger en inspectant interactivement son état interne.La verificationinteractive à我们将为逻辑推理过程的部分推理提供便利。Nous definissons unemanièreefficaceetpratiquedevérifierdespropriétéscomportementalesautomatiquement sur un programme en utilisant un débo- gueur interactif.我们将转向架的检测和综合纳入一个综合方法论中，以指导转向架与执行验证的相互作用Nous fournissons un modèle formel pour les programmes vérifiés interactivement à我们修改了在被告席上执行的方案，编写了一份备忘录（用于判决）和一份剧本（用于开庭审理我们要确保监测员对初步方案和验证方案相互作用之间可能存在的模拟关系作出的判决的有效性。此外，我们还提供了一种适用于实现写作的模式的算法Nousintroduisons ensuite un cadre et une architecture distribuée pour la vérificationinteractive àCela permet de vérifier plusieurs propriétés approximément et dedéboguer un système distribué，composé de multiple processsus communicants.Lesmoniteurs ， le scénario et les programmes débogués eux-mêmesNotre architecturedistribuée est conçue pourNous presésentons Verde ， une implémentation de la vérification interactive àUnepremière version est basée sur le débogueur GNU （ GDB ） pour vérifier interacti-vement des programmes C et C++. Dist-Verde是一个第二个版本，它是一个与GDB上的C和C++程序以及JDB上的Java程序兼容的分布式体系结构的实现。Nous présentons des exérimentations en utilisant Verde ， évaluantNos résultatsmontrent que la vérification interactive àMots-clés：verification à3 3英文摘要计算机无处不在。我们信任他们完成越来越多的任务，其中一些是至关重要的。软件缺陷的后果是多种多样的，从微小的损失到多个生命的损失。因此，确保软件的可靠性至关重要。修复bug是软件开发周期中非常耗时的活动。在这篇论文中，我们提出了交互式运行时验证（i-RV），它结合了运行时验证和交互式调试。验证是一种研究系统运行时行为的形式化方法它包括将系统在运行时的运行时跟踪与行为属性相匹配。这些属性是系统规范的一部分。交互式调试包括在运行时研究系统，以了解其错误并修复它们，交互式地检查其内部状态。交互式运行时验证旨在通过利用运行时验证的严格和自动化方面，使交互式调试不那么乏味，更我们的目标是简化软件开发周期的调试部分。我们定义了一个有效的和方便的方法来检查行为属性自动使用交互式调试程序。我们在一个集成的工作流程中收集错误检测和错误理解，通过使用运行时验证指导交互式调试。我们提供了一个正式的模型，交互式运行时验证程序。我们模拟了一个调试器下的程序的执行，该调试器由一个监视器（用于判决发射）和一个场景（用于引导调试会话）组成。我们提供了保证的合理性的判决由监视器发出的表现出弱模拟（关系）之间的初始程序和交互式运行时验证的程序。此外，我们提供了一个算法视图，这个模型适合生产实现。然后，我们介绍了一个分布式和自适应的框架，交互式运行时验证。它允许同时检查多个需求并调试由通信进程组成的监视器、场景和调试过的程序本身使用编排协议分布式运行，我们使用SPIN模型检查器验证了该协议。我们的分布式框架旨在适应现有的组件。我们提出了Verde，一个交互式运行时验证的实现第一个版本是基于GNU编译器（GDB）的，以交互式运行时验证C和C++程序。第二个版本Dist-Verde是我们的分布式框架的一个实现，它通过GDB与C和C++程序兼容，通过JDB与Java程序兼容。我们报告使用佛得角评估交互式运行时验证的有用性和我们的实现性能的实验我们的研究结果表明，交互式运行时验证适用于各种情况下，并有助于研究错误。关键词：运行时验证，交互式调试，可靠性，软件工程，分布式系统，性能，缺陷.谢谢！我很感谢克洛伊，妈妈和爸爸，为了能陪伴我，指导我，支持我，直到博士毕业感谢这些平静的周末，感谢那些躁动不安即使我的关系不好我也会来的因为你很好也谢谢你让这些小朋友在校园里休息。我想感谢玛米和爸爸，他们一直都很信任我 他是我的研究生也是博士。也感谢所有的家人：卡米尔、多纳万、埃米莉、热纳维耶芙、热拉尔、洛朗、丽莎、玛丽-诺艾尔、马里昂、雷米、塞维琳。您是天才。谢谢布鲁诺赛琳和鲁多还有我的腰。我也很感谢索莱纳，他在博士毕业后的最后一年里一直支持我。一个小点心在谢谢你给我带来的快乐我想感谢我在博士课程上遇到的几位同事：多里安、菲利普和西里尔，他们都是我生活中最富有、最受欢迎的人。谢谢马克西姆和索菲娅让我们的友谊持久而牢固。谢谢你的配合。谢谢你们的赞美诗，彩虹摇摆者，还有加州的尼拉，还有合唱团的我回到这首赞美诗中，因为我看到了光明，看到了我生命中最美好的决定你们是我的家人！感谢您的支持，感谢您的回复，感谢您的夜晚和夜晚，感谢您的周末和精彩的音乐会。谢谢你们的晚会和合作。谢谢Anais，Andrea，Antoine，Ben，Charlotte，Chloé，Claire，Clémentine，David，Esther，Katline，Kevin，Ludo，Miriam，Marine，Max，Solène，Túng，Véronique.谢谢塞西尔，塞西尔，乔安娜，莱拉，露西，凯文，索莱娜。感谢所有的合唱团，因为我没有引用这里的话，因为我知道自己很聪明，也很清楚，“心是什么”，很有想象力您将在七月份在博士学位授予过程中担任一个重要的角色。谢谢你的脸：热雷米，雷米和埃蒂埃，为了讨论休闲和娱乐的时刻。感谢塞巴斯蒂安为我们提供联系方式，并希望我能通过电子信使进行更长时间的交谈谢谢亚历克西斯和米里亚姆帮我把脸贴上。谢谢朱利安，马塞林，泰芬和亚历山大。我们很好。谢谢Thibaut为这位美丽的朋友，还有Lise。感谢菲永、于贡、莱里、阿森西、穆尼耶、热拉尔和艾达在这非常重要的时刻。感谢CORSE的同事们对这些有趣的讨论，这些对酒吧或咖啡馆的反馈，这些支持以及这些有特色的啤酒谢谢弗雷德和艾曼纽为我们准备的菜这是奶酪谢谢你一直在听我说话也感谢我在IMAG的工作人员，特别是在办公室的四分之一处感谢伊利埃斯库和杰菲对你们的信任和帮助让我能更好地工作 感谢陪审团成员的认可，以便我们能够接受您的建议并协助您解决问题。非常感谢所有人，因为我很荣幸地提到了这里，但我的生活是通过一个源或一个丰富的讨论来实现的你在4前卫建议L’informatique comme domaine de有了这个博士之后，很多人都问我工作的原因令人惊讶的是，信息学是一个研究领域在《法语信息学概论》中，信息学是一门理性的科学，即自动化机器，"将信息视为对技术、经济和社会领域内人类知识和通信的支持"，并且协调器是一种“机器算法”，其由对应于特定功能的材料集合组成，可以接收信息，dotée dememémoiresà capacité etdemoyens detraitementà Amsterdamvitesse，pouvantrestituertoutor partie des éléments traités，ayant la possibilité de ré-soudre des problèmes mathématiques et logiquescomplex，et néxiliitant pour son fonctionnement la programme enoeuvre et l'exploitation automatique d'unensemble de programmes enregistrés"。 Un- pect important de les ordintaedd 'aujourd'hui，outtre letreitement des données et les calculs，est l a communication. 但在这段话中，我不想在课堂上讲电子课，也不想让我对为什么信息研究很重要发表意见。这是一个很好的地方。 Notre impact en tant qu'espèce sur l'enement est venu une préoccupationimportante et les chercheurs et chercheuses en informatique ont prérôle à prendre. Des travauxont été menés pour étédier et minimiser la consumation énergétique et réduire les emissioncarbonnes dans les bâtiments [AZ19] ， processsus de fabrication [JZ19] ， motionà induction[SKN19].这些信息系统同样消耗大量能源。Il est estimé que faire fonctionner internet demandeentre 1，1% and 1，9%[RM11] deUne première solution évidente à ce probleme est然而，这并不是鼓励我们学习和提高信息系统的能源消耗Réduire notre dependance aux ordinateurs他们可以用类 似 于 会 议 的 解 决 方 案 取 代 类 似 于 能 源 的 解 决 方 案 。 Des travaux ont été menés sur laconsommation énergétique des systèmes informatiques.[PNP+ 19]的结束研究了移动应用程序编程实践中的缺陷的影响，[JRLD 19]的结束侧重于测量和减少无子女公共网络中的能源消耗作为一种大型机械的辅助装置和蓄电池，其部件稀少，材料不可再利用。 该领域内可接受的情况必须参加，而多个领域的工作包括社交聚会21世纪的一个特殊方面，通过与总统的关系，是人类社会中的高级官员的普遍存在一个典型的人类生活在西部地区的日子可以从一个电话的声音开始有了电话，他就可以写新的东西，验证方法，把信息写在两个人和两个儿子身上。56 6压延机。今天的大部分电视记者都是记者。La plutart des moyens de transportations motoriséscomprennent un ou plusieurs ordinateurs. Beaucoup这些协调员对人类社会生活的许多方面也产生了深远的影响：他们与那些在世界上很容易和很实际的人进行交流;他们改变了我们与其他人之间的交往方式Ils ont un rôle majeur dans des domaines comme le divertissement et他们还提出了许多关于“私人生活、自治、安全、人的尊严、司法和权力关系”的伦理问题此外，协助或协助人道主义工作的协调员，在世界劳工组织中产生了实质性的后果：在人道主义工作中自动产生了现实的历史性后果（潜在的痛苦或苛求），他们减少了人道主义工作的数量，而在人道主义工作的结果中，他们也增加了现实的工作量Des travaux ont été menés sur性感和脆弱。 这些指挥官也不一定是批评家。核燃料、燃料和反应堆的安全取决于多名指挥官的良好运作。Les services我们将继续为志愿者提供帮助，并协助我们开展一项重大活动安全性和可靠性至关重要。S’assurer de la sûreté et la fiabilité des ordinateurs est difficile : les ordinateurssont des systèmes complexes, 协调员的关系又好了这种复杂性导致了这些制度的合理性，这些制度的原因在于可能导致各种后果的概念缺陷，而这些概念缺陷是多方面的。De nombreux journax（ RESS3 ， STVR4 ， MR5 ） and confécement （ ISSRE6 ， SAFECOMP7 ） se concentrent sur lesmethodologies et techniques visant à éviter，detector et étudier de tels problèmes.原文：“隐私、自主、安全、人的尊严、正义和权力平衡”2这是我们的责任，因为我们的社会有可能利用和利用这种自由增加的时间。3可靠性工程系统安全4软件测试、验证和可靠性5微电子可靠性6IEEE软件可靠性工程7计算机安全、可靠性和安全性前言计算机科学作为一个研究课题在这个博士学位期间，人们问我在做什么，有些人很惊讶计算机科学是一个研究领域。根据WordNet的说法，“计算机科学是工程科学的一个分支，它研究（在计算机的帮助下）可计算的过程和结构”[worb]，计算机是“自动执行计算的机器”[wora]。 除了计算和数据处理之外，当今计算机的一个重要特点是通信。在这一段中，我将提供一个固执己见的解释，说明为什么我认为计算机科学对不相信的读者很环境问题。我们作为一个物种对环境的影响已经成为一个核心问题，计算机科学家在这个问题上发挥了作用。计算机科学研究已经完成，以研究和最大限度地减少建筑物[AZ19]、制造过程[JZ19]、感应电机[SKN19]中的能源消耗和减少碳排放。计算机系统本身消耗大量的能量。据估计，为互联网供电需要人类全球能源使用量的1.1%至1.9%[RM11]解决这个问题的第一个明显的办法是避免在不必要的时候使用计算机然而，这绝不能阻止我们研究和改善计算机系统的能耗减少我们对计算机的依赖并不总是减少我们对生态影响的明显解决方案它们可以用视频会议等解决方案取代耗电的解决方案，如飞行。已经对计算机系统的功耗进行了研究[PNP+19]的作者研究了移动应用程序中不良编程实践的影响，[JRLD 19]的作者专注于测量和降低公共无线网络中的功耗电脑和电池驱动的一些广泛使用的设备是由稀土金属和不可重复使用的材料。这些材料的开采、提炼和回收对植被、人类和动物的健康产生严重影响，并引起人们对人权和矿山劳动条件的关注。在这方面还没有看到一个可以接受的情况，需要在包括计算机科学在内的多个领域开展工作，以减少这种影响。社会问题。21世纪与以往不同的一个特点是计算机在人类社会中的普遍性，而且越来越普遍。生活在西方国家的人的典型一天可能以电话铃声开始。有了这个手机，这个人可以阅读新闻，查看天气预报，给他们的亲戚发消息，管理他们的日历。今天的电视机大多大多数机动交通工具都嵌入一个或多个计算机。许多日常活动，如文书工作，购物，获得方向涉及计算机。计算机也对人类社会生活的许多方面产生了深远的影响：它们使与世界各地的人交流变得容易和方便;它们改变了人们与他人互动的方式他们在娱乐和艺术创作中发挥着重要作用。这方面是《娱乐业中的计算机》（CIE）杂志的重点，该杂志已经持续了15年，直到2018年12月。它们还提出了许多伦理问题，如“隐私，自治，安全，人类尊严，正义和权力平衡”[RTKvE18]。 计算机还帮助-或疏远-人类的劳动，这对工作及其组织的世界产生了重大影响：通过自动化（潜在的危险或乏味）历史上由人类完成的任务，它们减少了人类的工作量。78 8人类必须做8，通过实现否则无法实现的结果，他们也可能增加工作量。已经对计算在工作世界中的影响进行了研究[EMS 18]。安全性和可靠性至关重要。计算机也参与关键系统。每次飞行、航天器和核电站的安全都依赖于几台计算机的正确操作。紧急服务和救援服务也依赖于计算机进行通信和地理定位。我们开始依靠计算机来驾驶汽车，并在越来越多的活动中帮助我们因此，计算机的安全性和可靠性至关重要。确保计算机的安全性和可靠性是困难的：计算机是复杂的系统，由许多部分组成，本身就很复杂。计算机网络，更是如此。这种复杂性使得很难对这些系统进行推理，并使它们容易出现设计缺陷，这些缺陷可能会产生各种后果，从轻微的烦恼到多人丧生。许多期刊（RESS9，STVR10，MR11）和会议（ISSRE12，SAFECOMP13）都专注于旨在避免，检测和研究此类缺陷的方法和技术。因此，社会有责任以最好的方式利用这种增加的自由时间。9可靠性工程系统安全 10软件测试、验证可靠性 11微电子可靠性IEEE软件可靠性工程13计算机安全、可靠性和安全内容1介绍11.1错误困扰我们的计算机系统。. . . . . . . . . . . . . . . . . . . . . . . . . .21.1.1什么是bug . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .21.1.2为什么他们很难对付？. . . . . . . . . . . . . . . . . . . . . . . . .21.2现有的解决bug的方法。. . . . . . . . . . . . . . . . . . . . . . . . . .1.2.1脱毛。. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .331.2.2静态分析. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .41.2.3模型检查。. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .41.2.4手动和Beta测试。. . . . . . . . . . . . . . . . . . . . . . . . . . . .41.2.5单元测试. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .51.2.6验证。. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .51.2.7交互式网络. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .51.3关于这个问题. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .61.3.1让我们收集交互式验证和验证验证。 . . . . . . .61.3.2贡献与成果。. . . . . . . . . . . . . . . . . . . . . . . . . . . .61.3.3出版物和讲习班。. . . . . . . . . . . . . . . . . . . . . . . . . . .61.3.4本论文的。. . . . . . . . . . . . . . . . . . . . . . . . . . . .72背景82.1交互式网络. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .92.1.1一次临时会议。. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .92.1.2断点。. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .112.1.2.1断点。. . . . . . . . . . . . . . . . . . . . . . .112.1.2.2数据断点（监视点）。. . . . . . . . . . . . . . . . . . .132.1.2.3Catchpoints. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .132.1.2.4条件断点和监视点。. . . . . . . . . . . . . .132.1.2.5多位置断点。. . . . . . . . . . . . . . . . . . . . . .132.1.2.6硬件和软件支持。. . . . . . . . . . . . . . . . . . .132.1.3步一来. . . . . . . . . . . . . . . . . . . . . . . . . . . . .142.1.4语言支持。. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .142.1.5检查点。. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .142.1.6优势与劣势. . . . . . . . . . . . . . . . . . . . . . . . . . . .142.2验证。. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .152.2.1仪表、跟踪和事件。. . . . . . . . . . . . . . . . . . . . . .152.2.1.1仪器技术。. . . . . . . . . . . . . . . . . . . . . .152.2.1.2事件和跟踪. . . . . . . . . . . . . . . . . . . . . . . . . . .162.2.2规范和属性形式主义。. . . . . . . . . . . . . . . . . . . . .162.2.3监督和裁决。. . . . . . . . . . . . . . . . . . . . . . . . . . . . .172.2.4优势与劣势. . . . . . . . . . . . . . . . . . . . . . . . . . . .182.3结合交互式验证和验证验证。. . . . . . . . . . . . .182.4交互式身份验证。. . . . . . . . . . . . . . . . . . . . .192.5比较I-RV和交互式会话。. . . . . . . . . . . . . . . . .21我IIii2.6结论。. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .243单进程程序253.1符号和定义。. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .263.1.1集合和函数. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .263.1.2标记转换系统相关的符号和概念。. . . . . . . .273.2概念. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .283.2.1方案。. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .283.2.2事件。. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .313.2.3仪表提供和事件处理 . . . . . . .323.3操作视图。. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .333.3.1程序交互式验证界面 . . . . . . .343.3.1.1输入符号. . . . . . . . . . . . . . . . . . . . . . . . . . . . .343.3.1.2输出符号. . . . . . . . . . . . . . . . . . . . . . . . . . . .343.3.2计划. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .343.3.3执行控制器。. . . . . . . . . . . . . . . . . . . . . . . . . . . .353.3.4监视器. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .433.3.5剧情. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .443.3.6交互式验证程序。. . . . . . . . . . . . . . . . . . . . . . .3.3.6.1初始化和执行。. . . . . . . . . . . . . . . . . . . . . .45463.3.6.2活动和非开发人员积分。. . . . . . . . . . . . . . . . . .463.3.6.3脚本中的。. . . . . . . . . . . . . . . . . . . . .463.3.6.4 Stepping，Checkpointing and Other Anlogger Commands.. . . . .463.4交互式验证的。. . . . . . . . . . . . . . . . . . . .483.4.1检查I-RV程序的行为。. . . . . . . . . . . . . . . . . .483.4.2监督裁决的。. . . . . . . . . . . . . . . . . . . . . . . .503.5视图。. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .503.5.1计划. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .513.5.2执行控制器。. . . . . . . . . . . . . . . . . . . . . . . . . . . .513.5.2.1处理程序中指令的执行。 . . . . .513.5.2.2设置和删除点。. . . . . . . . . . . . . . . . . . . . .533.5.2.3 Instrumentation.. . . . . . . . . . . . . . . . . . . . . . . . . . . .533.5.2.4步进和中断执行。. . . . . . . . . . . . . .543.5.2.5控制程序内存和计数器。. . . . . . . . . . .553.5.2.6检查点。. . . . . . . . . . . . . . . . . . . . . . . . . . . . .553.5.3剧情. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .553.5.4交互式验证程序。. . . . . . . . . . . . . . . . . .563.5.4.1初始化和执行. . . . . . . . . . . . . . . . . . . . . .563.5.4.2 Stepping，Checkpointing and Other Anlogger Commands.. . . . .573.5.4.3一般行为。. . . . . . . . . . . . . . . . . . . . . . . . . . .583.6结论。. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .584分布式自适应交互验证4.1导言。. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .59604.2范围和设计考虑。. . . . . . . . . . . . . . . . . . . . . . . . . . . .614.2.1假设 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .614.2.2执行模型。. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .614.2.3要求和设计选择。. . . . . . . . . . . . . . . . . . . . . . .624.3分布式I-RV的体系结构和协议。. . . . . . . . . . . . . . . . . . . .624.3.1分布式I-RV组件. . . . . . . . . . . . . . . . . . . . . . . . . .634.3.2协议。. . . . . . . . . . . . . . . . . . . . . . . . . . . .634.3.3执行控制器的。. . . . . . . . . . . . . . . . . . . . . .654.3.3.1概述.. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .654.3.3.2www.example.com . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .65IIiii4.3.3.3输出。. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .664.3.3.4内部状态。. . . . . . . . . . . . . . . . . . . . . . . . . . . . .664.3.4监视器的。. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .664.3.4.1概述.. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .664.3.4.2www.example.com . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .664.3.4.3输出。. . . . . . . . . . . . . . . . . . .
我的内容管理
收起
我的收益 登录查看自己的收益
我的积分
登录查看自己的积分
我的C币
登录后查看C币余额
我的收藏 
我的下载 
下载帮助 
