Zhaogui Xu, Ju Qian, Lin Chen, Zhifei Chen, Baowen Xu
Program slicing is an important program analysis technique and now has been used in many fields of software engineering. However, most existing program slicing methods focus on static programming languages such as C/C++ and Java, and methods on dynamic languages like Python are rarely seen. Python, a typical dynamic object-oriented language, has been more and more widely used now. In Python, everything is a first-class object, including functions, classes, methods, and modules. Existing slicing methods cannot handle the issue of these first-class objects. Therefore, this paper proposes a static slicing method for Python first-class objects. By adding all the definitions of first-class objects into the dependence model and uniformly constructing the program dependence graphs for all the functions, classes, methods, and modules, this method can effectively solve the slicing problems caused by arbitrary definitions and uses of first-class objects in Python.
{"title":"Static Slicing for Python First-Class Objects","authors":"Zhaogui Xu, Ju Qian, Lin Chen, Zhifei Chen, Baowen Xu","doi":"10.1109/QSIC.2013.50","DOIUrl":"https://doi.org/10.1109/QSIC.2013.50","url":null,"abstract":"Program slicing is an important program analysis technique and now has been used in many fields of software engineering. However, most existing program slicing methods focus on static programming languages such as C/C++ and Java, and methods on dynamic languages like Python are rarely seen. Python, a typical dynamic object-oriented language, has been more and more widely used now. In Python, everything is a first-class object, including functions, classes, methods, and modules. Existing slicing methods cannot handle the issue of these first-class objects. Therefore, this paper proposes a static slicing method for Python first-class objects. By adding all the definitions of first-class objects into the dependence model and uniformly constructing the program dependence graphs for all the functions, classes, methods, and modules, this method can effectively solve the slicing problems caused by arbitrary definitions and uses of first-class objects in Python.","PeriodicalId":404921,"journal":{"name":"2013 13th International Conference on Quality Software","volume":"234 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-07-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124570248","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
O. Kondratyeva, N. Kushik, A. Cavalli, N. Yevtushenko
This paper addresses the problem of evaluating the Web service quality using Finite State Machines. The most popular metrics for estimating such quality and user perception are Quality of Service (QoS) and Quality of Experience (QoE), which represent objective and subjective assessments, correspondingly. In this paper, we show how QoS can be estimated for Web services and their composition using finite state models. We also discuss how different machine learning algorithms can be applied for evaluating QoE of Web services based on known QoS parameter values.
{"title":"Evaluating Web Service Quality Using Finite State Models","authors":"O. Kondratyeva, N. Kushik, A. Cavalli, N. Yevtushenko","doi":"10.1109/QSIC.2013.52","DOIUrl":"https://doi.org/10.1109/QSIC.2013.52","url":null,"abstract":"This paper addresses the problem of evaluating the Web service quality using Finite State Machines. The most popular metrics for estimating such quality and user perception are Quality of Service (QoS) and Quality of Experience (QoE), which represent objective and subjective assessments, correspondingly. In this paper, we show how QoS can be estimated for Web services and their composition using finite state models. We also discuss how different machine learning algorithms can be applied for evaluating QoE of Web services based on known QoS parameter values.","PeriodicalId":404921,"journal":{"name":"2013 13th International Conference on Quality Software","volume":"1985 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-07-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127482094","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
In recent years, reliability is becoming a more and more important concern for software architectures. There exist many reliability model to predict the software reliability at architecture level, but few of them give the formal description of the software architecture. Although many formal approaches have been proposed to specify the software architecture, unfortunately, few of them pay attention to the important non-functional characteristic, namely reliability here. In this paper, we try to bridge the gap between software reliability model and software architecture description. Our work expands such idea in four directions. First, we propose a reliable hypergraph grammar by extending hyperedge. Then we describe the architecture structure by using our reliable hypergraph grammar. Meanwhile, through this reliable hypergraph grammar, architecture evolution is achieved by applying predefined transformation rules. At last, we use a case study to illustrate how our approach works.
{"title":"An Approach to Reliable Software Architectures Evolution","authors":"Xu Li, Linpeng Huang","doi":"10.1109/QSIC.2013.26","DOIUrl":"https://doi.org/10.1109/QSIC.2013.26","url":null,"abstract":"In recent years, reliability is becoming a more and more important concern for software architectures. There exist many reliability model to predict the software reliability at architecture level, but few of them give the formal description of the software architecture. Although many formal approaches have been proposed to specify the software architecture, unfortunately, few of them pay attention to the important non-functional characteristic, namely reliability here. In this paper, we try to bridge the gap between software reliability model and software architecture description. Our work expands such idea in four directions. First, we propose a reliable hypergraph grammar by extending hyperedge. Then we describe the architecture structure by using our reliable hypergraph grammar. Meanwhile, through this reliable hypergraph grammar, architecture evolution is achieved by applying predefined transformation rules. At last, we use a case study to illustrate how our approach works.","PeriodicalId":404921,"journal":{"name":"2013 13th International Conference on Quality Software","volume":"87 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-07-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117230506","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Nien-Lin Hsueh, P. Chen, W. Chu, Chao-Tung Yang, Chih-Wei Lu, Chih-Hung Chang
In the current medical environment, many health systems are designed by web interface. People having a PC notebook can get help by browsing the web. However, recently mobile devices are rapidly growing and people get information through smart mobile phone, rather than traditional web interface. Therefore some health systems are re-designed for mobile interface. However the effort is huge. The objective of this paper is to introduce a systematic and web-service-integrated method to migrate the legacy web pages to mobile device that is suitable for mobile user.
{"title":"A Mobile Centered and Web Service Integrated Approach for Legacy eHealth Web Migration","authors":"Nien-Lin Hsueh, P. Chen, W. Chu, Chao-Tung Yang, Chih-Wei Lu, Chih-Hung Chang","doi":"10.1109/QSIC.2013.34","DOIUrl":"https://doi.org/10.1109/QSIC.2013.34","url":null,"abstract":"In the current medical environment, many health systems are designed by web interface. People having a PC notebook can get help by browsing the web. However, recently mobile devices are rapidly growing and people get information through smart mobile phone, rather than traditional web interface. Therefore some health systems are re-designed for mobile interface. However the effort is huge. The objective of this paper is to introduce a systematic and web-service-integrated method to migrate the legacy web pages to mobile device that is suitable for mobile user.","PeriodicalId":404921,"journal":{"name":"2013 13th International Conference on Quality Software","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-07-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131531253","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Context-awareness is one of the major research areas of pervasive computing. Context plays an important role in such systems. In most existing work, researchers view context as all elements in the environment of an application and use it just as passive data. This kind of context is unfavorable to the quality of context-aware applications. During the development of applications, it is difficult for developers to analyze, specify and organize everything in the environment accurately and completely. This kind of application is hard to be extended or modified when the requirements on environment change in the future. In the runtime, these applications have to deal with all the environment events even though they have nothing to do with the current user activity which should be served. In this paper, we propose an activity-oriented context (AOC) approach in order to improve the quality of context-aware applications. We give the AOC concept model and a context-aware software model with proactive activity-oriented context entity. We implement a platform to support context-awareness with activity-oriented context (PAOC). We also present a case study and an evaluation to demonstrate the usability and performance of our approach.
{"title":"Improving the Quality of Context-Aware Applications: An Activity-Oriented Context Approach","authors":"Xuansong Li, Xianping Tao, Jian Lu","doi":"10.1109/QSIC.2013.59","DOIUrl":"https://doi.org/10.1109/QSIC.2013.59","url":null,"abstract":"Context-awareness is one of the major research areas of pervasive computing. Context plays an important role in such systems. In most existing work, researchers view context as all elements in the environment of an application and use it just as passive data. This kind of context is unfavorable to the quality of context-aware applications. During the development of applications, it is difficult for developers to analyze, specify and organize everything in the environment accurately and completely. This kind of application is hard to be extended or modified when the requirements on environment change in the future. In the runtime, these applications have to deal with all the environment events even though they have nothing to do with the current user activity which should be served. In this paper, we propose an activity-oriented context (AOC) approach in order to improve the quality of context-aware applications. We give the AOC concept model and a context-aware software model with proactive activity-oriented context entity. We implement a platform to support context-awareness with activity-oriented context (PAOC). We also present a case study and an evaluation to demonstrate the usability and performance of our approach.","PeriodicalId":404921,"journal":{"name":"2013 13th International Conference on Quality Software","volume":"82 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-07-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122649921","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Recently, enterprises, organizations, and software companies are building more and more web applications to provide their services over the Internet. In order to fulfill various requirements, the complexity of web applications nowadays is increasing dramatically. As a result, the performance characteristics of web applications, including response time, throughput, etc, become more critical than before and should be taken into careful consideration. If the response time of a web application is poor, users may lose their interests even the function of the web application is correct. Therefore, how to execute performance testing on a complex web application systematically and efficiently will be an important issue. In this paper, a performance testing framework for REST-based web applications is introduced. The performance testing framework aims to provide software testers with an integrated process from test cases design, test scripts generation, to test execution. Based on the test cases designed by software testers and the appropriate software artifacts preserved by the framework (e.g., API document), the framework generates the corresponding performance test scripts, which can be executed by specific performance test tools. This helps software testers to focus more in the design of performance test cases. In addition, effort needed to understand the design and implementation of the application and to learn the operation of testing tools decrease. Thus, the efficiency of performance testing can be highly facilitated.
{"title":"Performance Testing Framework for REST-Based Web Applications","authors":"Chia Hung Kao, Chun-Cheng Lin, Juei-Nan Chen","doi":"10.1109/QSIC.2013.32","DOIUrl":"https://doi.org/10.1109/QSIC.2013.32","url":null,"abstract":"Recently, enterprises, organizations, and software companies are building more and more web applications to provide their services over the Internet. In order to fulfill various requirements, the complexity of web applications nowadays is increasing dramatically. As a result, the performance characteristics of web applications, including response time, throughput, etc, become more critical than before and should be taken into careful consideration. If the response time of a web application is poor, users may lose their interests even the function of the web application is correct. Therefore, how to execute performance testing on a complex web application systematically and efficiently will be an important issue. In this paper, a performance testing framework for REST-based web applications is introduced. The performance testing framework aims to provide software testers with an integrated process from test cases design, test scripts generation, to test execution. Based on the test cases designed by software testers and the appropriate software artifacts preserved by the framework (e.g., API document), the framework generates the corresponding performance test scripts, which can be executed by specific performance test tools. This helps software testers to focus more in the design of performance test cases. In addition, effort needed to understand the design and implementation of the application and to learn the operation of testing tools decrease. Thus, the efficiency of performance testing can be highly facilitated.","PeriodicalId":404921,"journal":{"name":"2013 13th International Conference on Quality Software","volume":"4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-07-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117351748","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Hailong Zhang, Dalin Zhang, Dahai Jin, Yunzhan Gong, Chengcheng Wang
Software faults are usually correlated to each other in practice. However, pattern-based static analysis can only report independent atomic faults, such as null-pointer dereference and memory leak. It does not take the influences among different faults into account which will lead to omissions of faults and bring security risks. Also, massive independent faults are against the understanding of them that may result in incomplete modifications. In this paper, we propose a new approach to generalize high level patterns with static analysis. Our approach first extracts execution traces of faults and joins the related faults into single compound traces. Then it mines a set of frequent patterns with only compound traces supporting them. The underlying algorithms in our approach have been implemented and applied to our static analysis tool, DTSGCC. The experimental results show the capability of our approach to discover high level patterns of faults.
{"title":"Automatically Mining High Level Patterns of Software Faults within Methods","authors":"Hailong Zhang, Dalin Zhang, Dahai Jin, Yunzhan Gong, Chengcheng Wang","doi":"10.1109/QSIC.2013.63","DOIUrl":"https://doi.org/10.1109/QSIC.2013.63","url":null,"abstract":"Software faults are usually correlated to each other in practice. However, pattern-based static analysis can only report independent atomic faults, such as null-pointer dereference and memory leak. It does not take the influences among different faults into account which will lead to omissions of faults and bring security risks. Also, massive independent faults are against the understanding of them that may result in incomplete modifications. In this paper, we propose a new approach to generalize high level patterns with static analysis. Our approach first extracts execution traces of faults and joins the related faults into single compound traces. Then it mines a set of frequent patterns with only compound traces supporting them. The underlying algorithms in our approach have been implemented and applied to our static analysis tool, DTSGCC. The experimental results show the capability of our approach to discover high level patterns of faults.","PeriodicalId":404921,"journal":{"name":"2013 13th International Conference on Quality Software","volume":"30 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-07-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126712332","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Device drivers are a principal source of failures in computer systems. Therefore, improving driver reliability greatly improves overall system reliability. However, driver development largely has to wait until a first stable version of the device becomes available. This dependency often leaves not enough time for driver validation. Recently, virtual machines and virtual devices have found their way into early driver development and validation. Virtual devices enable driver development even before real devices become available and bring complete observability and trace ability that evade real devices. We present an approach to static analysis of virtual devices which is central to achieving observability and traceability. This approach exercises the device model of a virtual device by symbolic execution. Based on the result of symbolic execution, a concrete test case is generated for each path through the device model, which has been exercised. We have applied this approach to virtual devices of five network adapters. The results show that this approach is feasible, efficient, and useful.
{"title":"Symbolic Execution of Virtual Devices","authors":"Kai Cong, Fei Xie, Li Lei","doi":"10.1109/QSIC.2013.44","DOIUrl":"https://doi.org/10.1109/QSIC.2013.44","url":null,"abstract":"Device drivers are a principal source of failures in computer systems. Therefore, improving driver reliability greatly improves overall system reliability. However, driver development largely has to wait until a first stable version of the device becomes available. This dependency often leaves not enough time for driver validation. Recently, virtual machines and virtual devices have found their way into early driver development and validation. Virtual devices enable driver development even before real devices become available and bring complete observability and trace ability that evade real devices. We present an approach to static analysis of virtual devices which is central to achieving observability and traceability. This approach exercises the device model of a virtual device by symbolic execution. Based on the result of symbolic execution, a concrete test case is generated for each path through the device model, which has been exercised. We have applied this approach to virtual devices of five network adapters. The results show that this approach is feasible, efficient, and useful.","PeriodicalId":404921,"journal":{"name":"2013 13th International Conference on Quality Software","volume":"296 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-07-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124249802","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
In order to predicate the schedulability of real-time embedded system in the model design stage, a new schedulability analysis method for embedded system models using Architecture Analysis and Design Language (AADL) is presented in this paper. Through analyzing system architecture, component properties and component connections, we build the Resource Competition Model (RCM) for the AADL model. Based on the RCM, the respond time of thread components can be calculated, and we get the schedulability of system AADL model. This approach is on the model level to analyze the schedulability of systems without code implement. It has higher calculation efficiency, and a lower requirement for the system description. At last, a case-study is carried out to show the schedulability analysis process for an AADL model.
{"title":"On Schedulability Analysis for Embedded Systems with AADL Model","authors":"Yunwei Dong, Yao Cheng, Tingting Wu, Hong Ye","doi":"10.1109/QSIC.2013.28","DOIUrl":"https://doi.org/10.1109/QSIC.2013.28","url":null,"abstract":"In order to predicate the schedulability of real-time embedded system in the model design stage, a new schedulability analysis method for embedded system models using Architecture Analysis and Design Language (AADL) is presented in this paper. Through analyzing system architecture, component properties and component connections, we build the Resource Competition Model (RCM) for the AADL model. Based on the RCM, the respond time of thread components can be calculated, and we get the schedulability of system AADL model. This approach is on the model level to analyze the schedulability of systems without code implement. It has higher calculation efficiency, and a lower requirement for the system description. At last, a case-study is carried out to show the schedulability analysis process for an AADL model.","PeriodicalId":404921,"journal":{"name":"2013 13th International Conference on Quality Software","volume":"146 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-07-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123260308","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
This paper documents a case study of using the 5W+1H model for reporting systematic literature review on software testing for cloud computing. To our knowledge, this is the first systematic literature review that applies the 5W+1H model, which is widely used in the journalism domain, to report the full picture of the research area in both software engineering and services computing. Existing guidelines on systematic literature review heavily rely on the researcher to pose the right research questions, and the review results are tightly focused on these research questions. For researchers new to a field, defining the right research questions that are effective in revealing the critical issues in the field can be challenging. Our case study demonstrates that the 5W+1H model provides an easy aid for the researcher to get over such initial challenges. As the researcher becomes more familiar with the field, he/she may then refine the research questions by adding more topic-specific contexts. In this way, the 5W+1H model serves to provide an exploratory framework to shape a systematic literature review. Applying to software testing for cloud computing, we are able to synthesize a comprehensive picture of recent researches on the field, including publication pattern, article citation immediacy, research topic diversity, research ideas for addressing testing challenges at different cloud service architectural layers. Based on the case study, we summarize the lessons learned on using the 5W+1H model in reporting systematic literature review.
{"title":"Using the 5W+1H Model in Reporting Systematic Literature Review: A Case Study on Software Testing for Cloud Computing","authors":"Changjiang Jia, Yuen-Tak Yu","doi":"10.1109/QSIC.2013.13","DOIUrl":"https://doi.org/10.1109/QSIC.2013.13","url":null,"abstract":"This paper documents a case study of using the 5W+1H model for reporting systematic literature review on software testing for cloud computing. To our knowledge, this is the first systematic literature review that applies the 5W+1H model, which is widely used in the journalism domain, to report the full picture of the research area in both software engineering and services computing. Existing guidelines on systematic literature review heavily rely on the researcher to pose the right research questions, and the review results are tightly focused on these research questions. For researchers new to a field, defining the right research questions that are effective in revealing the critical issues in the field can be challenging. Our case study demonstrates that the 5W+1H model provides an easy aid for the researcher to get over such initial challenges. As the researcher becomes more familiar with the field, he/she may then refine the research questions by adding more topic-specific contexts. In this way, the 5W+1H model serves to provide an exploratory framework to shape a systematic literature review. Applying to software testing for cloud computing, we are able to synthesize a comprehensive picture of recent researches on the field, including publication pattern, article citation immediacy, research topic diversity, research ideas for addressing testing challenges at different cloud service architectural layers. Based on the case study, we summarize the lessons learned on using the 5W+1H model in reporting systematic literature review.","PeriodicalId":404921,"journal":{"name":"2013 13th International Conference on Quality Software","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-07-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125264601","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：