CoDec - TTCN-3

More documents

Recommendations

Info

The Quiz ExampleA Question/Answer game in <strong>TTCN</strong>-3Quizpass !Question: 2+2 ?Answer: 434
Quiz <strong>TTCN</strong>-3 source (testcase)module Quiz{testcase Quizz_2_plus_2()runs on QuizComponentTester{timer t;qportTester.send (Addition (2, 2));t.start (20.0);alt {send a questionexpect an answer[] qportTester.receive (Result: 4) { setverdict (pass); }}}[] qportTester.receive { setverdict (fail); }[] t.timeout { setverdict (fail); }35
Page 1 and 2: How to implement TTCN-3codecs and a
Page 3 and 4: Scope of the TutorialTTCN-3 Abstrac
Page 5 and 6: Layout of a TTCN-3 ExecutableTest S
Page 7 and 8: Test Suite Development ProcessTest
Page 9 and 10: Tutorial Purpose• Provide good pr
Page 11 and 12: Summary1. The TTCN-3 standard inter
Page 13 and 14: triMap(...)triSend(...)Implementing
Page 15 and 16: CoDec Module FeaturesMessage to be
Page 19 and 20: 19T3DevKit Layout
Page 21 and 22: Waf Motivations• Why build the te
Page 25 and 26: HelloWorld TTCN-3 sourcemodule Hell
Page 27 and 28: Implementing the System Adapter (2/
Page 29 and 30: Building the Test SuiteHelloWorld w
Page 31 and 32: HelloWorld Summary• System Adapte
Page 33: The Quiz Example• Purpose:- imple
Page 37 and 38: Quiz TTCN-3 source (template)module
Page 39: Implementing Message Reception (1/2
Page 42 and 43: Reminder: TTCN-3 user-defined types
Page 44 and 45: Encoding/Decoding the record typeno
Page 46 and 47: Executionabaire@kakrafoon:~/git/t3d
Page 50 and 51: The DNS Example• Implement a DNS
Page 52 and 53: DNS messages in TTCN-3module DNS{ty
Page 54 and 55: DNS header in TTCN-3module DNS{type
Page 56 and 57: DNS question in TTCN-3module DNS{ty
Page 58 and 59: DNS resource record in TTCN-3module
Page 60 and 61: Implementing the DNS CoDec• Autom
Page 62 and 63: How does the generated CoDec looks
Page 64 and 65: Decoding DNSResourceDataDecoding co
Page 66 and 67: Decoding DNSResourceDatafunction ca
Page 68 and 69: Decoding the DNSHeaderDecoding code
Page 70 and 71: Encoding & Decoding the IP AddressM
Page 72 and 73: Decoder for the DNS Name• similar
Page 74 and 75: Implementing the DNS Encoder• spe
Page 76 and 77: Encoding the length ofDNSResourceDa
Page 78 and 79: Building the Test SuiteDNS Makefile
Page 80 and 81: Execution: : :abaire@kakrafoon:~/gi
Page 82: Questions ?Contacts: abaire@irisa.f

CoDec - TTCN-3

Create successful ePaper yourself

Delete template?

Save as template?