| 1. |
- Alemzadeh, H., et al.
(författare)
-
Message from the WoSoCer 2018 Workshop Chairs
- 2018
-
Ingår i: Proceedings - 29th IEEE International Symposium on Software Reliability Engineering Workshops, ISSREW 2018. - : Institute of Electrical and Electronics Engineers Inc.. - 9781538694435
-
Konferensbidrag (övrigt vetenskapligt/konstnärligt)
|
|
| 2. |
- de Oliveira Neto, Francisco Gomes, et al.
(författare)
-
Visualisation to Support Fault Localisation in Distributed Embedded Systems within the Automotive Industry
- 2018
-
Ingår i: 2018 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW). - : IEEE. - 9781538694435
-
Konferensbidrag (refereegranskat)abstract
- This paper presents the design, development and evaluation of a software tool to assist the localisation of root causes of test case failures in distributed embedded systems, specifically vehicle systems controlled by a network of electronic control units (ECUs). We use data visualising to provide sensible information from a large number of test execution logs from large-scale software integration testing under a continuous integration process. Our goal is to allow more efficient root-cause identification of failures and foster a continuous feedback loop in the fault localisation process. We evaluate our solution in-situ at the Research and Development division of Volvo Car Corporation (VCC). Our prototype helps the failure debugging procedures by presenting clear and concise data and by allowing stakeholders to filter and control which information is displayed. Moreover, it encourages a systematic and continuous analysis of the current state of testing by aggregating and categorising historical data from test harnesses to identify patterns and trends in test results.
|
|
| 3. |
- Gannous, Aiman, et al.
(författare)
-
Toward a Systematic and Safety Evidence Productive Verification Approach for Safety-Critical Systems
- 2018
-
Ingår i: 8th IEEE International Workshop on Software Certification WoSoCER-2018. - 9781538694435 ; , s. 329-336
-
Konferensbidrag (refereegranskat)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.
|
|
