Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Improving software development efficiency within the W-CDMA application area by use of formal methods for verification
2000 (English)Independent thesis Advanced level (professional degree), 20 credits / 30 HE creditsStudent thesis
Abstract [en]

Ericsson Erisoft has recently started up a new department for the development of the software for a W-CDMA Base Station Transceiver. They would like to make the development process more efficient, and especially in the verification area. This is supposed to be done with the help of formal methods. TTCN is the testing language used, and first an inventory is made of the available tools on the market for TTCN. This to find out if there exists a better tool than the one used today. Some tool for different usages are recommended. The main goal of this master thesis is to evaluate and perhaps construct methods and tools, especially for verification, and to try a selected method together with the other development methods and tools that are used today. Then a comparison of the new method with the current method will be done. The method selected in this master thesis is to make the test specifications in MSCs and SDL diagrams. Some comparisons are made with another examined method, to write the test specifications directly in TTCN. The tool Autolink from Telelogic is used to transform the test specifications in MSC and SDL into TTCN test cases. The TTCN test cases is executed successfully on a hardware card of the base station. Some advantages and disadvantages are pointed out. The new method is more efficient and is therefore recommended.

Place, publisher, year, edition, pages
2000.
Keywords [en]
Technology, TTCN, MSC, ASN.1, Testing, Generation, Software Development
Keywords [sv]
Teknik
Identifiers
URN: urn:nbn:se:ltu:diva-50440ISRN: LTU-EX--00/225--SELocal ID: 7b4592d9-2eca-4223-a21c-bca9bcc7791dOAI: oai:DiVA.org:ltu-50440DiVA, id: diva2:1023799
Subject / course
Student thesis, at least 30 credits
Educational program
Computer Science and Engineering, master's level
Examiners
Note
Validerat; 20101217 (root)Available from: 2016-10-04 Created: 2016-10-04Bibliographically approved

Open Access in DiVA

fulltext(578 kB)31 downloads
File information
File name FULLTEXT01.pdfFile size 578 kBChecksum SHA-512
c44737686ce35fbef119cc51ad994e3dc9db54c82498f5df5a6a9d3b869635a41d1cd70d1eacdaa7ba227def5c25bdb4cc7088eafe3552d7f2b60697930e1ba6
Type fulltextMimetype application/pdf

Search outside of DiVA

GoogleGoogle Scholar
Total: 31 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

urn-nbn

Altmetric score

urn-nbn
Total: 20 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf