View Proposal

Proposer
Oleksandr Letychevskyi
Title
Model-based testing of software systems.
Goal
Study of model-based testing technology and formal software models.
Description
Write a program that generates test sequences based on a formal model of the system under test. Investigate the test coverage conditions of the model and conduct an experiment with the aim of the best coverage of the code.
Resources
Background
Url
Difficulty Level
High
Ethical Approval
None
Number Of Students
0
Supervisor
Oleksandr Letychevskyi
Keywords
model-based testing, test coverage, software formal model
Degrees
Back to List