Scandium configuration and alphabet, now with -seedTransitions set

ci skip

Author: 00oskpet

args/scandium/learn_scandium_server_psk_ra

@@ -0,0 +1,42 @@
+state-fuzzer-server
+
+# SUT config
+-connect
+localhost:${sul.port}
+-startWait
+4000
+-responseWait
+500
+-protocol
+DTLS12
+-cmd
+java -jar ${fuzzer.dir}/suts/scandium-${scandium.version}-dtls-clientserver.jar -port ${sul.port} -trustLocation ${keystore}/ec_secp256r1.jks -trustPassword password -trustAlias dtls-fuzzer -keyLocation ${keystore}/ec_secp256r1.jks -keyPassword password -keyAlias dtls-fuzzer -timeout 20000000 -cipherSuites TLS_PSK_WITH_AES_128_CCM_8,TLS_ECDHE_ECDSA_WITH_AES_128_CBC_SHA256 -starterAddress localhost:${fuzzer.port}
+-sulConfig
+experiments/configs/scandium.config
+-adapterPort
+${fuzzer.port}
+-processTrigger
+START
+
+
+
+# learning config
+-alphabet
+${alphabets.servers}/scandium_psk_ra.xml
+-learningAlgorithm
+RaStar
+-equivalenceAlgorithms
+IO_RANDOM_WALK
+-seedTransitions
+-logQueries
+-maxDepthRA
+15
+-probNewDataValue
+0.5
+-seed
+7
+-output
+output/scandium-${scandium.version}_server_psk_ra
+-ceReruns
+3
+-skipNonDetTests

examples/alphabets/servers/scandium_psk_ra.xml

@@ -0,0 +1,34 @@
+<!-- DTLS alphabet comprising the messages necessary to perform PSK and ECDHE handshakes
+using CCM_8 ciphersuites. -->
+<alphabet>
+    <ClientHelloInput suite="TLS_PSK_WITH_AES_128_CCM_8" name="PSK_CLIENT_HELLO" extendedWait="300"/>
+    <ClientKeyExchangeInput name="PSK_CLIENT_KEY_EXCHANGE" algorithm="PSK"/>
+    <ChangeCipherSpecInput/>
+    <FinishedInput name="FINISHED" extendedWait="300"/>
+    <GenericTlsInput name="APPLICATION">
+        <Application>
+            <data>
+                <byteArrayExplicitValueModification>
+                        <!--HEX(This is a hello message!)-->
+                        <explicitValue>0x5468697320697320612068656c6c6f206d65737361676521</explicitValue>
+                </byteArrayExplicitValueModification>
+            </data>
+        </Application>
+    </GenericTlsInput>
+    <!--AlertInput name="Alert(WARNING,CLOSE_NOTIFY)" level="WARNING" description="CLOSE_NOTIFY"/>
+    <AlertInput name="Alert(FATAL,UNEXPECTED_MESSAGE)" level="FATAL" description="UNEXPECTED_MESSAGE"/-->
+    <!-- Output symbols -->
+    <!-- Messages -->
+    <RAOutputSymbol name="HELLO_VERIFY_REQUEST"/>
+    <RAOutputSymbol name="SERVER_HELLO|SERVER_HELLO_DONE"/>
+    <RAOutputSymbol name="APPLICATION"/>
+    <RAOutputSymbol name="CHANGE_CIPHER_SPEC|FINISHED"/>
+    <RAOutputSymbol name="CHANGE_CIPHER_SPEC|FINISHED|APPLICATION"/>
+    <!-- Alerts -->
+    <RAOutputSymbol name="Alert(WARNING,CLOSE_NOTIFY)"/>
+    <RAOutputSymbol name="Alert(WARNING,NO_RENEGOTIATION)"/>
+    <RAOutputSymbol name="Alert(FATAL,INTERNAL_ERROR)"/>
+    <RAOutputSymbol name="Alert(FATAL,HANDSHAKE_FAILURE)"/>
+    <!--Special symbols -->
+    <RAOutputSymbol name="TIMEOUT"/>
+</alphabet>