| 1. |
- Causevic, Adnan, et al.
(författare)
-
A Survey on Industrial Software Engineering
- 2009
-
Ingår i: AGILE PROCESSES IN SOFTWARE ENGINEERING AND EXTREME PROGRAMMING. - Berlin, Heidelberg : Springer. - 9783642018527 ; , s. 240-241
-
Bokkapitel (refereegranskat)abstract
- In this paper, we present on-going work on data collected by a questionnaire surveying process practices, preferences, and methods in industrial software engineering.
|
|
| 2. |
- Causevic, Adnan, et al.
(författare)
-
An Industrial Survey on Software Process Practices, Preferences and Methods
- 2009
-
Rapport (övrigt vetenskapligt/konstnärligt)abstract
- This report presents the questionnaire questions and responses of a web-based survey conducted during early spring 2009. It was intended to survey current processes, practices, and methods in the software industry. The report contains no analysis of the data, but is intended to be a reference for other publications, both by ourselves, but by making the data publicly available, also by others.
|
|
| 3. |
- Eldh, Sigrid, et al.
(författare)
-
Framework for Comparing Efficiency, Effectiveness and Applicability of Software Testing Techniques
- 2006
-
Ingår i: Proceedings - Testing: Academic and Industrial Conference - Practice and Research Techniques, TAIC PART 2006. ; , s. 159-170
-
Konferensbidrag (refereegranskat)abstract
- Software testing is expensive for the industry, and always constrained by time and effort. Although there is a multitude of test techniques, there are currently no scientifically based guidelines for the selection of appropriate techniques of different domains and contexts. For large complex systems, some techniques are more efficient in finding failures than others and some are easier to apply than others are. From an industrial perspective, it is important to find the most effective and efficient test design technique that is possible to automate and apply. In this paper, we propose an experimental framework for comparison of test techniques with respect to efficiency, effectiveness and applicability. We also plan to evaluate ease of automation, which has not been addressed by previous studies. We highlight some of the problems of evaluating or comparingtest techniques in an objective manner. We describe our planned process for this multi-phase experimental study. This includes presentation of some of the important measurements to be collected with the dual goals of analyzing the properties of the test technique, as well as validating our experimental framework.
|
|
| 4. |
- Hansson, Hans, et al.
(författare)
-
Real-Time in Networked Embedded Systems
- 2009
-
Ingår i: Networked Embedded Systems. - : CRC Press, Taylor & Francis Group.
-
Bokkapitel (övrigt vetenskapligt/konstnärligt)
|
|
| 5. |
- Land, Rikard, et al.
(författare)
-
Reuse with Software Components – A Survey of Industrial State of Practice
- 2009
-
Ingår i: FORMAL FOUNDATIONS OF REUSE AND DOMAIN ENGINEERING, PROCEEDINGS. - Berlin, Heidelberg : Springer. - 9783642042102 ; , s. 150-159
-
Bokkapitel (refereegranskat)abstract
- Software is often built from pre-existing, reusable components, but there is a lack of knowledge regarding how efficient this is in practice. In this paper we therefore present qualitative results from an industrial survey on current practices and preferences, highlighting differences and similarities between development with reusable components, development without reusable components, and development of components for reuse. Component reuse does happen, but the findings are still partly disappointing: currently, many potential benefits are not achieved. Still, the findings are encouraging: there are indeed good, reusable components properly verified and documented, and mature organizations who manage to reuse these components efficiently, e.g. by leveraging the previous component verification. We also find that replacing one component for another is not necessarily complicated and costly.
|
|
| 6. |
- Pettersson, Anders, et al.
(författare)
-
Shared Data Analysis for Multi-Tasking Real-Time System Testing
- 2007
-
Ingår i: 2007 Symposium on Industrial Embedded Systems Proceeedings, SIES'2007. - 9781424408405 ; , s. 110-117
-
Konferensbidrag (refereegranskat)abstract
- Memory corruption due to program faults is one of the most common failures in computer software. For software running in a sequential manner and for multi-tasking software with synchronized data accesses, it has been shown that program faults causing memory corruption can be detected by analyzing the relations between defines and uses of variables (DU coverage-based testing). However, using such methods in testing for memory corruption where globally shared data is accessed through asynchronous events will not be sufficient since they lack the possibility to analyse the cases where preemption of tasks may lead to interleaving failures. In this paper, we propose the use of a system level shared variable DU analysis of multi-tasking realtime software. By analyzing the temporal attributes of each access to globally shared data, our method handles asynchronous data accesses. When used in system-level testing, the result from the analysis can discover failures such as ordering, synchronization and interleaving failures. The result can also serve a as measure for coverage and complexity in data dependency at system level.
|
|
| 7. |
- Sundmark, Daniel, et al.
(författare)
-
Finding DU-Paths for Testing of Multi-Tasking Real-Time Systems using WCET Analysis
- 2007
-
Ingår i: OpenAccess Series in Informatics, Volume 6. - 9783939897057
-
Rapport (övrigt vetenskapligt/konstnärligt)abstract
- Memory corruption is one of the most common software failures. For sequential software and multitasking software with synchronized data accesses, it has been shown that program faults causing memory corruption can be detected by analyzing the relations between defines and uses of variables (DU-based testing). However, such methods are insufficient in preemptive systems, since they lack the ability to detect inter-task shared variable dependencies. In this paper, we propose the use of a system level shared variable DU analysis of preemptive multi-tasking real-time software. By deriving temporal attributes of each access to shared data using WCET analysis, and combining this information with the real-time schedule information, our method also detects inter-task shared variable dependencies
|
|
| 8. |
- Sundmark, Daniel, et al.
(författare)
-
Pinpointing Interrupts in Embedded Real-Time Systems using Context Checksums
- 2008
-
Ingår i: Proceedings of the 13th International Conference on Emerging Technologies and Factory Automation (ETFA-2008), Hamburg, Germany. ; , s. 774-781
-
Konferensbidrag (refereegranskat)abstract
- When trying to track down bugs using cyclic debugging, the ability to correctly reproduce executions is imperative. In sequential, deterministic, non-real-time software, this reproducibility is inherent. However when the execution is affected by preemptive interrupts, this will have severe effects on the ability, to reproduce program behaviors deterministically, since a reproduction requires the interrupts to hit the program at the exact same instructions. In previous methods, this problem has been solved using different kinds of instruction counters, that induce large execution time perturbations, demand for specialized hardware, or provide inexact results. This makes them highly unfit for resource-constrained embedded real-time systems. In this paper we propose an alternative method for pinpointing interrupts in embedded real-time systems rising context checksums, which is not dependent on specific hardware features or special compilers - but which rather can be applied to any system. Although context checksums in sortie cases also prove inexact or ambiguous, we will show that they serve as a practical method for pinpointing and reproducing interrupts in embedded real-time systems. Furthermore, our method performs perfectly well with standard development tools and operating systems, requires no additional hardware support and, according to preliminary results, consumes merely a tenth of the execution time of existing software-based methods for pinpointing interrupts.
|
|
| 9. |
- Sundmark, Daniel, et al.
(författare)
-
Pinpointing Interrupts in Embedded Real-Time Systems using Hashed Execution Contexts
- 2009
-
Ingår i: IEEE Transactions on Industrial Informatics. - 1551-3203 .- 1941-0050. ; 5:3, s. 257-266
-
Tidskriftsartikel (refereegranskat)abstract
- Cyclic debugging is the process of iteratively re-executing a failed execution in order to determine the cause of the failure, i.e., the bug. In this process, being able to correctly reproduce the faulty execution is an absolute necessity. In sequential, deterministic, non-real-time software, this reproducibility is inherent. However, when the execution is preempted by interrupts, this has severe effects on program reproducibility, since, during the reproduction, it is required for interrupts to occur at the exact same instructions. Previously, this problem has been solved using instruction counters, that induce large execution time perturbations, or by special hardware solutions which impose a risk of inexact results. In this paper, we propose an alternative method for pinpointing interrupts using hashed values of selected parts of the program execution context. Although our method in some cases can be ambiguous, we show that it serves as a pragmatic method for pinpointing and reproducing interrupts in embedded real-time systems. Moreover, our method does not rely on special hardware or compilers, is simple to implement and use, and requires little execution time and memory.
|
|
| 10. |
- Sundmark, Daniel, 1975-
(författare)
-
Structural System-Level Testing of Embedded Real-Time Systems
- 2008
-
Doktorsavhandling (övrigt vetenskapligt/konstnärligt)abstract
- People make mistakes. Software engineers are no exception to this fact. When software engineers make mistakes, these manifest in the form of buggy software - a major problem in today's industry. The existence of bugs is commonly detected using testing, the process of executing the software and checking if its behaviour complies with the specification. As limitations in time make testing of the entire software behaviour impracticable, testers need to make informed decisions on how to test the software to detect as many bugs as possible.In the realm of real-time systems (RTSs), software testing is made more difficult by non-deterministic factors such as interaction with the surrounding environment, (pseudo)parallelism, and timing requirements. Furthermore, RTS testing suffers from behaviour-altering perturbation from the instrumentation inserted in the system to keep track of test progress (i.e., probe effects).In our work, we analyse the main test criteria used for traditional software testing in order to see which of these scale to, and assist in, system-level testing of multi-tasking RTSs. We focus on one of these criteria, the all definition-use paths coverage criterion, as it highlights a central aspect of non-deterministic task interaction, and investigate what is specifically required for applying this criterion to testing of multi-tasking RTSs. Further, we examine the possibility of using execution replay for probe effect-free test monitoring. We evaluate this approach in real industrial settings by means of case studies.The contributions of this thesis are twofold: First, the use of structural test criteria in RTS system-level testing is facilitated by two different analysis methods. Second, the probe effect is handled by recording non-deterministic events during run-time, and by using this recording to create a monitorable deterministic replica of the first execution. By these contributions, this thesis shows how the non-determinism of multi-tasking RTSs can be handled during system-level testing.
|
|
| 11. |
- Sundmark, Daniel, et al.
(författare)
-
Structural Testing of Component-Based Systems
- 2008
-
Ingår i: Lecture Notes in Computer Science, Vol. 5282. - Berlin, Heidelberg : Springer. - 9783540878902 ; , s. 180-195
-
Bokkapitel (refereegranskat)abstract
- Component based development of software systems needs to devise effective test management strategies in order fully achieve its perceived advantages of cost efficiency, flexibility, and quality in industrial contexts. In industrial systems with quality demands, while testing software, measures are employed to evaluate the thoroughness achieved by execution of a certain set of test cases. Typically, these measures are expressed in the form of coverage of different structural test criteria, e.g., statement coverage. However, such measures are traditionally applicable only on the lowest level of software integration (i.e., the component level). As components are assembled into subsystems and further into full systems, general measures of test thoroughness are no longer available. In this context, we formalize the added test effort and show to what extent the coverage of structural test criteria are maintained when components are integrated, in three representative component models. This enables focusing on testing the right aspects of the software at the right level of integration, and achieves cost reduction during testing one of the most resource-consuming activities in software engineering.
|
|
