检索结果-南通市图书馆

Incremental Verification of Evolving BPEL-Based Web Composite Service

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Chinese Journal of Electronics 2016年第1期25卷 6-12页

作者： JI Shunhui li bixin QIU Dong School of Computer Science and Engineering Southeast University Key Laboratory of Computer Network and Information Integration (Southeast University) Ministry of Education

Web composite services inevitably evolve to meet various requirements. However, most researchers only considered the verification of single versions. Simply reapplying the original verification techniques on subsequent versions of composite service as they evolve is costly,especially for large-scale services. In this paper, a new approach called Incremental verification(ICV) is proposed to incrementally verify the non-conflict property of evolved versions of Business process execution language(BPEL)based composite service. With a kind of e Xtensible control flow graph(XCFG) as the formal model to describe the BPEL process, ICV compares the new version with the old one to identify the process changes which bring threats to the non-conflict property. Then it concentrates on the changed elements to perform the verification, which reduces the cost by skipping the analysis of unchanged elements. Case study shows that the proposed approach is effective and more efficient than the original verification method.

关键词： Incremental verification Evolution Web composite service eXtensible control flow graph(XCFG) Non-conflict property

An analysis of correctness for API recommendation:are the unmatched results useless?

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Science China(Information Sciences) 2020年第9期63卷 43-57页

作者： Xianglong KONG Weina HAN li liAO bixin li School of Computer Science and Engineering Southeast University

API recommendation is a promising approach which is widely used during software development. However, the evaluation of API recommendation is not explored with sufficient rigor. The current evaluation of API recommendation mainly focuses on correctness, the measurement is conducted by matching recommended results with ground-truth results. In most cases, there is only one set of ground-truth APIs for each recommendation attempt, but the object code can be implemented in dozens of ways. The neglect of code diversity results in a possible defect in the evaluation. To address the problem, we invite15 developers to analyze the unmatched results in a user study. The online evaluation confirms that some unmatched APIs can also benefit to programming due to the functional correlation with ground-truth *** we measure the API functional correlation based on the relationships extracted from API knowledge graph, API method name, and API documentation. Furthermore, we propose an approach to improve the measurement of correctness based on API functional correlation. Our measurement is evaluated on a dataset of 6141 requirements and historical code fragments from related commits. The results show that 28.2% of unmatched APIs can contribute to correctness in our experiments.

关键词： API recommendation onsite programming correctness evaluation of recommendation

A new method to encode calling contexts with recursions

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Science China(Information Sciences) 2016年第5期59卷 64-78页

作者： Lulu WANG bixin li Hareton LEUNG School of Computer Science and Engineering Southeast University Department of Computing Hong Kong Polytechnic University

Calling context encoding(CCE) uses some integers to represent the current context of any execution point, and is valuable in a wide range of applications. Existing studies already ensure accurate results of CCE,but they use stack to store the encoding when recursive calls happen. This may cost much for cyclic call graphs with deep recursive calls. This paper presents a novel approach(called RCCE) to address this problem. With a modified strategy for encoding, it requires less frequent access of the stack and gives more succinct representation of contexts on deep recursion. Experimental results show that compared to Precise Calling Context Encoding,RCCE is more practical and efficient on calling contexts with recursions.

关键词： calling context encoding recursive calls dynamic analysis profiling call graph

SE-FCA: A Model of Software Evolution with Formal Concept Analysis

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Chinese Journal of Electronics 2015年第1期24卷 13-19页

作者： SUN Xiaobing li bixin li Bin CHEN Ying School of Information Engineering Yangzhou University State Key Laboratory for Novel Software Technology Nanjing University School of Computer Science and Engineering Southeast University

Softwares are naturally evolved to cope with various changing system requirements. Software evolution includes a series of activities to analyze, assess, and validate the changes. This paper proposes an integrated software evolution model, namely SE-FCA, to support four core software evolution activities: program comprehension,change impact analysis, regression testing, and fault localization. These four activities are integrated and supported under the formal concept analysis technique, which is efficient to deal with the relation between entities and entity properties to provide a remarkable insight into the structure of the original relation. These activities are evaluated in a unified empirical environment. The empirical study shows the effectiveness of these activities under the SEFCA model.

关键词： Formal concept analysis Software evolution Software change

Profiling selected paths with loops

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Science China(Information Sciences) 2014年第7期57卷 74-88页

作者： li bixin WANG LuLu LEUNG Hareton School of Computer Science and Engineering Southeast University Department of Computing Hong Kong Polytechnic University

Path profiling records the frequency of each path in an executed *** accomplish profiling,probes are instrumented in the program and executed as the program ***,the number of probes has a significant impact on the efficiency of a profiling *** profiling only the interesting paths,existing techniques try to improve the profiling efficiency by reducing the number of probes and optimize path encodings for efficient ***,they lack accuracy,waste time on running uninteresting paths,and can mainly deal with acyclic *** this article,a novel technique called Profiling Selected Paths(PSP)is introduced to profile selected paths,which enables custom selection for both acyclic and cyclic paths and increases the execution efficiency by early termination on uninteresting *** analysis and experimental evaluation indicate that PSP performs better than existing techniques.

关键词： path profiling interesting paths dynamic analysis

IPSETFUL： an iterative process of selecting test cases for effective fault localization by exploring concept lattice of program spectra

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Frontiers of Computer Science 2016年第5期10卷 812-831页

作者： Xiaobing SUN Xin PENG Bin li bixin li Wanzhi WEN School of Computer Science Fudan University Shanghai 200433 China Shanghai Key Laboratory of Data Science Fudan University Shanghai 200433 China School of Information Engineering Yangzhou University Yangzhou 225127 China School of Computer Science and Engineering Southeast University Nanjing 211189 China School of Computer Science and Technology Nantong University Nantong 226019 China

Fault localization is an important and challeng- ing task during software testing. Among techniques studied in this field, program spectrum based fault localization is a promising approach. To perform spectrum based fault local- ization, a set of test oracles should be provided, and the ef- fectiveness of fault localization depends highly on the quality of test oracles. Moreover, their effectiveness is usually af- fected when multiple simultaneous faults are present. Faced with multiple faults it is difficult for developers to determine when to stop the fault localization process. To address these issues, we propose an iterative fauk localization process, i.e., an iterative process of selecting test cases for effective fault localization （IPSETFUL）, to identify as many faults as pos- sible in the program until the stopping criterion is satisfied. It is performed based on a concept lattice of program spec- trum （CLPS） proposed in our previous work. Based on the labeling approach of CLPS, program statements are catego- rized as dangerous statements, safe statements, and sensitive statements. To identify the faults, developers need to check the dangerous statements. Meantime, developers need to se- lect a set of test cases covering the dangerous or sensitive statements from the original test suite, and a new CLPS is generated for the next iteration. The same process is pro- ceeded in the same way. This iterative process ends until there are no failing tests in the test suite and all statements on the CLPS become safe statements. We conduct an empirical study on several subject programs, and the results show that IPSETFUL can help identify most of the faults in the program with the given test suite. Moreover, it can save much effort in inspecting unfaulty program statements compared with the existing spectrum based fault localization techniques and the relevant state of the art technique.

关键词： fault localization program spectrum conceptlattice test case selection iterative process

An incremental software architecture recovery technique driven by code changes

在线全文

学校读者我要写书评

暂无评论

Frontiers of Information Technology & Electronic Engineering 2022年第5期23卷 664-677页

作者： li WANG Xianglong KONG Jiahui WANG bixin li School of Computer Science and Engineering Southeast UniversityNanjing 210096China Jiangsu Automation Research Institute Lianyungang 222061China Huawei Digital Technology Lab Suzhou 215125China

It is difficult to keep software architecture up to date with code changes during software *** is caused by the limitations of standard development specifications and human power resources,which may impact software *** solve this problem,we propose an incremental software architecture recovery(ISAR)*** technique obtains dependency information from changed code blocks and identifies different strength-level ***,we use double classifiers to recover the architecture based on the method of mapping code-level changes to architecture-level *** is evaluated on 10 open-source projects,and the results show that it performs more effectively and efficiently than the compared *** also find that the impact of low-quality architectural documentation on effectiveness remains stable during software evolution.

关键词： Architecture recovery Software evolution Code change

在线全文

学校读者我要写书评

暂无评论

面向对象软件耦合的度量和验证

东南大学学报（自然科学版） 2006年第3期36卷 446-451页

作者：李必信东南大学计算机科学与工程学院

在研究面向对象软件度量过程中,提出了一种基于程序切片和信息流分析技术的面向对象软件耦合性度量方法.该方法首先计算面向对象程序的前向切片和后向切片,然后通过信息流分析技术分析程序中可能存在的输入耦合、输出耦合、I/E耦合,单... 详细信息

在研究面向对象软件度量过程中,提出了一种基于程序切片和信息流分析技术的面向对象软件耦合性度量方法.该方法首先计算面向对象程序的前向切片和后向切片,然后通过信息流分析技术分析程序中可能存在的输入耦合、输出耦合、I/E耦合,单向耦合、双向耦合和无耦合等6种耦合情况,并根据程序切片计算信息流的绝对量和信息流的宽度,进一步在此基础上计算面向对象程序中2个组件之间的耦合系数和某个组件自身的耦合度.最后通过理论证明和经验分析的方法验证了基于程序切片耦合度量的正确性和有效性.

关键词：面向对象基本组件耦合性度量理论验证经验分析

在线全文

学校读者我要写书评

暂无评论

基于顺序图的Web组合服务属性验证

东南大学学报（自然科学版） 2011年第2期41卷 305-311页

作者：吉顺慧李必信周宇东南大学计算机科学与工程学院南京211189

为了更好地理解和分析Web组合服务的过程及其相关属性,针对个体服务的WSDL文档和服务组合规约BPEL,提出了基于UML的Web组合服务建模和验证方法.从服务的WSDL中提取消息、操作等基本元素,用类图构建静态模型,以便考虑Web组合服务数据相... 详细信息

为了更好地理解和分析Web组合服务的过程及其相关属性,针对个体服务的WSDL文档和服务组合规约BPEL,提出了基于UML的Web组合服务建模和验证方法.从服务的WSDL中提取消息、操作等基本元素,用类图构建静态模型,以便考虑Web组合服务数据相关属性;用顺序图对业务流程构建动态模型,以形象易理解的方式刻画组合服务的行为,并简单地考虑了BPEL中的异常处理机制.在此基础上,将模型转换为Promela程序,利用模型检测工具SPIN对服务组合流程相关属性进行验证.实例分析表明,基于UML顺序图的服务组合建模和验证方法是有效的.

关键词： Web组合服务 UML建模模型验证 SPIN