2009 IEEE/ACM International Conference on Automated Software Engineering最新文献_第7页

A Modelling Language for Interactive Web Applications 交互式Web应用程序的建模语言

2009 IEEE/ACM International Conference on Automated Software Engineering Pub Date : 2009-11-16 DOI: 10.1109/ASE.2009.44

Jevon M. Wright

引用次数: 9

Service Substitution Revisited 重新审视服务替代

2009 IEEE/ACM International Conference on Automated Software Engineering Pub Date : 2009-11-16 DOI: 10.1109/ASE.2009.58

Dionysis Athanasopoulos, A. Zarras, V. Issarny

引用次数: 21

Automating the Implementation of Analysis Concerns in Workflow Applications 自动化工作流应用程序中分析关注点的实现

2009 IEEE/ACM International Conference on Automated Software Engineering Pub Date : 2009-11-16 DOI: 10.1109/ASE.2009.29

Oscar González, R. Casallas, D. Deridder

引用次数: 0

Adaptive Random Test Case Prioritization 自适应随机测试用例优先级

2009 IEEE/ACM International Conference on Automated Software Engineering Pub Date : 2009-11-16 DOI: 10.1109/ASE.2009.77

Bo Jiang, Zhenyu Zhang, W. Chan, T. Tse

引用次数: 256

Mining Health Models for Performance Monitoring of Services 为服务的性能监视挖掘运行状况模型

2009 IEEE/ACM International Conference on Automated Software Engineering Pub Date : 2009-11-16 DOI: 10.1109/ASE.2009.95

Mithun P. Acharya, V. Kommineni

{"title":"Mining Health Models for Performance Monitoring of Services","authors":"Mithun P. Acharya, V. Kommineni","doi":"10.1109/ASE.2009.95","DOIUrl":"https://doi.org/10.1109/ASE.2009.95","url":null,"abstract":"Online services such as search and live applications rely on large infrastructures in data centers, consisting of both stateless servers (e.g., web servers) and stateful servers (e.g., database servers). Acceptable performance of such infrastructures, and hence the availability of online services, rely on a very large number of parameters such as per-process resources and configurable system/application parameters. These parameters are available for collection as performance counters distributed across various machines, but services have had a hard time determining which performance counters to monitor and what thresholds to use for performance alarms in a production environment. In this paper, we present a novel framework called PerfAnalyzer, a storage-efficient and pro-active performance monitoring framework for correlating service health with performance counters. PerfAnalyzer automatically infers and builds health models for any service by running the standard suite of predeployment tests for the service and data mining the resulting performance counter data-set. A filtered set of performance counters and thresholds of alarms are produced by our framework. The health model inferred by our framework can then be used to detect performance degradation and collect detailed data for root-cause analysis in a production environment. We have applied PerfAnalyzer on five simple stress scenarios – CPU, memory, I/O, disk, and network, and two real system – Microsoft’s SQL Server 2005 and IIS 7.0 Web Server, with promising results.","PeriodicalId":320607,"journal":{"name":"2009 IEEE/ACM International Conference on Automated Software Engineering","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-11-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131164729","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}

引用次数: 8

Understanding the Value of Software Engineering Technologies 理解软件工程技术的价值

2009 IEEE/ACM International Conference on Automated Software Engineering Pub Date : 2009-11-16 DOI: 10.1109/ASE.2009.93

Phillip Green, T. Menzies, Steve Williams, Oussama El-Rawas

引用次数: 17

Task-First or Context-First? Tool Integration Revisited 任务优先还是情境优先?工具集成重访

2009 IEEE/ACM International Conference on Automated Software Engineering Pub Date : 2009-11-16 DOI: 10.1109/ASE.2009.36

W. Maalej

引用次数: 39

Looper: Lightweight Detection of Infinite Loops at Runtime loop:运行时无限循环的轻量级检测

2009 IEEE/ACM International Conference on Automated Software Engineering Pub Date : 2009-11-16 DOI: 10.1109/ASE.2009.87

Jacob Burnim, Nicholas Jalbert, C. Stergiou, Koushik Sen

引用次数: 54

Static Validation of C Preprocessor Macros C预处理器宏的静态验证

2009 IEEE/ACM International Conference on Automated Software Engineering Pub Date : 2009-11-16 DOI: 10.1109/ASE.2009.75

A. Saebjoernsen, Lingxiao Jiang, D. Quinlan, Z. Su

{"title":"Static Validation of C Preprocessor Macros","authors":"A. Saebjoernsen, Lingxiao Jiang, D. Quinlan, Z. Su","doi":"10.1109/ASE.2009.75","DOIUrl":"https://doi.org/10.1109/ASE.2009.75","url":null,"abstract":"The widely used C preprocessor (CPP) is generally considered a source of difficulty for understanding and maintaining C/C++ programs. The main reason for this difficulty is CPP's purely lexical semantics, i.e., its treatment of both input and output as token streams. This can easily lead to errors that are difficult to diagnose, and it has been estimated that up to 20% of all macros are erroneous. To reduce such errors, more restrictive, replacement languages for CPP have been proposed to limit expanded macros to be valid C syntactic units. However, there is no practical tool that can effectively validate CPP macros in legacy applications. In this paper, we introduce a novel, general characterization of inconsistent macro usage as a strong indicator of macro errors. Our key insight is that all applications of the same macro should behave similarly. In particular, we map each macro call c in a source file f to c's normalized syntactic constructs within the abstract syntax tree (AST) for f's preprocessed source, and use syntactic similarity as the basis for comparing macro calls of the same macro definition. Utilizing this characterization, we have developed an efficient algorithm to statically validate macro usage in C/C++ programs. We have implemented the algorithm; evaluation results show that our tool is effective in detecting common macro-related errors and reports few false positives, making it a practical tool for validating macro usage.","PeriodicalId":320607,"journal":{"name":"2009 IEEE/ACM International Conference on Automated Software Engineering","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-11-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129328358","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}

引用次数: 6

Zoltar: A Toolset for Automatic Fault Localization Zoltar:一个自动故障定位工具集

2009 IEEE/ACM International Conference on Automated Software Engineering Pub Date : 2009-11-16 DOI: 10.1109/ASE.2009.27

Tom Janssen, Rui Abreu, A. V. Gemund

引用次数: 96