Bachelor and Master Theses

Title: Model Based Test Design in CPP Verification (for 2 students)
Subject: Computer Science
Level: Advanced
Description: • Get acquainted with test nodes, instruments and the automation framework (tools, procedures, and scripts) used for function and system testing within CPP (Connectivity Packet Platform).
• Get acquainted with methods for MBT (Model Based Test) Design using Qtronic tool and SmartTest.
• Get acquainted with methods for automated testing using Expect/Tcl in CETP2 (CPP Expect Test Platform) and using JCAT.
• Compare Qtronic modelling tool with other available tools on the market (e.g. SmartTest) with regards to:
o Functionality and Usability (GUI, libraries, manuals, design
rules, document generation, requirement tracking)
o Flexibility (operating systems, tools integration, scripts languages, adaptability)
o Performance (generation time, lines of generated code, parameter explosion, traffic handling)
o Pricing (licenses, support, education)
• Investigate usability of the MBT method in System Verification regarding:
o Test objects (data plane testing, characteristics, load, system upgrade)
o Requirement coverage (tracking, automated reporting)
o Guidelines (limitations, work arounds, fallbacks)

Apply before Sept 30 2009 - more information at:
Company: Ericsson, kontaktperson: Pär Pålhed
Prel. end date: 2010-06-04
Presentation date: 2010-06-04
Student: Vijaya Krishana Cherukuri
Student: Piyush Gupta
IDT supervisor: Antonio Cicchetti, +46-21-151762
Examinator: Mikael Sjödin
Mikael Sjödin, +46 70 288 2829
Misc: The thesis is performed for Ericsson AB in Älvsjö but will be, to a great extent, carried out at the MDH-Ericsson Lab in Västerås. The IRIL lab is supported by experts from Ericsson AB as well as Mälardalen University. On the Ericsson side, the respo

  • Mälardalen University |
  • Box 883 |
  • 721 23 Västerås/Eskilstuna |
  • 021-101300, 016-153600 |
  • webmaster |
  • Latest update: 2017.08.23