标签:xml Mining CMI Operational 推测 preconditions 某个 unique procedure
Abstract
背景:
前提:使用某个进程的客户必须要先设置状态,而描述需要做到的状态就是preconditions。A procedure’s client must satisfy its precondition— that is, reach a state in which the procedure may be called.
本文:
任务:推测学习preconditions
方法:使用静态分析来推测某个变量需要经过的操作序列(比如In parseProperties(String xml), the parameter xml normally stems from getProperties().),然后用于探测缺陷
实验:
数据集:AspectJ
效果:
- found 288 violations of operational preconditions
- uncovering 9 unique defects and 48 unique code smells.
标签:xml,Mining,CMI,Operational,推测,preconditions,某个,unique,procedure 来源: https://www.cnblogs.com/xuesu/p/16339440.html
本站声明: 1. iCode9 技术分享网(下文简称本站)提供的所有内容,仅供技术学习、探讨和分享; 2. 关于本站的所有留言、评论、转载及引用,纯属内容发起人的个人观点,与本站观点和立场无关; 3. 关于本站的所有言论和文字,纯属内容发起人的个人观点,与本站观点和立场无关; 4. 本站文章均是网友提供,不完全保证技术分享内容的完整性、准确性、时效性、风险性和版权归属;如您发现该文章侵犯了您的权益,可联系我们第一时间进行删除; 5. 本站为非盈利性的个人网站,所有内容不会用来进行牟利,也不会利用任何形式的广告来间接获益,纯粹是为了广大技术爱好者提供技术内容和技术思想的分享性交流网站。