Sökning: "modellbaserad testning"

Visar resultat 6 - 10 av 18 uppsatser innehållade orden modellbaserad testning.

1. 6. Model-Based Testing of Dosing System : An Introductory Review on Model-Based Automatic Test Case Generation with Matlab Simulink Proof-of-concept

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

   Författare :Albertus Adrian Setyawan; [2021]
   Nyckelord :model-based testing; requirement modelling; automated test case generation; cause-effect graph; Matlab Simulink; modellbaserad testning; kravmodellering; automatisk generering av testfall; cause-effect graph; Matlab Simulink;

   Sammanfattning : A modern truck contains a large number of functionalities implemented in its electronics system. Thus, testing all of these functions employs a considerable effort. The execution of tests against the system has been automated for a long time. Unfortunately, most of the test is still designed manually these days. LÄS MER

3. 7. Model Coverage vs System-under-test Coverage in Model-based testing : Using Edge-pair coverage, Edge coverage, Node coverage and Mutation analysis

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

   Författare :George Rezkalla; [2021]
   Nyckelord :model-based testing; system-under-test; edge-pair coverage; edge coverage; node coverage; black-box testing; white-box testing; mutation analysis; test suite effectiveness; modellbaserad testning; system-under-test; kantparstäckning; kant-täckning; nodtäckning; black-box-testning; white-box-testning; mutationsanalys; testsvitseffektivitet;

   Sammanfattning : Model-based testing (MBT) is a black-box software testing technique that focuses on specification of the system-under-test (SUT) and/or its environment. It uses models to automatically generate a large number of tests. LÄS MER

4. 8. Development of PMSM and drivetrain models in MATLAB/Simulink for Model Based Design

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

   Författare :Gokul Sivaraman; [2021]
   Nyckelord :Electric Vehicles; Permanent Magnet Synchronous Machine; flux; flux linkage; Inductance; Model based design; Finite Element Analysis; Mechanical drivetrain; Magnetic saturation; Cross-coupling; Spatial harmonics; Temperature; Active oscillation damping; ABS wheel speed sensor; CAN bus.; Elektriska fordon; synkronmaskiner med magneter; magnetiskt flöde; induktans; modellbaserad design; Finite Element Analys; mekanisk drivlina; magnetisk mättnad; magnetisk tvärkoppling; MMF övervågor; temperatur; aktiv oscillationsdämpning; ABS hjulhastighetssensor; CAN buss.;

   Sammanfattning : When developing three-phase drives for Electric Vehicles (EVs), it is essential to verify the controller design. This will help in understanding how fast and accurately the torque of the motor can be controlled. LÄS MER

5. 9. Tillämpningar av modelbaserad testning i industrin - Exempel på användning och hinder

   Kandidat-uppsats, Malmö universitet/Fakulteten för teknik och samhälle (TS)

   Författare :Karl-Olof Welin; Oscar Norling; [2020]
   Nyckelord :Model-based testing; Test automation;

   Sammanfattning : Det finns en omfattande litteratur kring modellbaserad testning (MBT) men med få tecken på att metoden har fått något större genomslag i industrin. Målet med studien är att identifiera exempel där MBT används som testmetod inom industrin och eventuella hinder som finns i MBT-processen. LÄS MER

7. 10. Tillämpningar av modellbaserad testning i industrin - exempel på användning och hinder

   Kandidat-uppsats, Malmö universitet/Fakulteten för teknik och samhälle (TS)

   Författare :Karl-Olof Welin; Oscar Norling; [2020]
   Nyckelord :Model-based testing; test automation;

   Sammanfattning : Det finns en omfattande litteratur kring modellbaserad testning (MBT) men med få tecken på att metoden har fått något större genomslag i industrin. Målet med studien är att identifiera exempel där MBT används som testmetod inom industrin och eventuella hinder som finns i MBT-processen. LÄS MER