Improving software development efficiency within the W-CDMA application area by use of formal methods for verificationReportar como inadecuado




Improving software development efficiency within the W-CDMA application area by use of formal methods for verification - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

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.

Keyword [en] : Technology, TTCN, MSC, ASN.1, Testing, Generation, Software Development

Keyword [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: diva2:1023799

Subject / course: Student thesis, at least 30 credits

Educational program: Computer Science and Engineering, master's level

Examiners : Pelletier, Ghyslain

Note: Validerat; 20101217 (root)Available from: 2016-10-04 Created: 2016-10-04Bibliographically approved



Autor: Fältros, Anders

Fuente: http://ltu.diva-portal.org/







Documentos relacionados