舆论纲要：步调静止式的动静领会本领及扶助东西的接洽与实行

静止式的动静创造本领是一种新兴的步调动静领会本领，它经过对步调动静执奇迹态的领会逆向地索取静止式。动静创造静止式的思维首先是由MIT的Michael D.Ernst于1999年提出的，之后关系接洽日益充分。其重要思维是：开始，从源步调中索取步调点上变量的动态态消息；而后，领会变量的静态消息，按照体例给定的静止式准则范例化出一切潜伏静止式；结果，按照变量的动静消息（变量值），检验和测定并剔除不可立的联系式。步调静止式动静创造本领的接洽具备要害的价格和潜伏的运用远景，不妨运用于扶助步调领会、步调本子考证、妨碍定位及软硬件重构等范围。 本课题在进修静止式动静领会的关系表面和调查研究海外关系接洽功效的普通上，提防领会了动静静止式创造进程中的各个要害本领，接洽并提出了本人的本领计划，并实行了一个实用于C/C++步调的静止式机动创造东西。 正文的接洽实质囊括：在变量消息索取上面，提出了扩充证明器CINT索取变量消息的办法；在静止式刻画上面，安排了内置的静止式准则五十余条，并提出以动静插装的办法扶助用户自设置潜伏静止式；在静止式的检验和测定算法上面，贯串了保守的多遍递加检验和测定算法和自底进取检验和测定算法的便宜，提出了多遍自底进取检验和测定算法；在静止式的品种上面，除去扶助现有东西已有的因变量前置静止式和后置静止式，还扶助面向东西软硬件的类静止式的动静索取。 正文引见了静止式动静创造本领的接洽近况，阐明了静止式创造本领的关系接洽普通。在此普通上，精细计划了本课题提出的动静创造静止式进程中的几何要害本领，并精细引见了静止式机动创造东西的安排与实行。结果，经过范例领会展现了东西所创造的静止式，并给出与其余关系东西比拟的截止。要害词：步调静止式，步调点，静止式准则，动静领会，尝试用例