Sökning: "Extended Finite State Machine EFSM"

Hittade 2 uppsatser innehållade orden Extended Finite State Machine EFSM.

1. 1. Minimization of Model-based Tests in Modbat

   Master-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)

   Författare :Caroline Borg; [2023]
   Nyckelord :Software testing; Model-based testing; Test minimization; Delta debugging; Modbat; modmin; Mjukvarutestning; Modellbaserad testning; Testminimering; Delta debugging; Modbat; modmin;

   Sammanfattning : Model-based testing (MBT) is a promising testing method with advantages like exhaustive exploration and high maintainability. However, one notable downside is that the generated tests usually contain much unnecessary noise. LÄS MER

3. 2. An evolutionary testing approach for test data generation from EFSM model with string data input

   Magister-uppsats, Göteborgs universitet/Institutionen för data- och informationsteknik

   Författare :Diponkar Paul; [2010-03-08]
   Nyckelord :Evaluation algorithm; test data generation; fitness function; Extended Finite State Machine EFSM ;

   Sammanfattning : The thesis has aimed to test data generation from EFSM model with string data input. In testing area a very few work is done to generate test data with string data input. So this topic is interesting to the testing arena. To reach the goal a genetic algorithm (GA) tool is developed. LÄS MER