2018 IEEE International Conference on Software Quality, Reliability and Security (QRS)最新文献_第6页

TBFV-SE: Testing-Based Formal Verification with Symbolic Execution TBFV-SE:基于测试的符号执行形式验证

2018 IEEE International Conference on Software Quality, Reliability and Security (QRS) Pub Date : 2018-07-01 DOI: 10.1109/QRS.2018.00019

Rong-Fa Wang, Shaoying Liu

引用次数: 4

How Usable Are Rust Cryptography APIs? Rust加密api的可用性如何?

2018 IEEE International Conference on Software Quality, Reliability and Security (QRS) Pub Date : 2018-06-13 DOI: 10.1109/QRS.2018.00028

K. Mindermann, Philipp Keck, Stefan Wagner

引用次数: 25

Combinatorial Modeling and Test Case Generation for Industrial Control Software Using ACTS 基于ACTS的工业控制软件组合建模与测试用例生成

2018 IEEE International Conference on Software Quality, Reliability and Security (QRS) Pub Date : 2018-03-23 DOI: 10.1109/QRS.2018.00055

S. Ericsson, Eduard Paul Enoiu

{"title":"Combinatorial Modeling and Test Case Generation for Industrial Control Software Using ACTS","authors":"S. Ericsson, Eduard Paul Enoiu","doi":"10.1109/QRS.2018.00055","DOIUrl":"https://doi.org/10.1109/QRS.2018.00055","url":null,"abstract":"Combinatorial testing has been suggested as an effective method of creating test cases at a lower cost. However, industrially applicable tools for modeling and combinatorial test generation are still scarce. As a direct effect, combinatorial testing has only seen a limited uptake in industry that calls into question its practical usefulness. This lack of evidence is especially troublesome if we consider the use of combinatorial test generation for industrial safety-critical control software, such as are found in trains, airplanes, and power plants. To study the industrial application of combinatorial testing, we evaluated ACTS, a popular tool for combinatorial modeling and test generation, in terms of applicability and test efficiency on industrial-sized IEC 61131-3 industrial control software running on Programmable Logic Controllers (PLC). We assessed ACTS in terms of its direct applicability in combinatorial modeling of IEC 61131-3 industrial software and the efficiency of ACTS in terms of generation time and test suite size. We used 17 industrial control programs provided by Bombardier Transportation Sweden AB and used in a train control management system. Our results show that not all combinations of algorithms and interaction strengths could generate a test suite within a realistic cut-off time. The results of the modeling process and the efficiency evaluation of ACTS are useful for practitioners considering to use combinatorial testing for industrial control software as well as for researchers trying to improve the use of such combinatorial testing techniques.","PeriodicalId":114973,"journal":{"name":"2018 IEEE International Conference on Software Quality, Reliability and Security (QRS)","volume":"107 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-03-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131758936","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}

引用次数: 1

Verifying Stochastic Behaviors of Decentralized Self-Adaptive Systems: A Formal Modeling and Simulation Based Approach 验证分散自适应系统的随机行为:基于形式化建模和仿真的方法

2018 IEEE International Conference on Software Quality, Reliability and Security (QRS) Pub Date : 2017-06-26 DOI: 10.1109/QRS.2018.00020

Nianyu Li, Di Bai, Yiming Peng, Zhuoqun Yang, Wenpin Jiao

{"title":"Verifying Stochastic Behaviors of Decentralized Self-Adaptive Systems: A Formal Modeling and Simulation Based Approach","authors":"Nianyu Li, Di Bai, Yiming Peng, Zhuoqun Yang, Wenpin Jiao","doi":"10.1109/QRS.2018.00020","DOIUrl":"https://doi.org/10.1109/QRS.2018.00020","url":null,"abstract":"The development of self-adaptive software has attracted a lot of attention. Decentralization is an effective way to manage the complexity of modern self-adaptive software systems. However, there are still tremendous challenges remained in decentralized self-adaptive systems. One major challenge is to guarantee the achievements of both local goals and global goals. Another challenge is to ensure the performance of the systems operating in highly dynamic environments with existence of internal changes. To solve these problems, we introduce an integrated system framework combining self-adaptive mechanisms with decentralization features, with a formal modeling method based on stochastic timed automata to allow the system to be analyzed and verified. Timed computational tree logic is used to specify the system properties and then stochastic simulations in a dynamic environment are conducted to study system performance. The whole approach is illustrated and evaluated with a motivation example from practical applications in UAV emergency mission scenarios.","PeriodicalId":114973,"journal":{"name":"2018 IEEE International Conference on Software Quality, Reliability and Security (QRS)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-06-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125763302","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