Modelling Foundations and Applications by Unknown

Author:Unknown
Language: eng
Format: epub
ISBN: 9783319929972
Publisher: Springer International Publishing

3.5 Generating the Test Harness State Machine

We transform the generated test inputs from the previous step into a state machine. We then inject this state machine as a composite state inside the test suite running state in the TH (cf. Fig. 2). As a result, the TH and the CUT communicate in a ping-pong fashion, CUT requests for the next test input and TH sends the next input until the end of the current test case and finally the test suit. Figure 4 shows parts of the test suite in the TH. A new test case starts once TH receives nextTest. Each state has a state entry action code, which is responsible for sending signals to the CUT (as well as collecting the sequences of sent signals for reporting purposes).

Fig. 4.Parts of the TH representing two test cases.

Download

Copyright Disclaimer:
This site does not store any files on its server. We only index and link to content provided by other sites. Please contact the content providers to delete copyright contents if any and email us, we'll remove relevant links or contents immediately.