2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW)最新文献_第5页

Suggestion of Practical Quantification Measuring Method of Test Design Which Can Represent the Current Status 能反映试验设计现状的实用量化测量方法的建议

2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) Pub Date : 2017-03-01 DOI: 10.1109/ICSTW.2017.54

Sunil Chon, Jihwan Park

引用次数: 2

Challenges of Operationalizing Spectrum-Based Fault Localization from a Data-Centric Perspective 从数据中心的角度实施基于频谱的故障定位的挑战

2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) Pub Date : 2017-03-01 DOI: 10.1109/ICSTW.2017.69

Mojdeh Golagha, A. Pretschner

引用次数: 4

Finding Redundancy in Web Mutation Operators Web突变操作符的冗余查找

2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) Pub Date : 2017-03-01 DOI: 10.1109/ICSTW.2017.30

Upsorn Praphamontripong, A. Offutt

{"title":"Finding Redundancy in Web Mutation Operators","authors":"Upsorn Praphamontripong, A. Offutt","doi":"10.1109/ICSTW.2017.30","DOIUrl":"https://doi.org/10.1109/ICSTW.2017.30","url":null,"abstract":"New web development technologies enhance functionality of web applications but also introduce challenges in testing the software. As mutation analysis has been shown to be effective at designing tests for traditional software, we previously proposed web mutation testing. However, applying mutation analysis can be computationally expensive due to an extensive number of test requirements. This paper introduces, evaluates, and refines web mutation operators with the goal of reducing the number of test requirements. This paper evaluates redundancy among web mutation operators by analyzing the types of mutants that can be killed by tests generated specifically to kill other types of mutants and the types of mutants (and the operators that generate them) that can be excluded from testing while maintaining the same level of fault detection. An experimental study was conducted on 12 subject web applications using 15 web mutation operators. The redundancy in web mutation operators is computed as the percentage of the mutants of each operator that are killed by tests designed specifically to kill mutants of other operators. Tests designed specifically to kill mutants of some operators can also kill mutants generated from other operators. Three overlapping web mutation operators (WFUR, WHID, and WLUD) are redundant and can be excluded from mutation testing with minimal loss in fault detection capability.","PeriodicalId":312017,"journal":{"name":"2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW)","volume":"38 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-03-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124361266","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}

引用次数: 10

Combinatorial Methods for Modelling Composed Software Systems 组合软件系统建模的组合方法

2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) Pub Date : 2017-03-01 DOI: 10.1109/ICSTW.2017.43

Ludwig Kampel, Bernhard Garn, D. Simos

引用次数: 8

Message from the TAIC PART 2017 Chairs 来自2017年会议主席的信息

2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) Pub Date : 2017-03-01 DOI: 10.1109/ICSTW.2017.5

Takashi Kitamura, Emil Alégroth, R. Ramler

引用次数: 0

Towards Decentralized Conformance Checking in Model-Based Testing of Distributed Systems 分布式系统基于模型测试中的分散式一致性检查

2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) Pub Date : 2017-03-01 DOI: 10.1109/ICSTW.2017.64

B. Lima, J. Faria

{"title":"Towards Decentralized Conformance Checking in Model-Based Testing of Distributed Systems","authors":"B. Lima, J. Faria","doi":"10.1109/ICSTW.2017.64","DOIUrl":"https://doi.org/10.1109/ICSTW.2017.64","url":null,"abstract":"In a growing number of domains, the provisioning of end-to-end services to the users depends on the proper interoperation of multiple products, forming a new distributed system. To ensure interoperability and the integrity of this new distributed system, it is important to conduct integration tests that verify not only the interactions with the environment but also the interactions between the system components. Integration test scenarios for that purpose may be conveniently specified by means of UML sequence diagrams, possibly allowing multiple execution paths. The automation of such integration tests requires that test components are also distributed, with a local tester deployed close to each system component, and a central tester coordinating the local testers. In such a test architecture, it is important to minimize the communication overhead during test execution. Hence, in this paper we investigate conditions upon which conformance errors can be detected locally (local observability) and test inputs can be decided locally (local controllability) by the local testers, without the need for exchanging coordination messages between the test components during test execution. The conditions are specified in a formal specification language that allows executing and validating the specification. Examples of test scenarios are also presented, illustrating local observability and controllability problems associated with optional messages without corresponding acknowledgment messages, races and non-local choices.","PeriodicalId":312017,"journal":{"name":"2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW)","volume":"31 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-03-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131410667","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

Mutation Patterns for Temporal Requirements of Reactive Systems 反应系统时间需求的突变模式

2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) Pub Date : 2017-03-01 DOI: 10.1109/ICSTW.2017.27

M. Trakhtenbrot

引用次数: 8

Results of a Comparative Study of Code Coverage Tools in Computer Vision 计算机视觉中代码覆盖工具的比较研究结果

2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) Pub Date : 2017-03-01 DOI: 10.1109/ICSTW.2017.10

I. Nica, G. Jakob, Kathrin Juhart, F. Wotawa

引用次数: 2

A Mechanism of Reliable and Standalone Script Generator on Android 一种可靠且独立的Android脚本生成器机制

2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) Pub Date : 2017-03-01 DOI: 10.1109/ICSTW.2017.66

Kuei-Chun Liu, Yu-Yu Lai, Ching-Hong Wu

引用次数: 4

Mutation Score, Coverage, Model Inference: Quality Assessment for T-Way Combinatorial Test-Suites 突变评分，覆盖率，模型推断:T-Way组合测试套件的质量评估

2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) Pub Date : 2017-03-01 DOI: 10.1109/ICSTW.2017.36

Hermann Felbinger, F. Wotawa, M. Nica

{"title":"Mutation Score, Coverage, Model Inference: Quality Assessment for T-Way Combinatorial Test-Suites","authors":"Hermann Felbinger, F. Wotawa, M. Nica","doi":"10.1109/ICSTW.2017.36","DOIUrl":"https://doi.org/10.1109/ICSTW.2017.36","url":null,"abstract":"In this paper we assess and evaluate the quality of t-way combinatorial test-suites using three different test-suite quality assessment methods. As t-way combinatorial test-suites reduce the input space of a program under test, we investigate how an increasing t affects the quality of the test-suite. There are some limitations of existing test-suite quality assessment methods e.g. the number of mutants is limited by execution time and code coverage measurement might be intrusive due to changes of the behavior of the program under test when instrumenting the code. Here we generate t-way combinatorial test-suites for Java programs of different size. We compute mutation score and code coverage for the generated test-suites, and apply additionally a new model inference based approach, that does not require to execute the program under test, to compare the generated test-suites with each other and assign a quality valuation to the test-suites. Our results show that an increasing t generally raises test-suite quality in terms of mutation score, coverage, and model inference. However, the model inference approach is only applicable, if the outcomes of the programs under test are discrete values, and if the number of discrete values is less than the test-suite size.","PeriodicalId":312017,"journal":{"name":"2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW)","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-03-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128418643","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