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

Optimizing IPOG's Vertical Growth with Constraints Based on Hypergraph Coloring 基于超图着色的约束优化IPOG垂直增长

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

Feng Duan, Yu Lei, L. Yu, R. Kacker, D. R. Kuhn

引用次数: 9

Message from the ITEQS 2017 Chairs 来自2017年itqs主席的信息

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

Mehrdad Saadatmand, B. Lindström, M. Bohlin

引用次数: 0

Software Testing Design Techniques Used in Automated Vehicle Simulations 自动驾驶汽车仿真中的软件测试设计技术

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

Satoshi Masuda

引用次数: 11

Are Deletion Mutants Easier to Identify Manually? 删除突变体更容易手动识别吗?

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

Vinicius H. S. Durelli, Nilton M. De Souza, M. Delamaro

{"title":"Are Deletion Mutants Easier to Identify Manually?","authors":"Vinicius H. S. Durelli, Nilton M. De Souza, M. Delamaro","doi":"10.1109/ICSTW.2017.32","DOIUrl":"https://doi.org/10.1109/ICSTW.2017.32","url":null,"abstract":"Mutation testing changes a program by applying mutation operators, which generate many slightly different versions of the original program (i.e., mutants). Identifying which mutants are equivalent to the original program is one of the major barriers to a wider adoption of mutation testing. Recent studies suggest that an effective approach to mitigating this problem is to use only a subset of all mutation operators: some operators result in few mutants, but these mutants yield tests that are practically as effective as using all mutants. One research direction has been to investigate the use of only one type of operator: deletion mutation operators. Deletion operators are deemed to be effective and, based on an intuitive notion, we conjectured that these operators lead to mutants that are easier to manually assess for equivalence. Thus, we set out to compare the (human) cost of detecting the equivalence of mutants generated by deletion operators with the cost of analyzing mutants created by traditional operators. To this end, we designed an experiment and conducted it with 12 graduate students. This study investigated two proxies for the cost of identifying equivalent mutants by hand: (i) number of mistakes made by the subjects and (ii) the length of time spent analyzing mutants. According to the results of our experiment, there is no significant difference between the costs of manually assessing traditional and deletion operators for equivalence. We also probed into the cost of each operator and found that CCDL is the most costly deletion operator. Another core finding is that ORRN, ORLN, and ORSN account for the lion's share of the cost involved in manually assessing traditional mutants for equivalence.","PeriodicalId":312017,"journal":{"name":"2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW)","volume":"41 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-03-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134644373","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

Are CISQ Reliability Measures Practical? A Research Perspective CISQ可靠性措施实用吗?研究视角

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

Johannes Bräuer, Reinhold Plösch, Manuel Windhager

{"title":"Are CISQ Reliability Measures Practical? A Research Perspective","authors":"Johannes Bräuer, Reinhold Plösch, Manuel Windhager","doi":"10.1109/ICSTW.2017.7","DOIUrl":"https://doi.org/10.1109/ICSTW.2017.7","url":null,"abstract":"The Object Management Group (OMG), which is driven by industry, proposes an operational standard for measuring reliability by providing specifications for 29 reliability measures. The goal of this article is to systematically assess whether (1) the provided measurement specifications are suitable to be implemented in a static testing tool used in practice and (2) the measures are suitable for capturing reliability issues in software. Therefore, we implemented the CISQ measures (CISQ is the consortium responsible for driving the quality related topics of the OMG) for Java in our quality measurement tool after defining assumptions resulting from the language independent and at some point imprecise specifications. In format of a case study, the CISQ-based measurement tool has then been applied on several versions of the open source project HSQLDB. The results show that CISQ measures properties that are vital for fulfilling reliability requirements. In the course of the case study, the engineers of HSQLDB fixed a number of issues identified by our tooling as they were considered to be critical. While a number of rule violations are considered to be still problematic, they could not be fixed since the engineers did not have the code ownership. In these cases, they proposed improvement suggestions to the responsible teams.","PeriodicalId":312017,"journal":{"name":"2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-03-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129011173","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}

引用次数: 0

Test Optimization Using Combinatorial Test Design: Real-World Experience in Deployment of Combinatorial Testing at Scale 使用组合测试设计的测试优化:大规模部署组合测试的实际经验

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

Saritha Route

引用次数: 3

Framework for Model-Based Design and Verification of Human-in-the-Loop Cyber-Physical Systems 基于模型的人在环网络物理系统设计与验证框架

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

Filip Cuckov, Grant Rudd, L. Daly

引用次数: 6

Using Model-Checking for Timing Verification in Industrial System Design 用模型检查进行工业系统设计中的时序验证

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

L. Rioux, R. Henia, Nicolas Sordon

引用次数: 4

Applying Mutation Analysis on Kernel Test Suites: An Experience Report 在内核测试套件中应用突变分析:一个经验报告

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

Iftekhar Ahmed, Carlos Jensen, Alex Groce, P. McKenney

引用次数: 25

Messages from the InSTA 2017 Chairs 来自InSTA 2017届主席的信息

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

S. Masuda

引用次数: 0