Testing Embedded Systems in the Automotive Industry with TTCN-3

More documents

Recommendations

Info

TTCN-3 embeddedSettable Error Verdict Necessarywww.temea.org Double check the timing of test system behavior// test system to slowwait(timepoint);p.send(MSG_1);if(now >= timepoint + tol) setverdict(error);// SUT to slowwait(timepoint);p.send(MSG_1);if(now >= timepoint + tol) setverdict(fail);// SUT or test system to slowwait(timepoint);p.send(MSG_1);if(now >= timepoint + tol) setverdict(inconclusive);16
Use Case: Test of an IndicatorTesting Temporal Propertieswww.temea.org Maximum activation time 60 ms, phase length 600 ms Synchronization between signals: distance < 5 ms17
Page 1 and 2: Invest for the FutureThe contributi
Page 3 and 4: Motivationwww.temea.orgTesting soft
Page 5 and 6: Real Time Test System Requirementsw
Page 7: Formalization of the Test Systemwww
Page 10 and 11: Worst Case Influence of Time Consum
Page 12 and 13: Time: Concepts & Representationwww.
Page 14 and 15: TTCN-3 embeddedVerification of Temp
Page 18 and 19: Use Case: Test of an IndicatorTesti
Page 20 and 21: Summary and Outlookwww.temea.orgRT

Testing Embedded Systems in the Automotive Industry with TTCN-3

You also want an ePaper? Increase the reach of your titles

Delete template?

Save as template?