Testing and automation
This presentation is the property of its rightful owner.
Sponsored Links
1 / 4

Testing and Automation PowerPoint PPT Presentation


  • 61 Views
  • Uploaded on
  • Presentation posted in: General

Testing and Automation. John A Clark Senior Lecturer in Critical Systems University of York. Some Collaborative Work. CONVERSE : EPSRC/MoD funded work York, RR, DERA involving automated test data generation. 1RA, 1RS for 3 years. 12+ papers, various book chapters.

Download Presentation

Testing and Automation

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.While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server.


- - - - - - - - - - - - - - - - - - - - - - - - - - E N D - - - - - - - - - - - - - - - - - - - - - - - - - -

Presentation Transcript


Testing and automation

Testing and Automation

John A Clark

Senior Lecturer in Critical Systems

University of York


Some collaborative work

Some Collaborative Work

  • CONVERSE: EPSRC/MoD funded work York, RR, DERA involving automated test data generation. 1RA, 1RS for 3 years. 12+ papers, various book chapters.

    • Optimisation based approaches – Nigel Tracey (now Realogy)

  • Automatic Test Case Generation from Graphical Notations (using Z as an intermediate form). Work by Simon Burton funded by RR. Links in with…

    • Practical Formal Specifications (MOD-funded)

  • Certain aspects of tools support likely to be commercialised or otherwise exploited before long.


Some collaborative work1

Some Collaborative Work

  • Recent DERA funded work at York involving CLAWZ and concurrency – Diyaa Attin

  • Variety of pieces of work involving tool support for Statecharts (York, BASys – Toyn, via DCSC).

  • FORTEST: Formal Methods and Testing – an EPSRC supported network (York - DERA). To meet soon.

    • All papers now on web-site (general V&V, metrics)


Future

Future

  • Some elements of research directions still to be resolved. But…

    • Attempts to further state based testing work - grant proposal under way (with Rob Hierons)

    • Work with DERA, aiming to further exploit the results so far (particularly CONVERSE). Possibly…

      • Specification synthesis and falsifying aggressively derived specifications.

      • Maths libraries testing.

  • Some further recent links with IBM on Object Orientation and testing.

  • We will do testing work with FPGAs.


  • Login