| 1. |
- Cito, J., et al.
(författare)
-
Interactive Production Performance Feedback in the IDE
- 2019
-
Ingår i: 2019 IEEE/ACM 41st International Conference on Software Engineering (ICSE). - : IEEE. - 9781728108698 ; , s. 971-981
-
Bokkapitel (övrigt vetenskapligt/konstnärligt)abstract
- Because of differences between development and production environments, many software performance problems are detected only after software enters production. We present PerformanceHat, a new system that uses profiling information from production executions to develop a global performance model suitable for integration into interactive development environments. PerformanceHat's ability to incrementally update this global model as the software is changed in the development environment enables it to deliver near real-time predictions of performance consequences reflecting the impact on the production environment. We build PerformanceHat as an Eclipse plugin and evaluate it in a controlled experiment with 20 professional software developers implementing several software maintenance tasks using our approach and a representative baseline (Kibana). Our results indicate that developers using PerformanceHat were significantly faster in (1) detecting the performance problem, and (2) finding the root-cause of the problem. These results provide encouraging evidence that our approach helps developers detect, prevent, and debug production performance problems during development before the problem manifests in production.
|
|
| 2. |
- Cronhjort, Mikael, et al.
(författare)
-
Leadership and Pedagogical Skills in Computer Science Engineering by Combining a Degree in Engineering with a Degree in Education
- 2020
-
Ingår i: 2020 IEEE Frontiers in Education Conference (FIE). - : IEEE. - 0190-5848. - 9781728189611 ; , s. 1-9
-
Konferensbidrag (refereegranskat)abstract
- In this full paper on innovative practice, we describe and discuss findings from dual degree study programmes that combine a master's degree in engineering with a master's degree in education. This innovative study programme design has emerged in Sweden due to an alarming demand for more Upper Secondary School teachers in STEM subjects. Studies on alumni from these programmes indicate that the graduates are highly appreciated not only as teachers in schools, but also in business and industry, e.g. in roles as IT consultants and computer science engineers. Data indicate that the breadth of the combined education, and especially leadership and pedagogical skills, are important factors for these graduates' success as engineers.
|
|
| 3. |
- Da Silva, L., et al.
(författare)
-
Detecting Semantic Conflicts via Automated Behavior Change Detection
- 2020
-
Ingår i: 2020 IEEE International Conference on Software Maintenance and Evolution (ICSME). - : IEEE. - 9781728156194 ; , s. 174-184
-
Bokkapitel (övrigt vetenskapligt/konstnärligt)abstract
- Branching and merging are common practices in collaborative software development. They increase developer productivity by fostering teamwork, allowing developers to independently contribute to a software project. Despite such benefits, branching and merging comes at a cost-the need to merge software and to resolve merge conflicts, which often occur in practice. While modern merge techniques, such as 3-way or structured merge, can resolve many such conflicts automatically, they fail when the conflict arises not at the syntactic, but the semantic level. Detecting such conflicts requires understanding the behavior of the software, which is beyond the capabilities of most existing merge tools. As such, semantic conflicts can only be identified and fixed with significant effort and knowledge of the changes to be merged. While semantic merge tools have been proposed, they are usually heavyweight, based on static analysis, and need explicit specifications of program behavior. In this work, we take a different route and explore the automated creation of unit tests as partial specifications to detect unwanted behavior changes (conflicts) when merging software. We systematically explore the detection of semantic conflicts through unit-test generation. Relying on a ground-truth dataset of 38 software merge scenarios, which we extracted from GitHub, we manually analyzed them and investigated whether semantic conflicts exist. Next, we apply test-generation tools to study their detection rates. We propose improvements (code transformations) and study their effectiveness, as well as we qualitatively analyze the detection results and propose future improvements. For example, we analyze the generated test suites for false-negative cases to understand why the conflict was not detected. Our results evidence the feasibility of using test-case generation to detect semantic conflicts as a method that is versatile and requires only limited deployment effort in practice, as well as it does not require explicit behavior specifications.
|
|
| 4. |
- Gren, Lucas, 1984, et al.
(författare)
-
Is it Possible to Disregard Obsolete Requirements? - An Initial Experiment on a Potentially New Bias in Software Effort Estimation
- 2017
-
Ingår i: 2017 Ieee/Acm 10th International Workshop on Cooperative and Human Aspects of Software Engineering (Chase 2017). - : IEEE.
-
Konferensbidrag (refereegranskat)abstract
- Effort estimation is a complex area in decision-making, and is influenced by a diversity of factors that could increase the estimation error. The effects on effort estimation accuracy of having obsolete requirements in specifications have not yet been studied. This study aims at filling that gap. A total of 150 students were asked to provide effort estimates for different amounts of requirements, and one group was explicitly told to disregard some of the given requirements. The results show that even the extra text instructing participants to exclude requirements in the estimation task, had the subjects give higher estimates. The effect of having obsolete requirements in requirements specifications and backlogs in software effort estimation is not taken into account enough today, and this study provides empirical evidence that it possibly should. We also suggest different psychological explanations to the found effect.
|
|
| 5. |
- Lillack, M., et al.
(författare)
-
Intention-Based Integration of Software Variants
- 2019
-
Ingår i: 2019 IEEE/ACM 41st International Conference on Software Engineering (ICSE). - : IEEE. - 9781728108698 ; , s. 831-842
-
Bokkapitel (övrigt vetenskapligt/konstnärligt)abstract
- Cloning is a simple way to create new variants of a system. While cheap at first, it increases maintenance cost in the long term. Eventually, the cloned variants need to be integrated into a configurable platform. Such an integration is challenging: it involves merging the usual code improvements between the variants, and also integrating the variable code (features) into the platform. Thus, variant integration differs from traditional software merging, which does not produce or organize configurable code, but creates a single system that cannot be configured into variants. In practice, variant integration requires fine-grained code edits, performed in an exploratory manner, in multiple iterations. Unfortunately, little tool support exists for integrating cloned variants. In this work, we show that fine-grained code edits needed for integration can be alleviated by a small set of integration intentions domain-specific actions declared over code snippets controlling the integration. Developers can interactively explore the integration space by declaring (or revoking) intentions on code elements. We contribute the intentions (e.g., 'keep functionality' or 'keep as a configurable feature') and the IDE tool INCLINE, which implements the intentions and live editable views that visualize the integration process and allow declaring intentions producing a configurable integrated platform. In a series of experiments, we evaluated the completeness of the proposed intentions, the correctness and performance of INCLINE, and the benefits of using intentions for variant integration. The experiments show that INCLINE can handle complex integration tasks, that views help to navigate the code, and that it consistently reduces mistakes made by developers during variant integration.
|
|
| 6. |
- Pientka, B., et al.
(författare)
-
A Type Theory for Defining Logics and Proofs
- 2019
-
Ingår i: 2019 34TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS). - : IEEE. - 9781728136080
-
Bokkapitel (övrigt vetenskapligt/konstnärligt)abstract
- We describe a Martin-Lof-style dependent type theory, called COCON, that allows us to mix the intensional function space that is used to represent higher-order abstract syntax (HOAS) trees with the extensional function space that describes (recursive) computations. We mediate between HOAS representations and computations using contextual modal types. Our type theory also supports an infinite hierarchy of universes and hence supports type-level computation thereby providing metaprogramming and (small-scale) reflection. Our main contribution is the development of a Kripke-style model for COCON that allows us to prove normalization. From the normalization proof, we derive subject reduction and consistency. Our work lays the foundation to incorporate the methodology of logical frameworks into systems such as Agda and bridges the longstanding gap between these two worlds.
|
|
| 7. |
- Rodrigues, A., et al.
(författare)
-
A Learning Approach to Enhance Assurances for Real-Time Self-Adaptive Systems
- 2018
-
Ingår i: SEAMS '18 Proceedings of the 13th International Conference on Software Engineering for Adaptive and Self-Managing Systems. - New York, NY, USA : ACM. - 9781450357159
-
Konferensbidrag (refereegranskat)abstract
- The assurance of real-time properties is prone to context variability. Providing such assurance at design time would require to check all the possible context and system variations or to predict which one will be actually used. Both cases are not viable in practice since there are too many possibilities to foresee. Moreover, the knowledge required to fully provide the assurance for self-adaptive systems is only available at runtime and therefore difficult to predict at early development stages. Despite all the efforts on assurances for self-adaptive systems at design or runtime, there is still a gap on verifying and validating real-time constraints accounting for context variability. To fill this gap, we propose a method to provide assurance of self-adaptive systems, at design-and runtime, with special focus on real-time constraints. We combine off-line requirements elicitation and model checking with on-line data collection and data mining to guarantee the system's goals, both functional and non-functional, with fine tuning of the adaptation policies towards the optimization of quality attributes. We experimentally evaluate our method on a simulated prototype of a Body Sensor Network system (BSN) implemented in OpenDaVINCI. The results of the validation are promising and show that our method is effective in providing evidence that support the provision of assurance.
|
|
| 8. |
- Bucaioni, A., et al.
(författare)
-
Aligning Architecture with Business Goals in the Automotive Domain
- 2021
-
Ingår i: 2021 IEEE 18th International Conference on Software Architecture (ICSA) 22-26 March 2021, Stuttgart, Germany. - : IEEE. - 9781728162607
-
Konferensbidrag (refereegranskat)abstract
- When designing complex automotive systems in practice, employed technologies and architectural decisions need to reflect business goals. While the software architecture community has acknowledged the need to align business goals with architectural decisions, there is a lack of practical approaches to achieve this alignment. In this paper, we intend to close this gap by providing a systematic approach for architecture-business alignment. The approach describes how to align architecture with business concerns by eliciting goals, identifying quality attributes, and deriving architectural tactics. We iteratively developed and evaluated the approach together with an international automotive manufacturer. We show the application of the proposed approach within our participating company leveraging a use case related to software-over-the-air technologies. The proposed approach is perceived as beneficial by our participants, since it provides a structured mechanism to align architecture and business goals by determining key architectural concerns as quality attributes and tactics.
|
|
| 9. |
|
|
| 10. |
- Falkman, Petter, 1972, et al.
(författare)
-
Verification of Operation Sequences in Process Simulate by Connecting a Formal Verification Tool
- 2009
-
Ingår i: 2009 IEEE INTERNATIONAL CONFERENCE ON CONTROL AND AUTOMATION, Christchurch, NEW ZEALAND, DEC 09-11, 2009. - 9781424447060 ; 1-3, s. 1207-1212
-
Konferensbidrag (refereegranskat)abstract
- It is very advantages to use virtual techniques for testing and developing new hardware and software systems. It is cost effective since no real machine or manufactory system is needed. It is safe since there are no real components that can be damaged. Simulation is a fast design method since the time can go faster then real time and the machine can be set to desired machine states without time consumption. Novel concepts can be tested prior to manufacturing. However, it is of greatest importance that the virtual model can be trusted so that the results of the development and tests can be directly transferred to a real system without any manual last minute changes. Testing all possible scenarios within a system by simulation is an ambiguous task and is impossible to do with todays complex systems. The present paper introduces a method for combining virtual development and simulation techniques with tools for formal verification methods. The aim is to enable the use of formal verification techniques and by doing that guaranteeing a correct system behavior.
|
|
