2010 Third International Conference on Software Testing, Verification and Validation最新文献_第2页

Using Formal Methods and Testability Concepts in the Avionics Systems Validation and Verification (V&V) Process 在航空电子系统验证(V&V)过程中使用形式化方法和可测试性概念

2010 Third International Conference on Software Testing, Verification and Validation Pub Date : 2010-04-06 DOI: 10.1109/ICST.2010.38

O. Laurent

引用次数: 15

Automated and Scalable T-wise Test Case Generation Strategies for Software Product Lines 软件产品线的自动化和可伸缩的T-wise测试用例生成策略

2010 Third International Conference on Software Testing, Verification and Validation Pub Date : 2010-04-06 DOI: 10.1109/ICST.2010.43

Gilles Perrouin, S. Sen, Jacques Klein, B. Baudry, Yves Le Traon

引用次数: 241

Industrial Scaled Automated Structural Testing with the Evolutionary Testing Tool 工业规模自动化结构测试与进化测试工具

2010 Third International Conference on Software Testing, Verification and Validation Pub Date : 2010-04-06 DOI: 10.1109/ICST.2010.24

T. Vos, A. Baars, Felix F. Lindlar, Peter M. Kruse, Andreas Windisch, J. Wegener

{"title":"Industrial Scaled Automated Structural Testing with the Evolutionary Testing Tool","authors":"T. Vos, A. Baars, Felix F. Lindlar, Peter M. Kruse, Andreas Windisch, J. Wegener","doi":"10.1109/ICST.2010.24","DOIUrl":"https://doi.org/10.1109/ICST.2010.24","url":null,"abstract":"Evolutionary testing has been researched and promising results have been presented. However, evolutionary testing has remained predominately a research-based activity not practiced within industry. Although attempts have been made, such as Daimler's Evolutionary Structural Test (EST) prototype, until now, no such tool has been suitable for industrial adoption. The European project EvoTest (IST-33472) team has been working from 2006 till2009 to improve this situation. This paper describes the final version of the Evolutionary Testing Framework (ETF) resulting from the EvoTest project. In specific we will present the EvoTest Structural Testing tool for fully automatic structural testing that has been demonstrated to be suitable within an industrial setting. The paper concentrates on how to use it and interpret the results. The paper starts with introducing the concepts of Evolutionary Testing in general and Structural Testing in specific. Subsequently, the ETF and the EvoTest Structural Testing tool built on-top of it will be described. We will concentrate on the usage, the architecture, and remaining limitations of the tool. The paper concludes describing the results of using the EvoTest Structural Testing tool in practice on real-world systems in an industrial setting.","PeriodicalId":192678,"journal":{"name":"2010 Third International Conference on Software Testing, Verification and Validation","volume":"80 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-04-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124619788","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}

引用次数: 23

An Application of Six Sigma and Simulation in Software Testing Risk Assessment 六西格玛及模拟在软件测试风险评估中的应用

2010 Third International Conference on Software Testing, Verification and Validation Pub Date : 2010-04-06 DOI: 10.1109/ICST.2010.23

Vojo Bubevski

引用次数: 10

A Dynamic Test Cluster Sampling Strategy by Leveraging Execution Spectra Information 利用执行谱信息的动态测试聚类采样策略

2010 Third International Conference on Software Testing, Verification and Validation Pub Date : 2010-04-06 DOI: 10.1109/ICST.2010.47

Shali Yan, Zhenyu Chen, Zhihong Zhao, Chen Zhang, Yuming Zhou

引用次数: 40

Prioritizing State-Based Aspect Tests 优先考虑基于状态的方面测试

2010 Third International Conference on Software Testing, Verification and Validation Pub Date : 2010-04-06 DOI: 10.1109/ICST.2010.14

Dianxiang Xu, Junhua Ding

{"title":"Prioritizing State-Based Aspect Tests","authors":"Dianxiang Xu, Junhua Ding","doi":"10.1109/ICST.2010.14","DOIUrl":"https://doi.org/10.1109/ICST.2010.14","url":null,"abstract":"In aspect-oriented programming, aspects are essentially incremental modifications to their base classes. Therefore aspect-oriented programs can be tested in an incremental fashion – we can first test the base classes and then test the base classes and aspects as a whole. This paper demonstrates that, in this incremental testing paradigm, we can prioritize aspect tests so as to report failure earlier. We explore test prioritization for testing aspect-oriented programs against their state models with transition coverage and round-trip coverage. Aspect tests are generated from woven state models obtained by composing aspect models into their base class models. We prioritize aspect tests by identifying the extent to which an aspect modifies its base classes. The modification is measured by the number of new and changed components in state transitions (start state, event, precondition, postcondition, end state). Transitions with more changes have higher priorities for test generation. We evaluate the impact of aspect test prioritization through mutation analysis of two AspectJ programs, where all aspects and their base classes can be modeled by finite state machines. We create aspect mutants of each AspectJ program according to a comprehensive AspectJ fault model. Then we test each mutant with the test suites generated without prioritization and with prioritization, respectively. Our experiment results show that prioritization of aspect tests has accelerated failure report.","PeriodicalId":192678,"journal":{"name":"2010 Third International Conference on Software Testing, Verification and Validation","volume":"26 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-04-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114186724","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}

引用次数: 24

Longer is Better: On the Role of Test Sequence Length in Software Testing 越长越好:论测试序列长度在软件测试中的作用

2010 Third International Conference on Software Testing, Verification and Validation Pub Date : 2010-04-06 DOI: 10.1109/ICST.2010.16

Andrea Arcuri

引用次数: 45

A Counter-Example Testing Approach for Orchestrated Services 编排服务的反例测试方法

2010 Third International Conference on Software Testing, Verification and Validation Pub Date : 2010-04-06 DOI: 10.1109/ICST.2010.27

F. D. Angelis, A. Polini, G. D. Angelis

{"title":"A Counter-Example Testing Approach for Orchestrated Services","authors":"F. D. Angelis, A. Polini, G. D. Angelis","doi":"10.1109/ICST.2010.27","DOIUrl":"https://doi.org/10.1109/ICST.2010.27","url":null,"abstract":"Service oriented computing is based on a typical combination of features such as very late binding, run-time integration of software elements owned and managed by third parties, run-time changes. These characteristics generally make difficult both static and dynamic verification capabilities of service-centric systems. In this domain verification and testing research communities have to face new issues and revise existing solutions; possibly profiting of the new opportunities that the new paradigm makes available. In this paper, focusing on service orchestrations, we propose an approach to automatic test case generation aiming in particular at checking the behaviour of services participating in a given orchestration. The approach exploits the availability of a runnable model (the BPEL specification) and uses model checking techniques to derive test cases suitable to detect possible integration problems. The approach has been implemented in a plug-in for the Eclipse platform already released for public usage. In this way BPEL developers can easily derive, using a single environment, test suites for each participant service they would like to compose.","PeriodicalId":192678,"journal":{"name":"2010 Third International Conference on Software Testing, Verification and Validation","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-04-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131340236","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}

引用次数: 19

Cleansing Test Suites from Coincidental Correctness to Enhance Fault-Localization 清除测试套件中的巧合正确性以增强错误定位

2010 Third International Conference on Software Testing, Verification and Validation Pub Date : 2010-04-06 DOI: 10.1109/ICST.2010.22

Wes Masri, R. A. Assi

{"title":"Cleansing Test Suites from Coincidental Correctness to Enhance Fault-Localization","authors":"Wes Masri, R. A. Assi","doi":"10.1109/ICST.2010.22","DOIUrl":"https://doi.org/10.1109/ICST.2010.22","url":null,"abstract":"Researchers have argued that for failure to be observed the following three conditions must be met: 1) the defect is executed, 2) the program has transitioned into an infectious state, and 3) the infection has propagated to the output. Coincidental correctness arises when the program produces the correct output, while conditions 1) and 2) are met but not 3). In previous work, we showed that coincidental correctness is prevalent and demonstrated that it is a safety reducing factor for coverage-based fault localization. This work aims at cleansing test suites from coincidental correctness to enhance fault localization. Specifically, given a test suite in which each test has been classified as failing or passing, we present three variations of a technique that identify the subset of passing tests that are likely to be coincidentally correct. We evaluated the effectiveness of our techniques by empirically quantifying the following: 1) how accurately did they identify the coincidentally correct tests, 2) how much did they improve the effectiveness of coverage-based fault localization, and 3) how much did coverage decrease as a result of applying them. Using our better performing technique and configuration, the safety and precision of fault-localization was improved for 88% and 61% of the programs, respectively.","PeriodicalId":192678,"journal":{"name":"2010 Third International Conference on Software Testing, Verification and Validation","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-04-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133625386","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}

引用次数: 79

Towards an Automated and Dynamically Adaptable Test System for Testing Healthcare Information Systems 面向医疗信息系统测试的自动化动态适应性测试系统

2010 Third International Conference on Software Testing, Verification and Validation Pub Date : 2010-04-06 DOI: 10.1109/ICST.2010.67

D. Vega

引用次数: 6