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
Verifying Finite State Machine Behavior using QuickCheck EQC_fsm
Uppsala University, Disciplinary Domain of Science and Technology, Mathematics and Computer Science, Department of Information Technology.
Uppsala University, Disciplinary Domain of Science and Technology, Mathematics and Computer Science, Department of Information Technology.
2010 (English)Independent thesis Advanced level (professional degree), 20 credits / 30 HE creditsStudent thesis
Abstract [en]

In order to communicate properly, mobile telephones connect to base transceiver stations which forward the telephones’ signals. These base transceiver stations are called Node Bs.

As the use of mobile telephones expands every day, the number of Node Bs in the world increases with rapid speed. This requires better software systems in the Node Bs, so people can use their mobile telephones whenever and wherever, without any obstacles in the way.

Better testing tools are needed to ensure the quality of the software systems in the Node Bs. This thesis is based on the evaluation of a software testing tool called QuickCheck and especially one of its modules, eqc_fsm.

The goal was to determine if the characteristics of two subsystems in Node B would make QuickCheck and its module applicable as a testing tool for those systems. Since QuickCheck can be used to test systems modeled as finite state machines, the two subsystems were modeled as numerous uniquely finite state machines and tested using QuickCheck.

The systems were both successfully modeled according to eqc_fsm and tested using QuickCheck. The applicability of eqc_fsm as a testing tool was not affected to a great degree by the systems characteristics that were investigated. Eqc_fsm was also flexible to handle systems with different characteristics. This showed that QuickCheck’s eqc_fsm module was applicable as a testing tool for the two subsystems in Node B. QuickCheck and its module eqc_fsm can be used to improve the quality of the software systems in Node B.

Place, publisher, year, edition, pages
2010.
Series
UPTEC IT, ISSN 1401-5749 ; 10 016
Identifiers
URN: urn:nbn:se:uu:diva-129441OAI: oai:DiVA.org:uu-129441DiVA, id: diva2:343744
Uppsok
Technology
Supervisors
Examiners
Available from: 2010-08-16 Created: 2010-08-16 Last updated: 2010-08-16Bibliographically approved

Open Access in DiVA

fulltext(937 kB)1128 downloads
File information
File name FULLTEXT01.pdfFile size 937 kBChecksum SHA-512
3c7135b8efa333ab18adf993b00a21f0ec454b4bf4fa86524b4fe4d69bc282dc7cc6dbc241dfabd2a6c99426c375f50039b4b439b3785e1bdefd5e0b1e7a65e3
Type fulltextMimetype application/pdf

By organisation
Department of Information Technology

Search outside of DiVA

GoogleGoogle Scholar
Total: 1128 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: 740 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