{'fraction_non_alphanumeric': 0.012744265080713678, 'fraction_numerical': 0.0, 'mean_word_length': 5.135416666666667, 'pattern_counts': {'":': 0, '<': 0, '<?xml version=': 0, '>': 0, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
Test Stub Generation from Interaction and Behavioural Models

Testing strategies for interactive systems require that we find suitable ways of incorporating tests of functionality with tests of interfaces and interactivity. For safety-critical interactive systems the problem is harder due to the necessity to ensure higher thresholds for testing to ensure safety is preserved. Conversely however, for safety-critical systems we are more likely to have a larger set of artefacts such as formal models, specifications etc. which can be used as the basis for test generation. The challenge is in finding ways of making use of (what may be a diverse set of) such models and specifications to assist with the testing process. In this paper we describe how we incorporate interactive system models with behavioural specifications to automatically generate test stubs. We show how the declarative test language Gherkin and its associated Cucumber tool can be integrated into an interactive system modelling environment to achieve this. The tool can either convert interaction models into behavioural models or vice versa, and both sets of models are then used to generate test stubs.