2011 11th International Conference on Quality Software最新文献

An Automatic Performance Modeling Approach to Capacity Planning for Multi-service Web Applications 多服务Web应用容量规划的自动性能建模方法

2011 11th International Conference on Quality Software Pub Date : 2011-07-13 DOI: 10.1109/QSIC.2011.13

Xiang Huang, Wei Wang, Wen-bo Zhang, Jun Wei, Tao Huang

{"title":"An Automatic Performance Modeling Approach to Capacity Planning for Multi-service Web Applications","authors":"Xiang Huang, Wei Wang, Wen-bo Zhang, Jun Wei, Tao Huang","doi":"10.1109/QSIC.2011.13","DOIUrl":"https://doi.org/10.1109/QSIC.2011.13","url":null,"abstract":"Capacities of online services are mainly determined by the interactions between workload and the services of the application. As the complexity of IT infrastructure increases, it is quite difficult to match the capacities of various services without the knowledge of their behaviors. The challenge to the existing works is to keep the performance model consistent with the services under live workload, because the workload and application behaviors are varied greatly. Therefore, new methods and modeling techniques that explain large-system behaviors and help analyze their future performance are now needed to effectively handle the emerging performance issues. In this paper, we proposed an automatic approach to build and rebuild performance model according to services' history statuses. Based on these statuses, user behaviors and their corresponding internal service relations are both modeled, and the CPU time consumed by each service is also got through Kalman filter. The analyzed results of our model can explain the behaviors of both the whole system and the individual services, and give valuable information for capacity planning. At last, our work is evaluated with TPC-W bench mark, whose results can demonstrate the effectiveness of our approach.","PeriodicalId":309774,"journal":{"name":"2011 11th International Conference on Quality Software","volume":"112 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-07-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116876971","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}

引用次数: 3

Program Debugging Using Constraints -- Is it Feasible? 使用约束进行程序调试——可行吗?

2011 11th International Conference on Quality Software Pub Date : 2011-07-13 DOI: 10.1109/QSIC.2011.39

F. Wotawa, M. Nica

引用次数: 5

Static Detection of Bugs Caused by Incorrect Exception Handling in Java Programs Java程序中不正确异常处理引起的bug的静态检测

2011 11th International Conference on Quality Software Pub Date : 2011-07-13 DOI: 10.1109/QSIC.2011.25

Xiaoquan Wu, Zhongxing Xu, Jun Wei

引用次数: 6

Model-Driven Design of Performance Requirements 性能需求的模型驱动设计

2011 11th International Conference on Quality Software Pub Date : 2011-07-13 DOI: 10.1109/QSIC.2011.16

A. García-Domínguez, I. Medina-Bulo, M. Marcos-Bárcena

引用次数: 0

Context-Sensitive Interprocedural Defect Detection Based on a Unified Symbolic Procedure Summary Model 基于统一符号过程摘要模型的上下文敏感过程间缺陷检测

2011 11th International Conference on Quality Software Pub Date : 2011-07-13 DOI: 10.1109/QSIC.2011.15

Yunshan Zhao, Yunzhan Gong, Li Liu, Qing Xiao, Zhaohong Yang

{"title":"Context-Sensitive Interprocedural Defect Detection Based on a Unified Symbolic Procedure Summary Model","authors":"Yunshan Zhao, Yunzhan Gong, Li Liu, Qing Xiao, Zhaohong Yang","doi":"10.1109/QSIC.2011.15","DOIUrl":"https://doi.org/10.1109/QSIC.2011.15","url":null,"abstract":"Precise interprocedural analysis is crucial for defect detection faced with the problem of procedure call. Procedure summary is an effective and classical technique to handle this problem. However, there is no general recipe to construct and instantiate procedure summaries with context-sensitivity. This paper addresses the above challenge by introducing a unified symbolic procedure summary model (PSM), which consists of three aspects: (1) the post-condition briefly records the invocation side effects to calling context, (2) the feature means some inner attributes that might cause both the dataflow and control-flow transformation and (3) the pre-condition implies some potential dataflow safety properties that should not be violated at the call site, or there would exist defects. We represent each aspect of PSM in a three-valued logic:. Moreover, by comparing the concrete call site context (CSC) with the conditional constraints (CC), we achieve context-sensitivity while instantiating the summary. Furthermore, we proposed a summary transfer function for capturing the nesting call effect of a procedure, which transfers the procedure summary in a bottom-up manner. Algorithms are proposed to construct and instantiate the summary model at concrete call sites with context-sensitivity. Experimental results on 10 open source GCC benchmarks attest to the effectiveness of our technique on detecting null pointer dereference and out of boundary defects.","PeriodicalId":309774,"journal":{"name":"2011 11th International Conference on Quality Software","volume":"10 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-07-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127308817","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}

引用次数: 14

The Application of a New Process Quality Measurement Model for Software Process Improvement Initiatives 一种新的过程质量度量模型在软件过程改进计划中的应用

2011 11th International Conference on Quality Software Pub Date : 2011-07-13 DOI: 10.1109/QSIC.2011.29

A. S. Güceglioglu, Onur Demirörs

{"title":"The Application of a New Process Quality Measurement Model for Software Process Improvement Initiatives","authors":"A. S. Güceglioglu, Onur Demirörs","doi":"10.1109/QSIC.2011.29","DOIUrl":"https://doi.org/10.1109/QSIC.2011.29","url":null,"abstract":"Conventionally, process analysis is performed by following the traces of processes on the attributes of cost, time and product quality. Although process quality is a significant aspect it is frequently ignored in process analysis. In this paper, we present the results of the applications of the Process Quality Measurement Model (PQMM) and demonstrate the added value that can be acquired by analyzing the process quality for software organizations. The PQMM is a comprehensive and proactive quality measurement model based on the ISO/IEC 9126 Software Product Quality Standard [1]. The basis of the PQMM is the measurement of process definitions. As process definitions can be established before their execution, the PQMM can measure processes before they are put into practice. The model was applied to three different software organizations as part of a software process improvement initiative. The applications of the PQMM provided guidance for the analysis and explanation of the deficiencies or problems identified in the processes. The PQMM was also applied to the improved versions of the processes and facilitated a quantitative evaluation of the improvements accomplished in the processes.","PeriodicalId":309774,"journal":{"name":"2011 11th International Conference on Quality Software","volume":"78 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-07-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124563371","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}

引用次数: 15

BAM: A Requirements Validation and Verification Framework for Business Process Models BAM:业务流程模型的需求确认和验证框架

2011 11th International Conference on Quality Software Pub Date : 2011-07-13 DOI: 10.1109/QSIC.2011.33

Sven Feja, Sören Witt, A. Speck

引用次数: 16

A Comparative Evaluation of Cache Strategies for Elastic Caching Platforms 弹性缓存平台缓存策略的比较评价

2011 11th International Conference on Quality Software Pub Date : 2011-07-13 DOI: 10.1109/QSIC.2011.14

Xiulei Qin, Wen-bo Zhang, Wei Wang, Jun Wei, Hua Zhong, Tao Huang

{"title":"A Comparative Evaluation of Cache Strategies for Elastic Caching Platforms","authors":"Xiulei Qin, Wen-bo Zhang, Wei Wang, Jun Wei, Hua Zhong, Tao Huang","doi":"10.1109/QSIC.2011.14","DOIUrl":"https://doi.org/10.1109/QSIC.2011.14","url":null,"abstract":"With the rapid development of cloud computing, traditional TP applications are evloving into the Extreme Transaction Processing (XTP) applications which are characterized by exceptionally demanding performance, scalability, availability, security, manageability and dependability require requirements, elastic caching platforms (ECPs) are introduced to help meet these requirements. Three popular cache strategies for ECPs have been proposed, say replicated strategy, partitioned strategy and near strategy. According to our investigations, many ECPs support multiple cache strategies. In this paper, we evaluate the impact of the three cache strategies using the TPC-W benchmark. To the best of our knowledge, this paper is the first evaluation of distributed cache strategies for ECPs. The main contribution of this work is guidelines that could help system administrators decide effectively which cache strategy would perform better under different conditions. Our work shows that the selection of the best cache strategy is related with workload patterns, cluster size and the number of concurrent users. We also find that four important metrics (number of \"get\" operations, message throughput, get/put ratio, and cache hit rate) could be used to help characterize the current condition.","PeriodicalId":309774,"journal":{"name":"2011 11th International Conference on Quality Software","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-07-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129592135","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}

引用次数: 5

A Comparison of Test Generation Algorithms for Testing Application Interactions 测试应用程序交互的测试生成算法的比较

2011 11th International Conference on Quality Software Pub Date : 2011-07-13 DOI: 10.1109/QSIC.2011.12

Antti Nieminen, A. Jääskeläinen, H. Virtanen, Mika Katara

引用次数: 8

Towards Balancing Determinism, Memory Consumption and Throughput for RTSJ-Based Real-Time Applications 基于rtsj的实时应用的确定性、内存消耗和吞吐量平衡

2011 11th International Conference on Quality Software Pub Date : 2011-07-13 DOI: 10.1109/QSIC.2011.28

Xiaowei Zhang, Donggang Cao, Hong Mei, Fuqing Yang

引用次数: 1