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 (På svenska)
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."

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