1 / 7

WP3 Modelling and Testing Theory

WP3 Modelling and Testing Theory. Overview, Modelling Languages Bernhard Aichernig, TU Graz. WP3 Modelling & Testing Theories - Objectives. Foundations for WP4 & WP5 Modelling languages syntax & semantics Fault models anticipated faults to be injected into models

roden
Download Presentation

WP3 Modelling and Testing Theory

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. WP3Modelling and Testing Theory Overview, Modelling Languages Bernhard Aichernig, TU Graz

  2. WP3 Modelling & Testing Theories - Objectives • Foundations for WP4 & WP5 • Modelling languages • syntax & semantics • Fault models • anticipated faults to be injected into models • for test case analysis & generation • Testing theory • conformance relation linking models & SUT • forms basis for TCG algorithms • Test coverage criteria • structural & fault-based coverage

  3. WP3 Modelling & Testing Th. – Progress I Modelling Languages Large variety of requirements: UML: class diagrams, state-charts, OCL domain-specific: railways (Prover, Thales) Simulink (FFA, Relab) Front-end models: UML-OCL, Simulink, Prover Back-end models: Action Systems, Timed Automata, C/C++ Floating-point extension to CBMC UML-Statechart to Timed Automata transformation Abstraction of Hybrid Systems via Qualitative Reasoning [SEKE2008, QR2008]

  4. WP3 Modelling & Testing Th. – Progress II Fault Models (D3.1a) Deliverable 3.1a Describes faults and mutations relevant in Mogentes Contract mutation (Spec#) for generating test cases from mutated contracts [MBT2009b] Vacuity detection in properties for identifying relevant mutations [PWK2009] Testing Theory Conformance relations ioco for qualitative reasoning models [MBT2009a] ioco as a Sat Modulo Theory problem [UTP2008] Test Coverage: compositionality + faults

  5. WP3 Modelling & Testing Th. – Progress III [MBT2009a] Aichernig, B., Brandl, H.: Conformance Testing of Hybrid Systems with Qualitative Reasoning Models. In: MBT 2009, the Fifth Workshop on Model Based Testing. [UTP2008] Aichernig, B., Weiglhofer M.: Unifying Input Output Conformance. In: UTP 2008, the 2nd International Conference on Unifying Theories of Programming in Dublin, Ireland, informal proceedings. [QR2008] Brandl, H., Fraser, G., Wotawa, F.: A report on QR-based testing. In: 22nd International Workshop on Qualitative Reasoning. (2008) 1–9 [SEKE2008] Brandl, H., Fraser, G., Wotawa, F.: Coverage-based testing using qualitative reasoning models. In: Proceedings of the Twentieth International Conference on Software Engineering & Knowledge Engineering (SEKE’2008), Knowledge Systems Institute Graduate School (2008) 393–398. [MBT20009b] Krenn, W., Aichernig, B.: Test Case Generation By Contract Mutation. In Spec#. In: MBT 2009, the Fifth Workshop on Model Based Testing [PWK2009] Purandare, M. , Wahl, T. , Kroening, D.: Strengthening Properties using Abstraction Refinement. In Proceedings of Design, Automation, and Test in Europe (DATE), 2009

  6. WP3 Modelling & Testing Theories - Deviations None D3.1a (M 12) completed Milestones M6: Initial modelling languages (M 12)reached M7: Selection of fault models (M 12) reached

  7. WP3 Modelling & Testing Theories - Planning D3.1: fault models D3.2: modelling languages D3.3: ontology-based model verification D3.4: testing theories and coverage criteria

More Related