Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering最新文献

Using traceability to support model-based regression testing 使用可追溯性来支持基于模型的回归测试

Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering Pub Date : 2007-11-05 DOI: 10.1145/1321631.1321744

L. Naslavsky, D. Richardson

引用次数: 27

Testing concurrent programs using value schedules 使用值调度测试并发程序

Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering Pub Date : 2007-11-05 DOI: 10.1145/1321631.1321678

Jun Chen, S. MacDonald

{"title":"Testing concurrent programs using value schedules","authors":"Jun Chen, S. MacDonald","doi":"10.1145/1321631.1321678","DOIUrl":"https://doi.org/10.1145/1321631.1321678","url":null,"abstract":"Concurrent programs are difficult to debug and verify because of the nondeterministic nature of concurrent executions. A particular concurrency-related bug may only show up under certain rarely-executed thread interleavings. Therefore, commonly used debugging methodologies, such as inserting print statements, are no longer sufficient for uncovering concurrency-related bugs. However, many existing bug detection methods, such as dynamic analysis and model checking, have a very high computational cost. In this paper, we introduce a new technique for uncovering concurrency-related bugs from multithreaded Java programs. Our technique uncovers concurrency-related bugs by generating and testing read-write assignment sequences, referred to as value schedules, of a multithreaded Java program. Our value-schedule-based technique distinguishes itself in its ability to avoid exploring superfluous program state space caused by speculative permutation on transitions. Therefore, our technique can achieve a higher degree of POR (Partial Order Reduction) than existing methods. We demonstrate our technique using some programs, with an implementation built using an explicit state model checker called JPF","PeriodicalId":191088,"journal":{"name":"Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering","volume":"38 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-11-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124878345","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}

引用次数: 21

Combined static and dynamic mutability analysis 结合静态和动态可变性分析

Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering Pub Date : 2007-11-05 DOI: 10.1145/1321631.1321649

Shay Artzi, Adam Kiezun, David Glasser, Michael D. Ernst

引用次数: 39

Pallino: automation to support regression test selection for cots-based applications 支持基于成本的应用程序的回归测试选择的自动化

Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering Pub Date : 2007-11-05 DOI: 10.1145/1321631.1321665

Jiang Zheng, L. Williams, Brian P. Robinson

{"title":"Pallino: automation to support regression test selection for cots-based applications","authors":"Jiang Zheng, L. Williams, Brian P. Robinson","doi":"10.1145/1321631.1321665","DOIUrl":"https://doi.org/10.1145/1321631.1321665","url":null,"abstract":"Software products are often built from commercial-off-the-shelf (COTS) components. When new releases of these components are made available for integration and testing, source code is usually not provided by the vendors. Various regression test selection techniques have been developed and have been shown to be cost effective. However, the majority of these test selection techniques rely on source code for change identification and impact analysis. In our research, we have evolved a regression test selection (RTS) process called Integrated - Black-box Approach for Component Change Identification (I-BACCI) for COTS-based applications. I-BACCI reduces the test suite based upon changes in the binary code of the COTS component using the firewall regression test selection method. In this paper, we present the Pallino tool. Pallino statically analyzes binary code to identify the code change and the impact of these changes. Based on the output of Pallino and the original test suit, testers can determine the regression test cases needed to cover the application glue code which is affected by the changed areas in the new version of the COTS component. Three case studies, examining a total of fifteen component releases, were conducted on ABB internal products. With the help of Pallino, RTS via the I-BACCI process can be completed in about one to two person hours for each release of the case studies. The total size of application and component for each release is about 340 830 KLOC. Pallino is extensible and can be modified to support other RTS methods for COTS components. Currently, Pallino works on components in Common Object File Format or Portable Executable formats","PeriodicalId":191088,"journal":{"name":"Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering","volume":"6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-11-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130373400","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}

引用次数: 13

Efficient unit test case minimization 有效的单元测试用例最小化

Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering Pub Date : 2007-11-05 DOI: 10.1145/1321631.1321698

A. Leitner, M. Oriol, A. Zeller, Ilinca Ciupa, B. Meyer

引用次数: 121

Diconic addition of failsafe fault-tolerance 增加了故障安全容错功能

Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering Pub Date : 2007-11-05 DOI: 10.1145/1321631.1321641

Ali Ebnenasir

引用次数: 16

Improving evolutionary class testing in the presence of non-public methods 在存在非公开方法的情况下改进进化类测试

Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering Pub Date : 2007-11-05 DOI: 10.1145/1321631.1321689

S. Wappler, I. Schieferdecker

{"title":"Improving evolutionary class testing in the presence of non-public methods","authors":"S. Wappler, I. Schieferdecker","doi":"10.1145/1321631.1321689","DOIUrl":"https://doi.org/10.1145/1321631.1321689","url":null,"abstract":"Automating the generation of object-oriented unit tests is a challenging task. This is mainly due to the complexity and peculiarities that the principles of object-orientation imply. One of these principles is the encapsulation of class members which prevents non-public methods and attributes of the class under test from being freely accessed. This paper suggests an improvement of our automated search-based test generation approach which particularly addresses the test of non-public methods. We extend our objective functions by an additional component that accounts for encapsulation. Additionally, we propose a modification of the search space which increases the efficiency of the approach. The value of the improvement in terms of achieved code coverage is demonstrated by a case study with 7 real-world test objects. In contrast to other approaches which break encapsulation in order to test non-public methods, the tests generated by our approach inherently guarantee that class invariants are not violated. At the same time, refactorings of the encapsulated class members will not break the generated tests","PeriodicalId":191088,"journal":{"name":"Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering","volume":"31 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-11-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115845577","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}

引用次数: 25

Iterative model-driven development of adaptable service-based applications 可适应的基于服务的应用程序的迭代模型驱动开发

Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering Pub Date : 2007-11-05 DOI: 10.1145/1321631.1321707

Leen Lambers, H. Ehrig, L. Mariani, M. Pezzè

引用次数: 8

Improving change prediction with fine-grained source code mining 通过细粒度的源代码挖掘改进变更预测

Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering Pub Date : 2007-11-05 DOI: 10.1145/1321631.1321742

Huzefa H. Kagdi

引用次数: 26

Formal specification generator for KAOS: model transformation approach to generate formal specifications from KAOS requirements models KAOS的形式规范生成器:从KAOS需求模型生成形式规范的模型转换方法

Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering Pub Date : 2007-11-05 DOI: 10.1145/1321631.1321729

Hiroyuki Nakagawa, K. Taguchi, S. Honiden

引用次数: 21