Change search
ReferencesLink to record
Permanent link

Direct link
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
Keyword [en]
Technology, TTCN, MSC, ASN.1, Testing, Generation, Software Development
Keyword [sv]
URN: urn:nbn:se:ltu:diva-50440ISRN: LTU-EX--00/225--SELocal ID: 7b4592d9-2eca-4223-a21c-bca9bcc7791dOAI: diva2:1023799
Subject / course
Student thesis, at least 30 credits
Educational program
Computer Science and Engineering, master's level
Validerat; 20101217 (root)Available from: 2016-10-04 Created: 2016-10-04Bibliographically approved

Open Access in DiVA

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

Search outside of DiVA

GoogleGoogle Scholar
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

ReferencesLink to record
Permanent link

Direct link