public class StateMachineTest extends junit.framework.TestCase implements MachineObserver
StateMachine
Constructor and Description |
---|
StateMachineTest() |
Modifier and Type | Method and Description |
---|---|
int |
getSequenceNumber()
The sequence number generated by the
StateMachine to keep BMC
happy when re-sending a message. |
void |
notify(StateMachineAction action)
Notifies observer of action performed by the State Machine.
|
void |
testAuthCap()
Tests
Authcap |
void |
testAuthCapTimeout()
Tests
Authcap timeout. |
void |
testCloseSession()
Tests
CloseSession |
void |
testCwTimeout()
Tests
CiphersWaiting timeout. |
void |
testEncryption()
Tests
ConfidentialityAesCbc128 encryption algorithm. |
void |
testOpenSession()
Tests
OpenSessionAck . |
void |
testOpenSessionTimeout()
Tests
OpenSessionAck timeout. |
void |
testRakp1()
Tests
Rakp2Ack |
void |
testRakp1Timeout()
Tests
Rakp2Ack timeout. |
void |
testRakp3Timeout()
Tests
StartSession timeout |
void |
testSendInSessionMessage()
Tests
Sendv20Message |
void |
testSessionTimeout()
Tests session timeout
|
void |
testSessionUpkeep()
Tests session keeping session up by sending no-op messages.
|
void |
testSetUp()
Tests
StateMachine set up. |
void |
testSmCiphers()
Tests
Ciphers |
void |
testStartSession()
Tests
StartSession |
countTestCases, getName, run, run, runBare, setName, toString
assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertFalse, assertFalse, assertNotNull, assertNotNull, assertNotSame, assertNotSame, assertNull, assertNull, assertSame, assertSame, assertTrue, assertTrue, fail, fail, failNotEquals, failNotSame, failSame, format
public void testSetUp() throws java.lang.Exception
StateMachine
set up.java.lang.Exception
public void testCwTimeout() throws java.net.UnknownHostException
CiphersWaiting
timeout.java.net.UnknownHostException
public void testSmCiphers() throws java.net.UnknownHostException, java.security.NoSuchAlgorithmException
Ciphers
java.net.UnknownHostException
java.security.NoSuchAlgorithmException
public void testAuthCap() throws java.net.UnknownHostException, java.security.NoSuchAlgorithmException
Authcap
java.net.UnknownHostException
java.security.NoSuchAlgorithmException
public void testAuthCapTimeout() throws java.net.UnknownHostException, java.security.NoSuchAlgorithmException
Authcap
timeout.java.net.UnknownHostException
java.security.NoSuchAlgorithmException
public void testOpenSession() throws java.net.UnknownHostException, java.security.NoSuchAlgorithmException
OpenSessionAck
.java.net.UnknownHostException
java.security.NoSuchAlgorithmException
public void testOpenSessionTimeout() throws java.net.UnknownHostException, java.security.NoSuchAlgorithmException
OpenSessionAck
timeout.java.net.UnknownHostException
java.security.NoSuchAlgorithmException
public void testRakp1() throws java.net.UnknownHostException, java.security.NoSuchAlgorithmException
Rakp2Ack
java.net.UnknownHostException
java.security.NoSuchAlgorithmException
public void testRakp1Timeout() throws java.net.UnknownHostException, java.security.NoSuchAlgorithmException
Rakp2Ack
timeout.java.net.UnknownHostException
java.security.NoSuchAlgorithmException
public void testStartSession() throws java.net.UnknownHostException, java.security.NoSuchAlgorithmException
StartSession
java.net.UnknownHostException
java.security.NoSuchAlgorithmException
public void testRakp3Timeout() throws java.net.UnknownHostException, java.security.NoSuchAlgorithmException
StartSession
timeoutjava.net.UnknownHostException
java.security.NoSuchAlgorithmException
public void testSendInSessionMessage() throws java.net.UnknownHostException, java.security.NoSuchAlgorithmException
Sendv20Message
java.net.UnknownHostException
java.security.NoSuchAlgorithmException
public void testSessionUpkeep() throws java.net.UnknownHostException, java.security.NoSuchAlgorithmException
java.net.UnknownHostException
java.security.NoSuchAlgorithmException
public void testSessionTimeout() throws java.net.UnknownHostException, java.security.NoSuchAlgorithmException
java.net.UnknownHostException
java.security.NoSuchAlgorithmException
public void testCloseSession() throws java.net.UnknownHostException, java.security.NoSuchAlgorithmException
CloseSession
java.net.UnknownHostException
java.security.NoSuchAlgorithmException
public void testEncryption() throws java.net.UnknownHostException, java.security.NoSuchAlgorithmException
ConfidentialityAesCbc128
encryption algorithm.java.net.UnknownHostException
java.security.NoSuchAlgorithmException
public void notify(StateMachineAction action)
MachineObserver
notify
in interface MachineObserver
action
- - action performedpublic int getSequenceNumber()
StateMachine
to keep BMC
happy when re-sending a message. Differs from sequence number given with
the message to pair message and response. Sequence number is
auto-incremented. Should be used only for encoding messages.