Parallel and Distributed Systems: Testing, Analysis, and Debugging最新文献_第2页

Practical verification of high-level dataraces in transactional memory programs 事务性内存程序中高级数据的实际验证

Parallel and Distributed Systems: Testing, Analysis, and Debugging Pub Date : 2011-07-17 DOI: 10.1145/2002962.2002968

Vasco Pessanha, Ricardo J. Dias, João M. Lourenço, E. Farchi, Diogo Sousa

引用次数: 8

Executing association rule mining algorithms under a Grid computing environment 在网格计算环境下执行关联规则挖掘算法

Parallel and Distributed Systems: Testing, Analysis, and Debugging Pub Date : 2011-07-17 DOI: 10.1145/2002962.2002973

R. Tlili, Y. Slimani

引用次数: 15

Robust non-intrusive record-replay with processor extraction 鲁棒非侵入式记录重放与处理器提取

Parallel and Distributed Systems: Testing, Analysis, and Debugging Pub Date : 2010-07-13 DOI: 10.1145/1866210.1866211

F. Gioachin, G. Zheng, L. Kalé

引用次数: 6

Unit testing for concurrent business code 并发业务代码的单元测试

Parallel and Distributed Systems: Testing, Analysis, and Debugging Pub Date : 2010-07-13 DOI: 10.1145/1866210.1866214

Y. Qi, Yarden Nir-Buchbinder, E. Farchi, R. Das, Zhi Da Luo, Zhi Gan

引用次数: 1

Profiling of real-world web applications 分析真实的web应用程序

Parallel and Distributed Systems: Testing, Analysis, and Debugging Pub Date : 2010-07-13 DOI: 10.1145/1866210.1866216

H. M. Aguiar, J. Seco, L. Ferrão

{"title":"Profiling of real-world web applications","authors":"H. M. Aguiar, J. Seco, L. Ferrão","doi":"10.1145/1866210.1866216","DOIUrl":"https://doi.org/10.1145/1866210.1866216","url":null,"abstract":"Non-functional requirements of enterprise web applications, like performance, are usually assessed and analyzed in simulated environments before being released into production. However, it is not easy to simulate a real-world environment and the effective use of the system, leading to poor and expensive performance data collection. Moreover, in agile methodologies, where development is focused in the fast time to market and getting early feedback from end-users, upfront estimation and forward thinking about scalability is not in the top priorities. This constrains even more performance analysis and tests, as developers are only aware of performance issues when critical feedback from production systems is given back to development. This commonly leads to enterprise web applications with scalability problems, and low responsiveness.\u0000 This paper presents a structured way of giving continuous and real world performance feedback to developers of enterprise web applications. By having early access to real performance metrics, developers easily detect stress points in applications, allowing for timely tuning actions, before reaching critical conditions for end-users. Metrics also help developers assessing the impact of changing intensively used parts of existing applications.","PeriodicalId":291507,"journal":{"name":"Parallel and Distributed Systems: Testing, Analysis, and Debugging","volume":"32 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-07-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134226915","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}

引用次数: 1

A platform for search-based testing of concurrent software 基于搜索的并行软件测试平台

Parallel and Distributed Systems: Testing, Analysis, and Debugging Pub Date : 2010-07-13 DOI: 10.1145/1866210.1866215

B. Krena, Zdenek Letko, Tomáš Vojnar, S. Ur

引用次数: 39

Open virtualization framework for testing ground systems 用于测试地面系统的开放虚拟化框架

Parallel and Distributed Systems: Testing, Analysis, and Debugging Pub Date : 2010-07-13 DOI: 10.1145/1866210.1866217

N. Duro, Rui Santos, João M. Lourenço, Hervé Paulino, João Martins

{"title":"Open virtualization framework for testing ground systems","authors":"N. Duro, Rui Santos, João M. Lourenço, Hervé Paulino, João Martins","doi":"10.1145/1866210.1866217","DOIUrl":"https://doi.org/10.1145/1866210.1866217","url":null,"abstract":"The recent developments in virtualization change completely the panorama of the Hardware/OS deployment. New bottlenecks arise in the deployment of application stacks, where IT industry will spend most of the time to assure automation. VIRTU tool aims at managing, configuring and testing distributed ground applications of space systems on a virtualized environment, based on open tools and cross virtualization support. This tool is a spin-off of previous activities performed by the European Space Operations Center (ESOC) and thus it covers the original needs from the ground data systems infrastructure division of the European Space Agency. VIRTU is a testing oriented solution. Its ability to group several virtual machines in an assembly provides the means to easily deploy a full testing infrastructure, including the client/server relationships.\u0000 The possibility of making on-demand request of the testing infrastructure will provide some infrastructure optimizations, specially having in mind that ESA maintains Ground Control software of various missions, and each mission cam potentially have a different set of System baselines and last up to 15 years. The matrix array of supported system combinations is therefore enormous and any improvement on the process provides substantial benefits to ESA, by reducing the effort and schedule of each maintenance activity.\u0000 The ESOC's case study focuses on the development and validation activities of infrastructure or mission Ground Systems solutions. The Ground Systems solutions are typically composed of distributed systems that could take advantage of virtualized environments for testing purposes. Virtualization is used as way to optimize maintenance for tasks such as testing new releases and patches, test different system's configurations and replicate tests. The main benefits identified are related to deployment test environment and the possibility to have on-demand infrastructure.","PeriodicalId":291507,"journal":{"name":"Parallel and Distributed Systems: Testing, Analysis, and Debugging","volume":"37 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-07-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129527674","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}

引用次数: 4

Debugging support tool for MCAPI applications 调试支持工具的MCAPI应用程序

Parallel and Distributed Systems: Testing, Analysis, and Debugging Pub Date : 2010-07-13 DOI: 10.1145/1866210.1866212

Mohamed M. Elwakil, Z. Yang

引用次数: 15

Detection of Transactional Memory anomalies using static analysis 使用静态分析检测事务性内存异常

Parallel and Distributed Systems: Testing, Analysis, and Debugging Pub Date : 2010-07-13 DOI: 10.1145/1866210.1866213

Bruno C. Teixeira, João M. Lourenço, E. Farchi, Ricardo J. Dias, Diogo Sousa

{"title":"Detection of Transactional Memory anomalies using static analysis","authors":"Bruno C. Teixeira, João M. Lourenço, E. Farchi, Ricardo J. Dias, Diogo Sousa","doi":"10.1145/1866210.1866213","DOIUrl":"https://doi.org/10.1145/1866210.1866213","url":null,"abstract":"Transactional Memory allows programmers to reduce the number of synchronization errors introduced in concurrent programs, but does not ensures its complete elimination. This paper proposes a pattern matching based approach to the static detection of atomicity violation, based on a path-sensitive symbolic execution method to model four anomalies that may affect Transactional Memory programs. The proposed technique may be used to to bring to programmer's attention pairs of transactions that the programmer has mis-specified, and should have been combined into a single transaction. The algorithm first traverses the AST tree, removing all the non-transactional blocks and generating a trace tree in the path sensitive manner for each thread. The trace tree is a Trie like data structure, where each path from root to a leaf is a list of transactions. For each pair of threads, erroneous patterns involving two consecutive transactions are then checked in the trace tree. Results allow to conclude that the proposed technique, although triggering a moderate number of false positives, can be successfully applied to Java programs, correctly identifying the vast majority of the relevant erroneous patterns.","PeriodicalId":291507,"journal":{"name":"Parallel and Distributed Systems: Testing, Analysis, and Debugging","volume":"23 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-07-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115250364","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

Towards a better collaboration of static and dynamic analyses for testing concurrent programs 为了更好地协作测试并发程序的静态和动态分析

Parallel and Distributed Systems: Testing, Analysis, and Debugging Pub Date : 2008-07-20 DOI: 10.1145/1390841.1390849

Jun Chen, S. MacDonald

{"title":"Towards a better collaboration of static and dynamic analyses for testing concurrent programs","authors":"Jun Chen, S. MacDonald","doi":"10.1145/1390841.1390849","DOIUrl":"https://doi.org/10.1145/1390841.1390849","url":null,"abstract":"Testing concurrent programs remains a difficult task due to the non-deterministic nature of concurrent executions. Many approaches have been proposed to combine static and dynamic analysis to reduce the complexity of uncovering potential concurrency bugs. However, the existing collaboration schemes only provide a limited mechanism for exchanging relevant information between the two analyses. For example, alias information only flows from the static analysis module to the dynamic analysis module at the beginning of the dynamic analysis. Therefore, we cannot fully exploit the advantages of each type of analysis. Motivated by this observation, in this paper we present a new testing technique which enables a tighter collaboration between static analysis and dynamic analysis. In this collaboration scheme, static analysis and dynamic analysis interact iteratively throughout the whole testing process. Static analysis uses coarse-grained analysis to guide the dynamic analysis to concentrate on the relevant search space, while dynamic analysis collects concrete runtime information during the guided exploration. The runtime information provided by the dynamic analysis helps the static analysis to refine its coarse-grained analysis and provides better guidance on dynamic analysis. Currently, our implementation consists of a static analysis module based on Soot and a dynamic analysis module based on JPF (Java PathFinder).","PeriodicalId":291507,"journal":{"name":"Parallel and Distributed Systems: Testing, Analysis, and Debugging","volume":"15 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-07-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121364736","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}

引用次数: 27