【摘 要】
：
API protocols play an important role in program verification, testing, evolution and other phases of the software development process. Many approaches have been proposed to mine API protocols automati
【机 构】
：
Electric Power Dispatching Control Center,Meizhou Power Supply Bureau
论文部分内容阅读
API protocols play an important role in program verification, testing, evolution and other phases of the software development process. Many approaches have been proposed to mine API protocols automatically from programs. However, few tools are available,especially dynamical API protocol mining tools. In this paper, we present a dynamical API protocol mining tool for Java programs:ProExtor. Our tool mines API protocols in an online mode based on the instrumentation technique of Java agent. For each class, it produces two models: a probabilistic model and a deterministic model. The probabilistic model will be evolved persistently when more application programs are fed for mining. The deterministic model is transformed from the latest probabilistic model, which can be used for program verification, testing, evolution, etc. Both models can be visualized with the software Graphviz. We elaborate design and implementation details of our tool and an application to a real-world program. We believe our work is a good reference for the development of similar tools.
其他文献
了解成都市果蔬中农药残留污染现状及其对成都市居民的膳食风险水平。采集成都市果蔬大型农贸市场和超市的9类果蔬共203份样品，采用改良的GB 23200.113-2018 QuEChERS前处理方法，结合气相色谱-三重四级杆串联质谱对48种农药进行检测，分析成都市果蔬中农药残留现状，并结合大城市居民的果蔬消费情况和食品安全指数法对成都市居民从果蔬中摄入农药风险进行慢性膳食暴露评估。结果显示：48种农药
集合类为java.util包下的重要内容,它由JDK提供,类似于数组,它同样是一个容器,而数组的长度是固定的,同时受限于数组在内存中的物理结构,很难实现存储具有映射关系的数据。集合类的出现很好地解决了数组在实际开发过程中受到制约的问题,相比数组,它能够更加高效地管理容器内的内容,同时分化了不同类型的数据结构来适应多种场景。
"一带一路"改变了中小企业的发展环境,但中小企业不同于大规模企业,在资本力量、规模方面有所欠缺,必须要采取合理的市场营销模式,才能够规避国际贸易中的诸多风险。基于此,为给中小企业提供可靠参考,下文主要论述了"一带一路"背景下我国中小企业市场营销战略。
8月5日,门头沟区总工会机关党支部召开党史学习教育专题组织生活会,区人大常委会副主任、区总工会主席陈波,以及区总工会班子成员以普通党员身份与全体党员一起交流学习心得、接受思想洗礼,党史学习教育区委第五巡回指导组到会指导。会议分两个阶段进行,首先召开了支部党员大会。区总工会机关党支部书记代表党支部委员会报告2021年上半年党支部工作情况,
党的十九大报告推进了乡村振兴战略的实施,报告中提出要持续推动农业和农村发展的优先地位,在产业兴旺、生态宜居、乡风文明、治理有效、生活富裕总要求的指导下,逐步建立和完善城乡融合的制度和政策,提高农业农村的现代化发展水平。实现乡村振兴第一场硬仗就是农村人居环境整治。农村人居环境整治地方政府政策执行过程是一个政府主导、多方参与的社会基层治理过程,基于此,文章研究的重点是如何利用多中心治理优势,厘清各方主
为了全面分析石榴类胡萝卜素裂解双加氧酶（CCD）基因家族，基于石榴（Punica granatum）基因组数据利用生物信息学方法共鉴定得到22个石榴CCD基因家族成员，并对其理化性质、基因结构、启动子元件和染色体定位等进行了分析。结果表明，所鉴定到的22个石榴CCD基因均包含RPE65 （Retinal pigment epithelial 65）保守结构域，属于CCD基因家族成员。编码氨基酸在1
通常认为基础性要素是推动经济增长的主要动力,为探究发展经济学的结构转型观点是否也作用于中国的经济增长,文章选取我国省级面板数据样本,将我国划分为东、中、西部三个地区,研究1978—2018年中国经济增长的动力。结果发现,基础性要素始终作为经济增长的重要动力,中国的经济增长主要经历了两次重要的结构转型,分别以"农业-制造业"与"农业制造业-高新技术服务业"转型为主要内容。且结构转型主要在东西部地区推
水杉 （Metasequoia glyptostroboides Hu & W.C.Cheng）是我国珍贵的子遗树种之一,被称为"活化石"植物,是国家一级保护植物（图1）。远在中生代白垩纪,水杉家族成员就已经在地球上出现,并广泛分布于北半球,但在冰期以后,由于自然变迁这类植物几乎绝迹,野外栖生环境更是严重缩减。植物学家胡先辅先生曾在水杉歌中云:"化石龙骸夸禄丰,水杉并世争长雄。禄丰龙已成陈迹
伴随着计算机技术的高速发展和普及,传统的编译语言由于灵活性差、可扩展性不高、整体性能较差不能满足目前计算机软件开发的需求,为保证计算机软件开发的质量和效率,本文深入研究了Java编程语言在计算机软件开发中的应用,以Java编程语言的概述为切入点,深入探讨了Java编程语言的特点,举例分析了Java编程语言的重要应用领域,促进Java编程语言在计算机软件开发中的进一步应用的同时,为相关研究人员
为明确脱贫地区农村人居环境整治思路，本研究通过国家农村人居环境政策演变的梳理和典型县域农村人居环境整治现状的问卷调研，探讨脱贫地区农村人居环境整治框架。结果表明，2004年以来，历年中央一号文件分阶段强调农村基础设施建设、村庄环境整治和农村人居整治工作。调查县农业废弃物中农膜和棚膜未回收的村庄占比为29.33%和22.51%，但秸秆和畜禽粪便资源化利用程度较高；公共厕所、污水处理等基础设施的村庄普