summaryrefslogtreecommitdiffstats
path: root/mqtt-tester/src
AgeCommit message (Collapse)Author
2023-01-19Reimpl check as PacketInvariant: ConnectPacketProtocolNameMatthias Beyer
Signed-off-by: Matthias Beyer <mail@beyermatthias.de>
2023-01-19Add log output during behaviour test executionMatthias Beyer
Signed-off-by: Matthias Beyer <mail@beyermatthias.de>
2023-01-19Fix: Execute behaviour test and client future concurrentlyMatthias Beyer
Signed-off-by: Matthias Beyer <mail@beyermatthias.de>
2023-01-19Fix: Execute behaviour tests properlyMatthias Beyer
Somehow we messed up the execution of the behaviour tests when implementing it. This patch changes the execution to match the previous implementation of the `check_*` async functions. Signed-off-by: Matthias Beyer <mail@beyermatthias.de>
2023-01-19Fix: Do not tell client to quitMatthias Beyer
The WaitForConnect BehaviourTest should not tell the client to quit, because that's not necessary for the test to succeed. Signed-off-by: Matthias Beyer <mail@beyermatthias.de>
2023-01-19Add four dashes to seperate commandsMatthias Beyer
Signed-off-by: Matthias Beyer <mail@beyermatthias.de>
2023-01-19Merge #145 #146bors[bot]
145: Fix error message: We test the client here r=TheNeikos a=matthiasbeyer This is extracted from #133 for making that PR smaller. 146: Tester logging r=TheNeikos a=matthiasbeyer This is extracted from #133 for making that PR smaller. Adds logging output via tracing in the tester implementation. Co-authored-by: Matthias Beyer <mail@beyermatthias.de>
2023-01-18Add log output when building CLI callMatthias Beyer
Signed-off-by: Matthias Beyer <mail@beyermatthias.de>
2023-01-18Add logging via tracingMatthias Beyer
Signed-off-by: Matthias Beyer <mail@beyermatthias.de>
2023-01-18Remove unused fnMatthias Beyer
Signed-off-by: Matthias Beyer <mail@beyermatthias.de>
2023-01-18Remove unused fnMatthias Beyer
Signed-off-by: Matthias Beyer <mail@beyermatthias.de>
2023-01-18Reimpl test as BehaviourTest: FirstPacketFromClientIsConnectMatthias Beyer
Signed-off-by: Matthias Beyer <mail@beyermatthias.de>
2023-01-18Reimpl test as BehaviourTest: PublishQos2IsAckedMatthias Beyer
Signed-off-by: Matthias Beyer <mail@beyermatthias.de>
2023-01-18Reimpl test as BehaviourTest: PublishQosZeroWithIdentFailsMatthias Beyer
Signed-off-by: Matthias Beyer <mail@beyermatthias.de>
2023-01-18Reimpl test as BehaviourTest: ConnackFlagsAreSetAsReservedMatthias Beyer
Signed-off-by: Matthias Beyer <mail@beyermatthias.de>
2023-01-18Reimpl test as BehaviourTest: Utf8WithNullcharIsRejectedMatthias Beyer
Signed-off-by: Matthias Beyer <mail@beyermatthias.de>
2023-01-18Reimpl test as BehaviourTest: InvalidFirstPacketIsRejectedMatthias Beyer
Signed-off-by: Matthias Beyer <mail@beyermatthias.de>
2023-01-18Use test structs publicly in behaviour module to ease importsMatthias Beyer
Signed-off-by: Matthias Beyer <mail@beyermatthias.de>
2023-01-18Reimpl test as BehaviourTest: ReceivingServerPacketMatthias Beyer
Signed-off-by: Matthias Beyer <mail@beyermatthias.de>
2023-01-18Add missing meta information to behaviour testsMatthias Beyer
Signed-off-by: Matthias Beyer <mail@beyermatthias.de>
2023-01-18Use BehaviourTest interfaces to construct Report objectsMatthias Beyer
Signed-off-by: Matthias Beyer <mail@beyermatthias.de>
2023-01-18Let BehaviourTest provide more information about testsMatthias Beyer
This patch adds functions the BehaviourTest trait for providing more information about the individual test cases. These are then used to construct Report objects from the test runs. Signed-off-by: Matthias Beyer <mail@beyermatthias.de>
2023-01-18Reimplement check_invalid_utf8_is_rejected as BehaviourTestMatthias Beyer
Signed-off-by: Matthias Beyer <mail@beyermatthias.de>
2023-01-18Fix error message: We test the client hereMatthias Beyer
Signed-off-by: Matthias Beyer <mail@beyermatthias.de>
2023-01-12Move invariants to dedicated submoduleMatthias Beyer
Signed-off-by: Matthias Beyer <mail@beyermatthias.de>
2023-01-12Move behaviours to dedicated moduleMatthias Beyer
Signed-off-by: Matthias Beyer <mail@beyermatthias.de>
2023-01-12Rename: Flow -> BehaviourTestMatthias Beyer
The name "Flow" was not that nice, so we rename this to "BehaviourTest", because that's what it is: a test for the behaviour of a client. Signed-off-by: Matthias Beyer <mail@beyermatthias.de>
2023-01-11Replace CheckBytesFn with CheckBytes traitMatthias Beyer
Signed-off-by: Matthias Beyer <mail@beyermatthias.de>
2023-01-11Fix impl for testing invariants, returning Option<_>Matthias Beyer
Signed-off-by: Matthias Beyer <mail@beyermatthias.de>
2023-01-11Fix: NoUsernameMeansNoPassword impl PacketInvariant returns Option<_>Matthias Beyer
Signed-off-by: Matthias Beyer <mail@beyermatthias.de>
2023-01-11Let PacketInvariant::test_invariant return Option<_>Matthias Beyer
Signed-off-by: Matthias Beyer <mail@beyermatthias.de>
2023-01-11Fix WaitForConnectFlow for new Flow interfaceMatthias Beyer
Signed-off-by: Matthias Beyer <mail@beyermatthias.de>
2023-01-11Let Flow interface take input and output of Command seperatelyMatthias Beyer
Signed-off-by: Matthias Beyer <mail@beyermatthias.de>
2023-01-11Test invariants in Output type implementationMatthias Beyer
Signed-off-by: Matthias Beyer <mail@beyermatthias.de>
2023-01-11Impl execution of Flows with testing of invariantsMatthias Beyer
Signed-off-by: Matthias Beyer <mail@beyermatthias.de>
2023-01-11Add NoUsernameMeansNoPassword PacketInvariant implementationMatthias Beyer
Signed-off-by: Matthias Beyer <mail@beyermatthias.de>
2023-01-11Add PacketInvariant interfaceMatthias Beyer
Signed-off-by: Matthias Beyer <mail@beyermatthias.de>
2023-01-11Add WaitForConnectFlowMatthias Beyer
Signed-off-by: Matthias Beyer <mail@beyermatthias.de>
2023-01-11Add Flow interfaceMatthias Beyer
Signed-off-by: Matthias Beyer <mail@beyermatthias.de>
2023-01-09Assert that Output: SendMatthias Beyer
Signed-off-by: Matthias Beyer <mail@beyermatthias.de>
2023-01-09Make Output::wait_for private and return read bytesMatthias Beyer
Signed-off-by: Matthias Beyer <mail@beyermatthias.de>
2023-01-09Let Output type be a normal structMatthias Beyer
Signed-off-by: Matthias Beyer <mail@beyermatthias.de>
2023-01-05Simplify ClientExecutable::call() interfaceMatthias Beyer
Signed-off-by: Matthias Beyer <mail@beyermatthias.de>
2023-01-05Remove unused codeMatthias Beyer
Signed-off-by: Matthias Beyer <mail@beyermatthias.de>
2023-01-05Rewrite checks to use new interfaceMatthias Beyer
Signed-off-by: Matthias Beyer <mail@beyermatthias.de>
2023-01-05Return Child as well in Command::spawn() helper fnMatthias Beyer
Signed-off-by: Matthias Beyer <mail@beyermatthias.de>
2023-01-05Add high-level helpers for sending/waiting for packetMatthias Beyer
Signed-off-by: Matthias Beyer <mail@beyermatthias.de>
2023-01-05Split wait_for_output into helper typesMatthias Beyer
Signed-off-by: Matthias Beyer <mail@beyermatthias.de>
2023-01-05Add tests for commandsMatthias Beyer
Signed-off-by: Matthias Beyer <mail@beyermatthias.de>
2023-01-05Add more commands, parameterizableMatthias Beyer
Signed-off-by: Matthias Beyer <mail@beyermatthias.de>
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-04 08:02:25 +0000