Pub Date : 2018-10-01DOI: 10.1109/ISSREW.2018.00021
Jianwen Xiang, Caisheng Weng, Dongdong Zhao, Jing Tian, Shengwu Xiong, Lin Li, A. Andrzejak
Android users are sometimes troubled by slow UI responses or even application/OS crashes. These issues are typically caused by software aging, a phenomenon characterized by progressive degradation of performance and functionality observed in long-running software systems. A practical and widely used approach to combat software aging is software rejuvenation, i.e. manual or scheduled restart of an application or a device. To reduce service outages, proactive rejuvenation is preferred, which strives to balance application downtime and performance level. However, traditional rejuvenation models cannot be directly applied to Android applications or system, as they do not address user experience, such as avoiding rejuvenation during high activity phases. In this work we exploit the fact that the usage time of mobile phones is typically fragmented in daily life, with periodic switches between active and sleep modes. We propose proactive rejuvenation strategies, which consider both usage and age factors. In particular, we model the usage behavior and aging process as individual Stochastic Petri-Nets, and then compose them into Continuous Time Markov Chains. We evaluate our models via numerical experiments and demonstrate the effectiveness and advantages of the proposed rejuvenation approach.
{"title":"A New Software Rejuvenation Model for Android","authors":"Jianwen Xiang, Caisheng Weng, Dongdong Zhao, Jing Tian, Shengwu Xiong, Lin Li, A. Andrzejak","doi":"10.1109/ISSREW.2018.00021","DOIUrl":"https://doi.org/10.1109/ISSREW.2018.00021","url":null,"abstract":"Android users are sometimes troubled by slow UI responses or even application/OS crashes. These issues are typically caused by software aging, a phenomenon characterized by progressive degradation of performance and functionality observed in long-running software systems. A practical and widely used approach to combat software aging is software rejuvenation, i.e. manual or scheduled restart of an application or a device. To reduce service outages, proactive rejuvenation is preferred, which strives to balance application downtime and performance level. However, traditional rejuvenation models cannot be directly applied to Android applications or system, as they do not address user experience, such as avoiding rejuvenation during high activity phases. In this work we exploit the fact that the usage time of mobile phones is typically fragmented in daily life, with periodic switches between active and sleep modes. We propose proactive rejuvenation strategies, which consider both usage and age factors. In particular, we model the usage behavior and aging process as individual Stochastic Petri-Nets, and then compose them into Continuous Time Markov Chains. We evaluate our models via numerical experiments and demonstrate the effectiveness and advantages of the proposed rejuvenation approach.","PeriodicalId":321448,"journal":{"name":"2018 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW)","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121994010","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}
Pub Date : 2018-10-01DOI: 10.1109/ISSREW.2018.00015
M. Gillenson, Xihui Zhang, Thomas F. Stafford, Yao Shi
Nowadays, software testing is becoming more critical to ensure that software will function properly in a dynamic environment. Consequently, different types of resources such as effort, time, and fund invested on software testing activities increase significantly. As such, managers have to allocate limited resources in software development to those critical test cases rather than the exhaustive set of test cases. In this paper, we describe the results of a literature search that explores the importance and value of software test cases as a preliminary to conducting further research on this topic.
{"title":"A Literature Review of Software Test Cases and Future Research","authors":"M. Gillenson, Xihui Zhang, Thomas F. Stafford, Yao Shi","doi":"10.1109/ISSREW.2018.00015","DOIUrl":"https://doi.org/10.1109/ISSREW.2018.00015","url":null,"abstract":"Nowadays, software testing is becoming more critical to ensure that software will function properly in a dynamic environment. Consequently, different types of resources such as effort, time, and fund invested on software testing activities increase significantly. As such, managers have to allocate limited resources in software development to those critical test cases rather than the exhaustive set of test cases. In this paper, we describe the results of a literature search that explores the importance and value of software test cases as a preliminary to conducting further research on this topic.","PeriodicalId":321448,"journal":{"name":"2018 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW)","volume":"98 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128529260","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}
Pub Date : 2018-10-01DOI: 10.1109/issrew.2018.00-59
{"title":"Message from the ISSRE 2018 General Chairs","authors":"","doi":"10.1109/issrew.2018.00-59","DOIUrl":"https://doi.org/10.1109/issrew.2018.00-59","url":null,"abstract":"","PeriodicalId":321448,"journal":{"name":"2018 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW)","volume":"96 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116739023","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}
Pub Date : 2018-10-01DOI: 10.1109/ISSREW.2018.000-9
Hanyu Pei, Beibei Yin, M. Xie
Dynamic Random Testing (DRT) strategy employs feedback mechanism to guide the selection of test cases, which has shown to be effective in fault detection process. Cloud testing is the combination of cloud computing and software testing, in which the parallel mechanism is introduced to handle multiple test tasks simultaneously. The efficiency of DRT can be improved by combining it into cloud environment. However, it faces challenges in cloud testing as its test cases are selected sequentially, which does not consist with the characteristic of parallelism underlying cloud testing. In this paper, we present a cloud-based DRT strategy to adapt DRT in cloud testing, in which both the test case prioritization and resource allocation are considered. The results of the experiments show that the cloud-based DRT can improve the efficiency of original DRT and provide stable fault detection performance enhancement over other testing strategies.
{"title":"Dynamic Random Testing Strategy for Test Case Optimization in Cloud Environment","authors":"Hanyu Pei, Beibei Yin, M. Xie","doi":"10.1109/ISSREW.2018.000-9","DOIUrl":"https://doi.org/10.1109/ISSREW.2018.000-9","url":null,"abstract":"Dynamic Random Testing (DRT) strategy employs feedback mechanism to guide the selection of test cases, which has shown to be effective in fault detection process. Cloud testing is the combination of cloud computing and software testing, in which the parallel mechanism is introduced to handle multiple test tasks simultaneously. The efficiency of DRT can be improved by combining it into cloud environment. However, it faces challenges in cloud testing as its test cases are selected sequentially, which does not consist with the characteristic of parallelism underlying cloud testing. In this paper, we present a cloud-based DRT strategy to adapt DRT in cloud testing, in which both the test case prioritization and resource allocation are considered. The results of the experiments show that the cloud-based DRT can improve the efficiency of original DRT and provide stable fault detection performance enhancement over other testing strategies.","PeriodicalId":321448,"journal":{"name":"2018 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW)","volume":"6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124684963","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}
Pub Date : 2018-10-01DOI: 10.1109/ISSREW.2018.00029
Morayo Adedjouma, A. Smaoui
To deal with the increasing complexity of todays technology, several domains have defined regulatory framework and guidelines conveying information that the industry sectors should deal with in order to develop sound systems. In the automotive industry, the ISO26262 standard provides recommendations for system development in various phases and activities, aiming to address and reduce the risks associated to poor or flawed designs. However, the recommendations are defined into several volumes integrating a variety of graphical, tabular and other notation elements. This complex structure makes the standard difficult to adopt in industrial practice while manufacturers, regulators, etc. need to have a clear understanding of its content. To address this issue, we are developing in an ongoing project a tool aiming at supporting the stakeholders involved in the product development cycle of an automotive product in accordance with the ISO26262 recommendations. The framework proposes three main artefacts: (1) a structured model of the ISO26262 standard; (2) a guidance tool which document the ISO26262 lifecycle and interactively guide the user during the product development; (3) an user model template that helps gather through the product development the different constituents needed for the definition of a safety case. The potential benefits of the tool is to facilitate the comprehension, navigation and requirements fulfillment of the ISO26262 standard by the stakeholders involved in an automotive product development. This paper provides details related to the approach and implementation of the framework.
{"title":"Model-Based Computer-Aided Monitoring for ISO26262 Compliant Systems","authors":"Morayo Adedjouma, A. Smaoui","doi":"10.1109/ISSREW.2018.00029","DOIUrl":"https://doi.org/10.1109/ISSREW.2018.00029","url":null,"abstract":"To deal with the increasing complexity of todays technology, several domains have defined regulatory framework and guidelines conveying information that the industry sectors should deal with in order to develop sound systems. In the automotive industry, the ISO26262 standard provides recommendations for system development in various phases and activities, aiming to address and reduce the risks associated to poor or flawed designs. However, the recommendations are defined into several volumes integrating a variety of graphical, tabular and other notation elements. This complex structure makes the standard difficult to adopt in industrial practice while manufacturers, regulators, etc. need to have a clear understanding of its content. To address this issue, we are developing in an ongoing project a tool aiming at supporting the stakeholders involved in the product development cycle of an automotive product in accordance with the ISO26262 recommendations. The framework proposes three main artefacts: (1) a structured model of the ISO26262 standard; (2) a guidance tool which document the ISO26262 lifecycle and interactively guide the user during the product development; (3) an user model template that helps gather through the product development the different constituents needed for the definition of a safety case. The potential benefits of the tool is to facilitate the comprehension, navigation and requirements fulfillment of the ISO26262 standard by the stakeholders involved in an automotive product development. This paper provides details related to the approach and implementation of the framework.","PeriodicalId":321448,"journal":{"name":"2018 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130412499","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}
Pub Date : 2018-10-01DOI: 10.1109/ISSREW.2018.00026
Aiman Gannous, A. Andrews, B. Gallina
In safety-critical systems, the verification and validation phase in the software development life cycle plays an important role in assuring safety. The artifacts' outputs of the verification and validation processes represent the evidence needed to show a satisfactory fulfillment of the safety requirements. Providing strong evidence to show that the requirements of the domain standards are met is the core of demonstrating safety standards compliance. In this paper, we propose a systematic approach for verifying safety-critical systems efficiently by integrating model-based testing, combinatorial testing, and safety analysis; this is all driven by providing safety assurance. The approach provides both testing and formal verification capabilities, and it is easy to implement into a tool for use in an industry setting. To show how our approach could contribute to safety standards compliance, we investigated it's capability to fulfill the safety requirements by analyzing and linking the data produced from the steps in the approach to a safety evidence taxonomy.
{"title":"Toward a Systematic and Safety Evidence Productive Verification Approach for Safety-Critical Systems","authors":"Aiman Gannous, A. Andrews, B. Gallina","doi":"10.1109/ISSREW.2018.00026","DOIUrl":"https://doi.org/10.1109/ISSREW.2018.00026","url":null,"abstract":"In safety-critical systems, the verification and validation phase in the software development life cycle plays an important role in assuring safety. The artifacts' outputs of the verification and validation processes represent the evidence needed to show a satisfactory fulfillment of the safety requirements. Providing strong evidence to show that the requirements of the domain standards are met is the core of demonstrating safety standards compliance. In this paper, we propose a systematic approach for verifying safety-critical systems efficiently by integrating model-based testing, combinatorial testing, and safety analysis; this is all driven by providing safety assurance. The approach provides both testing and formal verification capabilities, and it is easy to implement into a tool for use in an industry setting. To show how our approach could contribute to safety standards compliance, we investigated it's capability to fulfill the safety requirements by analyzing and linking the data produced from the steps in the approach to a safety evidence taxonomy.","PeriodicalId":321448,"journal":{"name":"2018 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW)","volume":"21 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134375275","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}
Pub Date : 2018-10-01DOI: 10.1109/ISSREW.2018.00-25
Kiyoshi Honda, H. Washizaki, Y. Fukazawa, Masahiro Taga, Akira Matsuzaki, Takayoshi Suzuki
Monitoring the results of software reliability growth models (SRGMs) helps evaluate a project's situation. SRGMs are used to measure the reliability of software by analyzing the relations between the number of detected bugs and the detection time to predict the number of remaining bugs within the software. Sometimes the SRGM results lead managers to make incorrect decisions because the results are temporary snapshots that change over time. In our previous study, we proposed a method to help evaluate a project's qualities by monitoring the results of SRGM applications. We collected the number of detected bugs and the detection time in the test phases for cloud services provided by e-Seikatsu to real estate businesses. The datasets contain 34 cloud service features. Our method provides correct answers for 29 features and incorrect answers for 5 features. In this paper, we classify the monitoring results of unstable features based on the tendencies of the results into four types to aid developers and managers to make appropriate decisions about the development status.
{"title":"Empirical Study on Tendencies for Unstable Situations in Application Results of Software Reliability Growth Model","authors":"Kiyoshi Honda, H. Washizaki, Y. Fukazawa, Masahiro Taga, Akira Matsuzaki, Takayoshi Suzuki","doi":"10.1109/ISSREW.2018.00-25","DOIUrl":"https://doi.org/10.1109/ISSREW.2018.00-25","url":null,"abstract":"Monitoring the results of software reliability growth models (SRGMs) helps evaluate a project's situation. SRGMs are used to measure the reliability of software by analyzing the relations between the number of detected bugs and the detection time to predict the number of remaining bugs within the software. Sometimes the SRGM results lead managers to make incorrect decisions because the results are temporary snapshots that change over time. In our previous study, we proposed a method to help evaluate a project's qualities by monitoring the results of SRGM applications. We collected the number of detected bugs and the detection time in the test phases for cloud services provided by e-Seikatsu to real estate businesses. The datasets contain 34 cloud service features. Our method provides correct answers for 29 features and incorrect answers for 5 features. In this paper, we classify the monitoring results of unstable features based on the tendencies of the results into four types to aid developers and managers to make appropriate decisions about the development status.","PeriodicalId":321448,"journal":{"name":"2018 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW)","volume":"23 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124025096","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}
Pub Date : 2018-10-01DOI: 10.1109/ISSREW.2018.00027
Vlad Stirbu, T. Mikkonen
As digital transformation is taking place in more and more industries, the role of software increases and the skills required to develop software trigger a ripple effect. Entire industries, where regulations and government standards play an important role, like health care, have used long development cycles that relied on detailed planning. Agile software development proved that it can deliver results that satisfy customers needs faster than traditional waterfall methodologies. The apparent conflict between fast delivery cycles and lack of detailed planning have lead to situations where the use of agile became synonymous with lack of documentation and poor quality. In this paper we propose new approaches that demonstrate that appropriate use of agile practices brings benefits to compliance activities too.
{"title":"Towards Agile Yet Regulatory-Compliant Development of Medical Software","authors":"Vlad Stirbu, T. Mikkonen","doi":"10.1109/ISSREW.2018.00027","DOIUrl":"https://doi.org/10.1109/ISSREW.2018.00027","url":null,"abstract":"As digital transformation is taking place in more and more industries, the role of software increases and the skills required to develop software trigger a ripple effect. Entire industries, where regulations and government standards play an important role, like health care, have used long development cycles that relied on detailed planning. Agile software development proved that it can deliver results that satisfy customers needs faster than traditional waterfall methodologies. The apparent conflict between fast delivery cycles and lack of detailed planning have lead to situations where the use of agile became synonymous with lack of documentation and poor quality. In this paper we propose new approaches that demonstrate that appropriate use of agile practices brings benefits to compliance activities too.","PeriodicalId":321448,"journal":{"name":"2018 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW)","volume":"24 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116734316","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}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：