Hide menu

Examensarbeten och uppsatser / Final Theses

Framläggningar på IDA / Presentations at IDA

Se även framläggningar annonserade hos LinTek och ITN i Norrköping / See also presentations announced at LinTek and ITN in Norrköping (in Swedish)

If nothing is stated about the presentation language then the presentation is in Swedish.

WExUpp - kommande framläggningar
2014-09-03 - SaS
Software Modeling of Cyber-Phisical systems
Shilu Shrestha
Avancerad (30hp)
kl 14:15, Herbert Simon (In English)
Cyber-Physical Systems (CPS) have a tight integration of computation, networking and physical process. It is a heterogeneous system that combines multi-domain consisting of both hardware and software systems. Cyber subsystems in CPS implement the control strategy that affects the physical process. Therefore, software systems in CPS are more complex.
Visualization of a complex system provides a method of understanding complex systems by accumulating, grouping, and displaying components of systems in such a manner that they may be understood more efficiently just by viewing the model rather than understanding the code. Graphical representation of complex systems provides an intuitive and comprehensive way to understand the system.
OpenModelica is the open source development environment based on Modelica modeling and simulation language that consists of several interconnected subsystems. OMEdit is one of the subsystem integrated into OpenModelica. It is a graphical user interface for graphical modeling. It consists of tools that allow the user to create their own shapes and icons for the model.
This thesis presents a methodology that provides an easy way of understanding the structure and execution of programs written in the imperative language like C through graphical Modelica model.
2014-09-03 - SaS
Type Inferencing and MATLAB to Modelica Translation
Mohammad Jahanzeb
Avancerad (30hp)
kl 15:15, Herbert Simon (In English)
2014-09-05 - SaS
"Reducing Regression Testing Feedback Cycle Times Through Improved Testing Techniques”
Viktor Lövgren
Avancerad (30hp)
kl 13:15, Donald Knuth (In English)
Software is continually and rapidly evolving with constant risk of introducing faults. Software testing has long been used to aid in the detection of faults, and agile development strategies have been driving the use of automated tests and regression testing specifically. As development continues, test suites eventually grow in the number of test cases to the extent that the execution time is extensive. When it has increased to the point that it prevents efficient software engineering, a regression testing technique is required to reduce the feedback cycle times — the times for receiving feedback from tests on changes.

This thesis has investigated regression testing techniques presented in previous research. The focus has been on test case selection techniques — for selecting a subset of all test cases for execution — and test case prioritization techniques — for determining the execution order of test cases. With some evaluation criteria in mind, one such technique was selected and a proof-of-concept implementation was developed. First, the implemented technique was evaluated for robustness using an example application. Following, a case study was conducted on an existing software development project, where the perceived problems with regression testing were documented by interviewing a software developer. The technique was then integrated with the project’s existing regression testing and its efficiency was evaluated.

It was concluded that a regression testing technique is, to some extent, practical to implement, although difficult to verify for complete correctness. Empirical evaluations in the case study showcased reduced feedback cycle times of 60% or more compared to when not using the technique — assuming a uniform distribution of failing test cases. However, it was stated as important to evaluate the efficiency of the technique on a per-project basis."
2014-09-08 - SaS
Recompiling DSP applications to x86 using LLVM IR
David Stenberg
Avancerad (30hp)
kl 10:00, Donald Knuth (På svenska)
This thesis describes the design and implementation of a prototype LLVM
compiler backend, x86-64p, that compiles code written for a DSP architec-
ture, FADER, into executables for the x86-64 architecture. The prototype
takes LLVM IR generated for the FADER architecture and compiles x86-64
executables that emulates the properties of the DSP architecture, e.g. the
multiple address spaces, the big-endianness and the support for fixed-point
arithmetic. The backend is compared to a previous solution, C-Emu, that
converts the DSP code to normal C code that is compiled using a normal
x86-64 compiler. The two solutions are compared in terms of their correct-
ness, debuggability and performance. The created prototype handles code
containing low-level architectural assumptions better than C-Emu. How-
ever, the added emulation reduces the debuggability and performance of the
generated executables. We have measured a runtime overhead of up to a
factor of three compared to C-Emu. We also present some possible solutions
for these issues.
2014-09-11 - HCS
Språkbyte mellan R och PHP/JavaScript för generering av statistiska diagram
Axel Nord
Grundnivå (16hp)
kl 10:00, Alan Turing (På svenska)

Page responsible: Johan Åberg
Last updated: 2011-03-22