Characterizing and Detecting Gas-Inefficient Patterns in Smart Contracts

Ethereum blockchain is a new internetware with tens of millions of smart contracts running on it.Different from general programs,smart contracts are decentralized,tamper-resistant and permanently running.Moreover,to avoid resource abuse,Ethereum charges users for deploying and invoking smart contracts according to the size of contract and the operations executed by contracts.It is necessary to optimize smart contracts to save money.However,since developers are not familiar with the operating environment of smart contracts(i.e.,Ethereum virtual machine)or do not pay attention to resource consumption during development,there are many optimization opportunities for smart contracts.To fill this gap,this paper defines six gas-inefficient patterns from more than 25,000 posts and proposes an optimization approach at the source code level to let users know clearly where the contract is optimized.To evaluate the prevalence and economic benefits of gas-inefficient patterns,this paper conducts an empirical study on more than 160,000 real smart contracts.The promising experimental results demonstrate that 52.75%of contracts contain at least one gas-inefficient pattern proposed in this paper.If these patterns are removed from the contract,at least 0.30 can be saved per contract.     

代码坏味对软件演化影响的实证研究

代码坏味是指程序设计中存在的不良设计模式或设计缺陷.坏味的存在,被认为会阻碍软件的演化与维护.近年来,研究人员致力于探究坏味产生的影响以及坏味与软件演化之间的关系.已有研究表明,代码坏味会随着软件的演化而不断发生变化.通常,软件的演化将涉及源文件的增加、修改与删除这3类具体操作,了解代码坏味与软件演化中源文件操作的关系,将有助于开发者更好地计划软件开发过程和重构软件代码.因此,针对13种常见的坏味,在8个Java项目共计104个版本中进行了系统的实证研究.研究发现,随着软件版本的演化,含代码坏味的文件在整个项目中的占比在不同的项目中呈现出不同的特征.另外,包含代码坏味的文件更倾向于被修改,而坏味本身与文件的添加或者删除并没有太大的关联.更进一步地,在探究的所有坏味中,有几种特定的坏味对文件的修改产生了显著的影响,且这些坏味文件间存在着明显的重叠.这些发现有助于开发人员更好地了解代码坏味,以便于更好地对软件进行维护.     

优异的筒子质量来自Propack FX与Ecopack FX

赐来福公司深入研究了限制纱线长度测量系统和筒子成形的各种因素,开发了保证筒子结构均匀的Propack FX智能电子防叠系统,以及提高测量精度的Ecopack高精度定长系统.为筒子成形领域和纱线长度测量领域提供了新的标准,大大提高了络筒以及后道工序的生产效率.     

一种自动化软件设计改进方法

面向对象的软件设计改进是增强系统的可扩展性、使之适应可能的需求变化的一种有效手段.提出一种基于CBR(case based reasoning)和微体系结构反模式的设计改进方法.该方法形式化地定义了在微体系结构层中不灵活的设计结构和相应的重构方案的描述方法,研究了它们在事例库中的组织和索引机制.根据基于事例的推理技术的4R过程,提出了类图、顺序图、质量要素和语义约束的相似性度量方法,描述了在给定设计中识别反模式及其实例,并在此基础上,用高质量的设计方案进行替代的几种算法.以该方法为依据,进一步介绍了设计改进支撑系统--CBDIT(CBR based design improving tool)的体系结构的设计.     

基于反模式的J2EE中间件重构模型

J2EE中存在着大量的反模式,这些反模式会极大的降低应用系统的性能,对"会话数据膨胀"反模式进行了研究,提出了两种重构模型,即业务流控制器模型和委托控制器模型,它们有助于将所有导航信息移出单个的Servlet和JSP,放入一个中心Servlet中,实现代码的分流和调用路径的选择,减少了开发人员的工作量,分析了具体的重构步骤,并以实例说明了这些模型在重构过程中的作用.     

反模式检测研究综述

反模式是一类在软件设计和实现过程中重复出现的不良解决方案, 这种方案会妨碍软件的维护和演化。反模式检测不仅能够帮助识别软件缺陷, 避免未来的工作中出现同样的错误, 还能够对软件重构提供指导, 对于软件的质量保证有着重要意义。从静态反模式检测和动态反模式检测入手, 详细分析了目前反模式检测领域的相关方法, 对相关检测工具进行了调查分析, 总结了各种检测方法的应用以及存在的不足。     

基于反模式的中间件应用系统性能优化

提出了一种基于反模式的中间件应用系统的性能优化方法.该方法的主要特点包括:建立了反模式元模型以使得反模式的表示更加准确:综合利用系统的静态信息和动态信息以检测运行系统中存在的反模式;系统重构在不中断应用系统运行的前提下在线执行,并在中间件的辅助下自动/半自动地完成.在J2EE平台上实现了支持该方法的原型系统,并通过网上书店的实例展示了该方法的有效性.     

基于反模式的J2EE中间件优化模型

针对反模式“细粒度远程调用”提出一种反模式检测模型,根据该检测模型提出基于反模式的J2EE中间件优化模型。在不中断应用系统的前提下,该优化模型能在中间件的辅助下支持在线重构,克服了离线重构模型修改客户端和不能自动重构的缺点。在企业资产管理系统中运用该模型,结果证明其在使系统其他属性不变的情况下,实现了自动在线重构,减少了开发人员的工作量。