X-Git-Url: http://git.euphorik.ch/?a=blobdiff_plain;f=labo2-fsharp%2FCryptoFile%2FTests.fs;fp=labo2-fsharp%2FCryptoFile%2FTests.fs;h=0000000000000000000000000000000000000000;hb=61a8b3492e89e883b23c158eb52ba2b070234df8;hp=e1f933b1f2db6e651420b08fb73d42b2918c016c;hpb=19a9446e4042d5e451f1ae0534ffba242d33879e;p=crypto_lab2.git diff --git a/labo2-fsharp/CryptoFile/Tests.fs b/labo2-fsharp/CryptoFile/Tests.fs deleted file mode 100644 index e1f933b..0000000 --- a/labo2-fsharp/CryptoFile/Tests.fs +++ /dev/null @@ -1,31 +0,0 @@ -namespace CryptoFile - -module Tests = - open System.Text - open System.Security.Cryptography - open Crypto - - let testRSA () = - let kpub, kpriv = generateRSAKeysPair - let plaintext = "Hello, World!" - printfn "plaintext: %A" plaintext - let cipherdata = encryptRSA kpub (Encoding.UTF8.GetBytes plaintext) - printfn "cipherdata: (size: %A) %A" cipherdata.Length cipherdata - let decryptedData = decryptRSA kpriv cipherdata - let decryptedText = Encoding.UTF8.GetString decryptedData - printfn "decryptedtext: %A" decryptedText - assert (plaintext = decryptedText) - printfn "testRSA OK" - - let testRSASignature () = - let kpub, kpriv = generateRSAKeysPair - let plaintext = "Hello, World!" - let sha256 = new SHA256Managed () - let signature = signRSA kpriv (sha256.ComputeHash (Encoding.UTF8.GetBytes plaintext)) - assert verifySignRSA kpub (sha256.ComputeHash (Encoding.UTF8.GetBytes plaintext)) signature - assert not (verifySignRSA kpub (sha256.ComputeHash (Encoding.UTF8.GetBytes "Hello!")) signature) - printfn "testRSASignature OK" - - let runAllTests () = - testRSA () - testRSASignature () \ No newline at end of file