From 30ab8f17c412613eec93fe7f9fde4cad8f76b97b Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Hauser=2C=20Tom=C3=A1=C5=A1?= <hauseto2@fel.cvut.cz>
Date: Thu, 29 Dec 2022 19:58:18 +0000
Subject: [PATCH] Update README.md

---
 README.md | 31 +++++++++++++++++++++++++++++--
 1 file changed, 29 insertions(+), 2 deletions(-)

diff --git a/README.md b/README.md
index d4f75ac..819362a 100644
--- a/README.md
+++ b/README.md
@@ -1,4 +1,31 @@
-## SUT description
+# SUT description
+For the SUT I chose a website from my [bachelor's thesis](https://dspace.cvut.cz/handle/10467/101022).
 
+![Website screenshot](images/WebsiteScreenshot.PNG?raw=true "Title")
 
-![Alt text](images/NotationConversionActivityDiagramConversionToGraph.png?raw=true "Title")
+Its purpose is to convert between two notations that are used to write queries in a formal query language called <strong>R</strong>elational <strong>A</strong>lgebra (RA). Furthermore, the application can take any valid RA query and convert it into another formal query language called <strong>T</strong>uple <strong>R</strong>elational <strong>C</strong>alculus (TRC).
+
+# Testing Framework
+
+Selenium, Serenity BDD and JUnit5 were chosen. The plugin is set up in such a way that the command `mvn clean verify` generates a report in the target folder.
+
+# Testing strategy
+
+My goal was to verify the correctness of every functionality depicted in the use case diagram. After all, the diagram shows every possible action user can take in the application.
+
+![Use case diagram](images/UseCaseDiagram.jpg?raw=true "Title")
+
+Each use case was unit tested and some had additional coverage which is discussed in the following sections
+
+## Path based tests
+For the path based tests there were only two sensible possibilities - notation conversion process and the conversion from RA into TRC. Since the application is pretty much linear, there is no branching and the diagrams are rather simple and quite literally straight forward.
+
+The following diagram shows a conversion from the activity diagram into a correspondign decision graph with the generated TDLs on the right.
+
+![Conversion from activity diagram to graph for a notation conversion test](images/NotationConversionActivityDiagramConversionToGraph.png?raw=true "Title")
+
+A decision graph for the conversion into TRC was made in a similar fashion.
+
+![Decision graph for a test for a conversion from RA into TRC](images/ToTRCConversionGraph.PNG?raw=true "Title")
+
+Tests for both diagrams are located in `src/test/java/tests/integration/pathbased`.
-- 
GitLab