gradle cleanup

dicegame/.gitattributes

@@ -0,0 +1,12 @@
+#
+# https://help.github.com/articles/dealing-with-line-endings/
+#
+# Linux start script should use lf
+/gradlew        text eol=lf
+
+# These are Windows script files and should use crlf
+*.bat           text eol=crlf
+
+# Binary files should be left untouched
+*.jar           binary
+

dicegame/.gitignore

@@ -0,0 +1,8 @@
+/.idea/
+/target/
+
+# Ignore Gradle project-specific cache directory
+.gradle
+
+# Ignore Gradle build output directory
+build

dicegame/gradle/libs.versions.toml

@@ -0,0 +1,12 @@
+# This file was generated by the Gradle 'init' task.
+# https://docs.gradle.org/current/userguide/platforms.html#sub::toml-dependencies-format
+
+[versions]
+guava = "33.2.1-jre"
+junit-jupiter = "5.10.3"
+mockito = "5.14.0"
+
+[libraries]
+guava = { module = "com.google.guava:guava", version.ref = "guava" }
+junit-jupiter = { module = "org.junit.jupiter:junit-jupiter", version.ref = "junit-jupiter" }
+mockito = { module = "org.mockito:mockito-core", version.ref = "mockito" }

dicegame/gradle/wrapper/gradle-wrapper.properties

@@ -0,0 +1,7 @@
+distributionBase=GRADLE_USER_HOME
+distributionPath=wrapper/dists
+distributionUrl=https\://services.gradle.org/distributions/gradle-8.10.2-bin.zip
+networkTimeout=10000
+validateDistributionUrl=true
+zipStoreBase=GRADLE_USER_HOME
+zipStorePath=wrapper/dists

dicegame/gradlew

@@ -0,0 +1,252 @@
+#!/bin/sh
+
+#
+# Copyright © 2015-2021 the original authors.
+#
+# Licensed under the Apache License, Version 2.0 (the "License");
+# you may not use this file except in compliance with the License.
+# You may obtain a copy of the License at
+#
+#      https://www.apache.org/licenses/LICENSE-2.0
+#
+# Unless required by applicable law or agreed to in writing, software
+# distributed under the License is distributed on an "AS IS" BASIS,
+# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+# See the License for the specific language governing permissions and
+# limitations under the License.
+#
+# SPDX-License-Identifier: Apache-2.0
+#
+
+##############################################################################
+#
+#   Gradle start up script for POSIX generated by Gradle.
+#
+#   Important for running:
+#
+#   (1) You need a POSIX-compliant shell to run this script. If your /bin/sh is
+#       noncompliant, but you have some other compliant shell such as ksh or
+#       bash, then to run this script, type that shell name before the whole
+#       command line, like:
+#
+#           ksh Gradle
+#
+#       Busybox and similar reduced shells will NOT work, because this script
+#       requires all of these POSIX shell features:
+#         * functions;
+#         * expansions «$var», «${var}», «${var:-default}», «${var+SET}»,
+#           «${var#prefix}», «${var%suffix}», and «$( cmd )»;
+#         * compound commands having a testable exit status, especially «case»;
+#         * various built-in commands including «command», «set», and «ulimit».
+#
+#   Important for patching:
+#
+#   (2) This script targets any POSIX shell, so it avoids extensions provided
+#       by Bash, Ksh, etc; in particular arrays are avoided.
+#
+#       The "traditional" practice of packing multiple parameters into a
+#       space-separated string is a well documented source of bugs and security
+#       problems, so this is (mostly) avoided, by progressively accumulating
+#       options in "$@", and eventually passing that to Java.
+#
+#       Where the inherited environment variables (DEFAULT_JVM_OPTS, JAVA_OPTS,
+#       and GRADLE_OPTS) rely on word-splitting, this is performed explicitly;
+#       see the in-line comments for details.
+#
+#       There are tweaks for specific operating systems such as AIX, CygWin,
+#       Darwin, MinGW, and NonStop.
+#
+#   (3) This script is generated from the Groovy template
+#       https://github.com/gradle/gradle/blob/HEAD/platforms/jvm/plugins-application/src/main/resources/org/gradle/api/internal/plugins/unixStartScript.txt
+#       within the Gradle project.
+#
+#       You can find Gradle at https://github.com/gradle/gradle/.
+#
+##############################################################################
+
+# Attempt to set APP_HOME
+
+# Resolve links: $0 may be a link
+app_path=$0
+
+# Need this for daisy-chained symlinks.
+while
+    APP_HOME=${app_path%"${app_path##*/}"}  # leaves a trailing /; empty if no leading path
+    [ -h "$app_path" ]
+do
+    ls=$( ls -ld "$app_path" )
+    link=${ls#*' -> '}
+    case $link in             #(
+      /*)   app_path=$link ;; #(
+      *)    app_path=$APP_HOME$link ;;
+    esac
+done
+
+# This is normally unused
+# shellcheck disable=SC2034
+APP_BASE_NAME=${0##*/}
+# Discard cd standard output in case $CDPATH is set (https://github.com/gradle/gradle/issues/25036)
+APP_HOME=$( cd -P "${APP_HOME:-./}" > /dev/null && printf '%s
+' "$PWD" ) || exit
+
+# Use the maximum available, or set MAX_FD != -1 to use that value.
+MAX_FD=maximum
+
+warn () {
+    echo "$*"
+} >&2
+
+die () {
+    echo
+    echo "$*"
+    echo
+    exit 1
+} >&2
+
+# OS specific support (must be 'true' or 'false').
+cygwin=false
+msys=false
+darwin=false
+nonstop=false
+case "$( uname )" in                #(
+  CYGWIN* )         cygwin=true  ;; #(
+  Darwin* )         darwin=true  ;; #(
+  MSYS* | MINGW* )  msys=true    ;; #(
+  NONSTOP* )        nonstop=true ;;
+esac
+
+CLASSPATH=$APP_HOME/gradle/wrapper/gradle-wrapper.jar
+
+
+# Determine the Java command to use to start the JVM.
+if [ -n "$JAVA_HOME" ] ; then
+    if [ -x "$JAVA_HOME/jre/sh/java" ] ; then
+        # IBM's JDK on AIX uses strange locations for the executables
+        JAVACMD=$JAVA_HOME/jre/sh/java
+    else
+        JAVACMD=$JAVA_HOME/bin/java
+    fi
+    if [ ! -x "$JAVACMD" ] ; then
+        die "ERROR: JAVA_HOME is set to an invalid directory: $JAVA_HOME
+
+Please set the JAVA_HOME variable in your environment to match the
+location of your Java installation."
+    fi
+else
+    JAVACMD=java
+    if ! command -v java >/dev/null 2>&1
+    then
+        die "ERROR: JAVA_HOME is not set and no 'java' command could be found in your PATH.
+
+Please set the JAVA_HOME variable in your environment to match the
+location of your Java installation."
+    fi
+fi
+
+# Increase the maximum file descriptors if we can.
+if ! "$cygwin" && ! "$darwin" && ! "$nonstop" ; then
+    case $MAX_FD in #(
+      max*)
+        # In POSIX sh, ulimit -H is undefined. That's why the result is checked to see if it worked.
+        # shellcheck disable=SC2039,SC3045
+        MAX_FD=$( ulimit -H -n ) ||
+            warn "Could not query maximum file descriptor limit"
+    esac
+    case $MAX_FD in  #(
+      '' | soft) :;; #(
+      *)
+        # In POSIX sh, ulimit -n is undefined. That's why the result is checked to see if it worked.
+        # shellcheck disable=SC2039,SC3045
+        ulimit -n "$MAX_FD" ||
+            warn "Could not set maximum file descriptor limit to $MAX_FD"
+    esac
+fi
+
+# Collect all arguments for the java command, stacking in reverse order:
+#   * args from the command line
+#   * the main class name
+#   * -classpath
+#   * -D...appname settings
+#   * --module-path (only if needed)
+#   * DEFAULT_JVM_OPTS, JAVA_OPTS, and GRADLE_OPTS environment variables.
+
+# For Cygwin or MSYS, switch paths to Windows format before running java
+if "$cygwin" || "$msys" ; then
+    APP_HOME=$( cygpath --path --mixed "$APP_HOME" )
+    CLASSPATH=$( cygpath --path --mixed "$CLASSPATH" )
+
+    JAVACMD=$( cygpath --unix "$JAVACMD" )
+
+    # Now convert the arguments - kludge to limit ourselves to /bin/sh
+    for arg do
+        if
+            case $arg in                                #(
+              -*)   false ;;                            # don't mess with options #(
+              /?*)  t=${arg#/} t=/${t%%/*}              # looks like a POSIX filepath
+                    [ -e "$t" ] ;;                      #(
+              *)    false ;;
+            esac
+        then
+            arg=$( cygpath --path --ignore --mixed "$arg" )
+        fi
+        # Roll the args list around exactly as many times as the number of
+        # args, so each arg winds up back in the position where it started, but
+        # possibly modified.
+        #
+        # NB: a `for` loop captures its iteration list before it begins, so
+        # changing the positional parameters here affects neither the number of
+        # iterations, nor the values presented in `arg`.
+        shift                   # remove old arg
+        set -- "$@" "$arg"      # push replacement arg
+    done
+fi
+
+
+# Add default JVM options here. You can also use JAVA_OPTS and GRADLE_OPTS to pass JVM options to this script.
+DEFAULT_JVM_OPTS='"-Xmx64m" "-Xms64m"'
+
+# Collect all arguments for the java command:
+#   * DEFAULT_JVM_OPTS, JAVA_OPTS, JAVA_OPTS, and optsEnvironmentVar are not allowed to contain shell fragments,
+#     and any embedded shellness will be escaped.
+#   * For example: A user cannot expect ${Hostname} to be expanded, as it is an environment variable and will be
+#     treated as '${Hostname}' itself on the command line.
+
+set -- \
+        "-Dorg.gradle.appname=$APP_BASE_NAME" \
+        -classpath "$CLASSPATH" \
+        org.gradle.wrapper.GradleWrapperMain \
+        "$@"
+
+# Stop when "xargs" is not available.
+if ! command -v xargs >/dev/null 2>&1
+then
+    die "xargs is not available"
+fi
+
+# Use "xargs" to parse quoted args.
+#
+# With -n1 it outputs one arg per line, with the quotes and backslashes removed.
+#
+# In Bash we could simply go:
+#
+#   readarray ARGS < <( xargs -n1 <<<"$var" ) &&
+#   set -- "${ARGS[@]}" "$@"
+#
+# but POSIX shell has neither arrays nor command substitution, so instead we
+# post-process each arg (as a line of input to sed) to backslash-escape any
+# character that might be a shell metacharacter, then use eval to reverse
+# that process (while maintaining the separation between arguments), and wrap
+# the whole thing up as a single "set" statement.
+#
+# This will of course break if any of these variables contains a newline or
+# an unmatched quote.
+#
+
+eval "set -- $(
+        printf '%s\n' "$DEFAULT_JVM_OPTS $JAVA_OPTS $GRADLE_OPTS" |
+        xargs -n1 |
+        sed ' s~[^-[:alnum:]+,./:=@_]~\\&~g; ' |
+        tr '\n' ' '
+    )" '"$@"'
+
+exec "$JAVACMD" "$@"

dicegame/gradlew.bat

@@ -0,0 +1,94 @@
+@rem
+@rem Copyright 2015 the original author or authors.
+@rem
+@rem Licensed under the Apache License, Version 2.0 (the "License");
+@rem you may not use this file except in compliance with the License.
+@rem You may obtain a copy of the License at
+@rem
+@rem      https://www.apache.org/licenses/LICENSE-2.0
+@rem
+@rem Unless required by applicable law or agreed to in writing, software
+@rem distributed under the License is distributed on an "AS IS" BASIS,
+@rem WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+@rem See the License for the specific language governing permissions and
+@rem limitations under the License.
+@rem
+@rem SPDX-License-Identifier: Apache-2.0
+@rem
+
+@if "%DEBUG%"=="" @echo off
+@rem ##########################################################################
+@rem
+@rem  Gradle startup script for Windows
+@rem
+@rem ##########################################################################
+
+@rem Set local scope for the variables with windows NT shell
+if "%OS%"=="Windows_NT" setlocal
+
+set DIRNAME=%~dp0
+if "%DIRNAME%"=="" set DIRNAME=.
+@rem This is normally unused
+set APP_BASE_NAME=%~n0
+set APP_HOME=%DIRNAME%
+
+@rem Resolve any "." and ".." in APP_HOME to make it shorter.
+for %%i in ("%APP_HOME%") do set APP_HOME=%%~fi
+
+@rem Add default JVM options here. You can also use JAVA_OPTS and GRADLE_OPTS to pass JVM options to this script.
+set DEFAULT_JVM_OPTS="-Xmx64m" "-Xms64m"
+
+@rem Find java.exe
+if defined JAVA_HOME goto findJavaFromJavaHome
+
+set JAVA_EXE=java.exe
+%JAVA_EXE% -version >NUL 2>&1
+if %ERRORLEVEL% equ 0 goto execute
+
+echo. 1>&2
+echo ERROR: JAVA_HOME is not set and no 'java' command could be found in your PATH. 1>&2
+echo. 1>&2
+echo Please set the JAVA_HOME variable in your environment to match the 1>&2
+echo location of your Java installation. 1>&2
+
+goto fail
+
+:findJavaFromJavaHome
+set JAVA_HOME=%JAVA_HOME:"=%
+set JAVA_EXE=%JAVA_HOME%/bin/java.exe
+
+if exist "%JAVA_EXE%" goto execute
+
+echo. 1>&2
+echo ERROR: JAVA_HOME is set to an invalid directory: %JAVA_HOME% 1>&2
+echo. 1>&2
+echo Please set the JAVA_HOME variable in your environment to match the 1>&2
+echo location of your Java installation. 1>&2
+
+goto fail
+
+:execute
+@rem Setup the command line
+
+set CLASSPATH=%APP_HOME%\gradle\wrapper\gradle-wrapper.jar
+
+
+@rem Execute Gradle
+"%JAVA_EXE%" %DEFAULT_JVM_OPTS% %JAVA_OPTS% %GRADLE_OPTS% "-Dorg.gradle.appname=%APP_BASE_NAME%" -classpath "%CLASSPATH%" org.gradle.wrapper.GradleWrapperMain %*
+
+:end
+@rem End local scope for the variables with windows NT shell
+if %ERRORLEVEL% equ 0 goto mainEnd
+
+:fail
+rem Set variable GRADLE_EXIT_CONSOLE if you need the _script_ return code instead of
+rem the _cmd.exe /c_ return code!
+set EXIT_CODE=%ERRORLEVEL%
+if %EXIT_CODE% equ 0 set EXIT_CODE=1
+if not ""=="%GRADLE_EXIT_CONSOLE%" exit %EXIT_CODE%
+exit /b %EXIT_CODE%
+
+:mainEnd
+if "%OS%"=="Windows_NT" endlocal
+
+:omega

dicegame/pom.xml

@@ -0,0 +1,37 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<project xmlns="http://maven.apache.org/POM/4.0.0"
+         xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
+         xsi:schemaLocation="http://maven.apache.org/POM/4.0.0 http://maven.apache.org/xsd/maven-4.0.0.xsd">
+    <modelVersion>4.0.0</modelVersion>
+
+    <groupId>de.uni-marburg.software-quality</groupId>
+    <artifactId>dicegame</artifactId>
+    <version>1.0-SNAPSHOT</version>
+
+    <properties>
+        <maven.compiler.source>21</maven.compiler.source>
+        <maven.compiler.target>21</maven.compiler.target>
+        <project.build.sourceEncoding>UTF-8</project.build.sourceEncoding>
+    </properties>
+    <dependencies>
+        <dependency>
+            <groupId>org.junit.jupiter</groupId>
+            <artifactId>junit-jupiter</artifactId>
+            <version>5.11.3</version>
+            <scope>test</scope>
+        </dependency>
+        <dependency>
+            <groupId>org.mockito</groupId>
+            <artifactId>mockito-core</artifactId>
+            <version>5.11.0</version>
+            <scope>test</scope>
+        </dependency>
+<!--        <dependency>-->
+<!--            <groupId>org.hamcrest</groupId>-->
+<!--            <artifactId>hamcrest</artifactId>-->
+<!--            <version>2.2</version>-->
+<!--            <scope>test</scope>-->
+<!--        </dependency>-->
+    </dependencies>
+
+</project>

dicegame/settings.gradle.kts

@@ -0,0 +1,14 @@
+/*
+ * This file was generated by the Gradle 'init' task.
+ *
+ * The settings file is used to specify which projects to include in your build.
+ * For more detailed information on multi-project builds, please refer to https://docs.gradle.org/8.10.2/userguide/multi_project_builds.html in the Gradle documentation.
+ */
+
+plugins {
+    // Apply the foojay-resolver plugin to allow automatic download of JDKs
+    id("org.gradle.toolchains.foojay-resolver-convention") version "0.8.0"
+}
+
+rootProject.name = "dicegame"
+include("src")

dicegame/src/build.gradle.kts

@@ -0,0 +1,70 @@
+/*
+ * This file was generated by the Gradle 'init' task.
+ *
+ * This generated file contains a sample Java application project to get you started.
+ * For more details on building Java & JVM projects, please refer to https://docs.gradle.org/8.10.2/userguide/building_java_projects.html in the Gradle documentation.
+ */
+
+// As this is primarily a Maven project, our Java source files are not located inside the `/app/...` folder,
+// thus we reconfigure their location here.
+sourceSets {
+    main {
+        java {
+            srcDirs("main/java")
+        }
+        resources {
+            srcDirs("main/java")
+        }
+    }
+    test {
+        java {
+            srcDirs("test/java")
+        }
+    }
+}
+
+plugins {
+    // Apply the application plugin to add support for building a CLI application in Java.
+    application
+}
+
+repositories {
+    // Use Maven Central for resolving dependencies.
+    mavenCentral()
+}
+
+val mockitoAgent = configurations.create("mockitoAgent")
+
+dependencies {
+    // Use JUnit Jupiter for testing.
+    testImplementation(libs.junit.jupiter)
+    // Use Mockito for mocking.
+    // https://javadoc.io/doc/org.mockito/mockito-core/latest/org/mockito/Mockito.html#mockito-instrumentation
+    testImplementation(libs.mockito)
+    mockitoAgent(libs.mockito) { isTransitive = false }
+
+
+    testRuntimeOnly("org.junit.platform:junit-platform-launcher")
+}
+
+// Apply a specific Java toolchain to ease working on different environments.
+java {
+    toolchain {
+        languageVersion = JavaLanguageVersion.of(21)
+    }
+}
+
+application {
+    // Define the main class for the application.
+    mainClass = "dicegame.view.GUI"
+}
+
+tasks {
+    test {
+        // Use JUnit Platform for unit tests.
+        useJUnitPlatform()
+        // Mockito JDK21+ config
+        // https://javadoc.io/doc/org.mockito/mockito-core/latest/org/mockito/Mockito.html#mockito-instrumentation
+        jvmArgs("-javaagent:${mockitoAgent.asPath}")
+    }
+}

dicegame/src/test/java/dicegame/logic/ChangeDiceStateTest.java

@@ -0,0 +1,142 @@
+package dicegame.logic;
+
+import org.junit.jupiter.params.ParameterizedTest;
+import org.junit.jupiter.params.provider.CsvSource;
+
+import java.util.Random;
+
+import static org.junit.jupiter.api.Assertions.*;
+import static org.mockito.Mockito.mock;
+import static org.mockito.Mockito.when;
+
+public class ChangeDiceStateTest {
+    /**
+     * All dices are set to the given value.
+     */
+    Logic getLogicWithAllDiceAt(int value) {
+        // https://javadoc.io/doc/org.mockito/mockito-core/latest/org/mockito/Mockito.html#verification
+        Random r = mock(Random.class);
+        // Logic will add 1 to this value, thus we subtract 1.
+        when(r.nextInt(6)).thenReturn(value - 1);
+
+        Logic l = new Logic(r);
+        l.startGame();
+        assertNull(l.rollDice());
+        return l;
+    }
+
+    // K1 a
+    @ParameterizedTest
+    @CsvSource({
+            "-1",
+            "-2"
+    })
+    void negativeIndex(int index) {
+        Logic logic = getLogicWithAllDiceAt(3);
+        assertThrows(ArrayIndexOutOfBoundsException.class, () -> logic.changeDiceState(index));
+    }
+
+    // K1 b
+    @ParameterizedTest
+    @CsvSource({
+            "0",
+            "1",
+            "2",
+            "3",
+            "4",
+            "5"
+    })
+    void validIndex(int index) throws SelectionException {
+        Logic logic = getLogicWithAllDiceAt(1);
+        logic.changeDiceState(index);
+    }
+
+    // K1 c
+    @ParameterizedTest
+    @CsvSource({
+            "6",
+            "7"
+    })
+    void indexGreaterThan5(int index) {
+        Logic logic = getLogicWithAllDiceAt(3);
+        assertThrows(ArrayIndexOutOfBoundsException.class, () -> logic.changeDiceState(index));
+    }
+
+
+    // K2 a+b
+    @ParameterizedTest
+    @CsvSource({
+            "1",
+            "5"
+    })
+    void canFix(int value) throws SelectionException {
+        Logic logic = getLogicWithAllDiceAt(value);
+        logic.changeDiceState(0);
+    }
+    // K2 c
+    @ParameterizedTest
+    @CsvSource({
+            "0,2",
+            "1,2",
+            "2,2",
+            "3,3",
+            "4,3",
+            "5,3",
+            "0,4",
+            "1,4",
+            "2,4",
+            "3,6",
+            "4,6",
+            "5,6",
+    })
+    void cantFix(int index, int value) {
+        Logic logic = getLogicWithAllDiceAt(value);
+        assertThrows(SelectionException.class, () -> logic.changeDiceState(index));
+    }
+
+    // K3 a
+    @ParameterizedTest
+    @CsvSource({
+            "1",
+            "5"
+    })
+    void cantFixAgainAfterRoll(int value) throws SelectionException {
+        Logic logic = getLogicWithAllDiceAt(value);
+        logic.changeDiceState(0);
+
+        assertTrue(logic.isDieFixed(0));
+        logic.rollDice();
+        // This assertion fails due to the implementation not fulfilling the specification.
+        // If the client fixes a dice and then rolls the dice again, an exception should be thrown if they try to unfix the dice afterward.
+        assertThrows(SelectionException.class, () -> logic.changeDiceState(0));
+    }
+
+    // K3 b
+    @ParameterizedTest
+    @CsvSource({
+            "1",
+            "5"
+    })
+    void unfix(int value) throws SelectionException {
+        Logic logic = getLogicWithAllDiceAt(value);
+        logic.changeDiceState(0);
+
+        assertTrue(logic.isDieFixed(0));
+        logic.changeDiceState(0);
+        assertFalse(logic.isDieFixed(0));
+    }
+
+    // K3 c
+    @ParameterizedTest
+    @CsvSource({
+            "1",
+            "5"
+    })
+    void fix(int value) throws SelectionException {
+        Logic logic = getLogicWithAllDiceAt(value);
+
+        assertFalse(logic.isDieFixed(0));
+        logic.changeDiceState(0);
+        assertTrue(logic.isDieFixed(0));
+    }
+}

dicegame/src/test/java/dicegame/logic/LogicTest.java

@@ -0,0 +1,115 @@
+//package dicegame.logic;
+//
+//import org.junit.jupiter.api.AfterEach;
+//import org.junit.jupiter.api.Test;
+//import org.mockito.Mockito;
+//import org.mockito.stubbing.Answer;
+//
+//import java.util.Random;
+//import java.util.function.Predicate;
+//
+//import static org.junit.jupiter.api.Assertions.*;
+//
+//class LogicTest {
+//    Logic logic;
+//    Random random = new Random(1234L);
+//
+//    /**
+//     * K1 Passed index:
+//     * - index: 0-5
+//     * - error: out of bounds
+//     *
+//     * K2 The number of the dice passed:
+//     * - value: 1 | 5
+//     * - error: !(1 | 5)
+//     *
+//     * K3 Existing fixation of the passed dice:
+//     * - fixable: true | false
+//     * - error: dice was fixed previously
+//     *
+//     * K4 Number of other dice of the same number fixed in the current roll:
+//     * - bonus triggered: (2 | 5) of the same number fixed
+//     * - no bonus triggered: (1 | 3 | 4) of the same number fixed
+//     * - first fix of the game: 0 of the same number fixed
+//     *
+//     * K5 Number of fixed dice of the same number in previous rolls:
+//     * - bonus triggered: (2 | 5) of the same number fixed
+//     * - no bonus triggered: (1 | 3 | 4) of the same number fixed
+//     * - first fix of the game: 0 of the same number fixed
+//     */
+//
+//    @AfterEach
+//    void tearDown() {
+//        logic = null;
+//    }
+//
+//    // K2 (c)
+//    // Valid index: 0-5
+//    // The value for this index is not 1 or 5
+//    @Test
+//    void changeDiceStateWithValidDiceNot1Or5() {
+//        startGameAndRollDice(invocation -> randomNumberNot0or4());
+//
+//        Exception e = assertThrows(SelectionException.class, () -> logic.changeDiceState(0));
+//        String expectedMessage = "Es können nur 1'en und 5'en fixiert werden!";
+//        String actualMessage = e.getMessage();
+//        assertEquals(expectedMessage, actualMessage);
+//    }
+//
+//    // K3 (a)
+//    // Valid index: 0-5
+//    // Value: 0 | 5
+//    // Index refers to dice which has been fixed in previous round
+//    @Test
+//    void changeDiceStateWhenFixedInPrevRoll() {
+//        startGameAndRollDice(invocation -> randomNumber0or4());
+//        assertDoesNotThrow(() -> logic.changeDiceState(0));
+//        logic.rollDice();
+//        assertThrows(Exception.class, () -> logic.changeDiceState(0));
+//    }
+//
+//    // K3 (b)
+//    // Valid index: 0-5
+//    // Value: 0 | 5
+//    // Index refers to dice which has been fixed in current round
+//    @Test
+//    void changeDiceStateWhenFixedInThisRoll() {
+//        startGameAndRollDice(invocation -> randomNumber0or4());
+//        assertDoesNotThrow(() -> logic.changeDiceState(0));
+//        assertDoesNotThrow(() -> logic.changeDiceState(0));
+//    }
+//
+//    // K3 (c)
+//    // Valid index: 0-5
+//    // Value: 0 | 5
+//    // Index refers to dice which is not fixed
+//    @Test
+//    void changeDiceStateWhenNotFixed() {
+//        startGameAndRollDice(invocation -> randomNumber0or4());
+//        assertDoesNotThrow(() -> logic.changeDiceState(0));
+//    }
+//
+//    private void startGameAndRollDice(Answer<Integer> answer) {
+//        Random mockedRandom = Mockito.mock(Random.class);
+//        Mockito.when(mockedRandom.nextInt(6)).thenAnswer(answer);
+//        logic = new Logic(mockedRandom);
+//        logic.startGame();
+//        logic.rollDice();
+//    }
+//
+//    private int randomNumber0or4() {
+//        return randomNumberExcept(n -> n != 0 && n != 4);
+//    }
+//
+//    private int randomNumberNot0or4() {
+//        return randomNumberExcept(n -> n == 0 || n == 4);
+//    }
+//
+//    private int randomNumberExcept(Predicate<Integer> condition) {
+//        int randomNumber;
+//        do {
+//            randomNumber = random.nextInt(6); // 0 to 5
+//        } while (condition.test(randomNumber)); // Repeat until condition is satisfied
+//        return randomNumber;
+//    }
+//}