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

[Title page iii] [标题页iii]

2019 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) Pub Date : 2019-04-01 DOI: 10.1109/icstw.2019.00002

引用次数: 0

Suggestion of Testing Method for Industrial Level Cyber-Physical System in Complex Environment 复杂环境下工业级信息物理系统测试方法的建议

2019 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) Pub Date : 2019-04-01 DOI: 10.1109/ICSTW.2019.00043

Jiseob Kim, Sunil Chon, Jihwan Park

{"title":"Suggestion of Testing Method for Industrial Level Cyber-Physical System in Complex Environment","authors":"Jiseob Kim, Sunil Chon, Jihwan Park","doi":"10.1109/ICSTW.2019.00043","DOIUrl":"https://doi.org/10.1109/ICSTW.2019.00043","url":null,"abstract":"In this paper, we suggest the testing method for industrial level cyber-physical system and its automation under the various environmental, restrictive condition. There are other testing methods, such as Software in the Loop Test, Hardware in the Loop Test, Field Test. But these methods have limitations of high cost, not enough testing and hard to test because the complexity of the situation is going up. The systems that work near human, like drones, autonomous cars, or used in extreme environments should be tested under same extreme environments and proof that it is safe. And the area in which those systems are used is increasing. For example, the drone is used in the various area not only for leisure but also for broadcasting, surveillance on fire, and parcel delivery. It means the test with a combination of various environment and condition is required to the system. We report the case that we have tested and automated the test with the simulation. With the simulation, we tested the system under the extreme environment, a variety of combination of legal restrictions and situational condition.","PeriodicalId":310230,"journal":{"name":"2019 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW)","volume":"53 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127108694","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}

引用次数: 9

Mutation 2019 Program Committee 突变2019项目委员会

2019 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) Pub Date : 2019-04-01 DOI: 10.1109/icstw.2019.00011

引用次数: 0

Towards Automated Generation of Bug Benchmark for Smart Contracts 面向智能合约的Bug基准自动生成

2019 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) Pub Date : 2019-04-01 DOI: 10.1109/ICSTW.2019.00049

Jiaming Ye, Mingliang Ma, T. Peng, Yun Peng, Yinxing Xue

引用次数: 9

Machine Learning to Guide Performance Testing: An Autonomous Test Framework

2019 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) Pub Date : 2019-04-01 DOI: 10.1109/ICSTW.2019.00046

M. H. Moghadam, Mehrdad Saadatmand, Markus Borg, M. Bohlin, B. Lisper

{"title":"Machine Learning to Guide Performance Testing: An Autonomous Test Framework","authors":"M. H. Moghadam, Mehrdad Saadatmand, Markus Borg, M. Bohlin, B. Lisper","doi":"10.1109/ICSTW.2019.00046","DOIUrl":"https://doi.org/10.1109/ICSTW.2019.00046","url":null,"abstract":"Satisfying performance requirements is of great importance for performance-critical software systems. Performance analysis to provide an estimation of performance indices and ascertain whether the requirements are met is essential for achieving this target. Model-based analysis as a common approach might provide useful information but inferring a precise performance model is challenging, especially for complex systems. Performance testing is considered as a dynamic approach for doing performance analysis. In this work-in-progress paper, we propose a self-adaptive learning-based test framework which learns how to apply stress testing as one aspect of performance testing on various software systems to find the performance breaking point. It learns the optimal policy of generating stress test cases for different types of software systems, then replays the learned policy to generate the test cases with less required effort. Our study indicates that the proposed learning-based framework could be applied to different types of software systems and guides towards autonomous performance testing.","PeriodicalId":310230,"journal":{"name":"2019 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW)","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123728743","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

Team Activities Measurement Method for Open Source Software Development Using the Gini Coefficient 基于基尼系数的开源软件开发团队活动度量方法

2019 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) Pub Date : 2019-04-01 DOI: 10.1109/ICSTW.2019.00042

Ayako Masuda, T. Matsuodani, K. Tsuda

{"title":"Team Activities Measurement Method for Open Source Software Development Using the Gini Coefficient","authors":"Ayako Masuda, T. Matsuodani, K. Tsuda","doi":"10.1109/ICSTW.2019.00042","DOIUrl":"https://doi.org/10.1109/ICSTW.2019.00042","url":null,"abstract":"In recent years, open source software (OSS) has made remarkable contributions as social infrastructure. The model of the OSS development (OSSD) team, as seen in the case of GitHub, is becoming the de facto standard. The OSSD team develops source codes for realizing requirements and, further, test codes for testing the source codes. The present study measures the team activity in OSSD, and it includes aspects of software testing activity. Our previous research revealed the characteristic of the OSSD team, which was that the team consists of a small number of enthusiastic contributors (core members) and a large number of small contributors. This characteristic has some inequalities. The Gini coefficient is a well-known economic index used to measure inequality. This study proposes a method to estimate and use an Effort Person-Months metric as an object of the Gini coefficient for software development. In this method, the difference in team activity can be detected more precisely than by the Gini coefficient obtained from the number of commits and the modification amount. We believe that this method covers detecting software testing activities precisely.","PeriodicalId":310230,"journal":{"name":"2019 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW)","volume":"98 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132625486","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}

引用次数: 2

Automatic Generation of Capability Leaks' Exploits for Android Applications 自动生成Android应用程序的功能泄漏漏洞

2019 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) Pub Date : 2019-04-01 DOI: 10.1109/ICSTW.2019.00068

Mingsong Zhou, Fanping Zeng, Yu Zhang, Chengcheng Lv, Zhao Chen, Guozhu Chen

引用次数: 2

Message from the A-MOST 2019 Chairs 2019年A-MOST主席致辞

2019 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) Pub Date : 2019-04-01 DOI: 10.1109/icstw.2019.00006

Shuai Wang

引用次数: 0

On Measuring Combinatorial Coverage of Manually Created Test Cases for Industrial Software 测量工业软件手工创建的测试用例的组合覆盖率

2019 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) Pub Date : 2019-04-01 DOI: 10.1109/ICSTW.2019.00062

Miraldi Fifo, Eduard Paul Enoiu, W. Afzal

{"title":"On Measuring Combinatorial Coverage of Manually Created Test Cases for Industrial Software","authors":"Miraldi Fifo, Eduard Paul Enoiu, W. Afzal","doi":"10.1109/ICSTW.2019.00062","DOIUrl":"https://doi.org/10.1109/ICSTW.2019.00062","url":null,"abstract":"Combinatorial coverage has been proposed as a way to measure the quality of test cases by using the input interaction characteristics. This paper describes the results of empirically measuring combinatorial coverage of manually created test cases by experienced industrial engineers working with embedded software development. We found that manual test cases achieve on average 78% 2-way combinatorial coverage, 57% 3-way coverage, 40% 4-way coverage, 20% 5-way combinatorial coverage and 13% for 6-way combinatorial coverage. These manual test cases can be augmented to achieve 100% combinatorial coverage for 2-way and 3-way interactions by adding eight and 66 missing test cases on average, respectively. For 4-way interactions, full combinatorial coverage can achieved by adding 658 missing test cases. For 5-way and 6-way interactions, full combinatorial coverage can be achieved by adding 5163 and 6170 missing test cases on average, respectively. The results of this paper suggest that manual test cases created by industrial engineers do not achieve a high combinatorial coverage and can be improved by adding more test cases to cover t-wise interactions at the expense of more test cases to execute.","PeriodicalId":310230,"journal":{"name":"2019 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW)","volume":"36 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114574343","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}

引用次数: 7

Medusa: Mutant Equivalence Detection Using Satisfiability Analysis 美杜莎:利用可满足性分析的突变等价检测

2019 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) Pub Date : 2019-04-01 DOI: 10.1109/ICSTW.2019.00035

Benjamin Kushigian, Amit Rawat, René Just

引用次数: 5