University Crest - link to university homepage

AutoAbstract: Automated Abstraction of Code into a State-Based Specification for Test Generation

EPSRC logo - link to webpage
Investigators

Principal Investigator:

Dr. Kirill Bogdanov

 

Co-Investigator:

Prof. Mike Holcombe

 

Research Assistants:

Dr. Ken Johnson


Dr. Neil Walkinshaw

 

Please contact us with any questions.




Introduction

This is an EPSRC-funded project that is based at the Department of Computer Science at the University of Sheffield. It runs from October 2005 to 2008. For further information please contact one of the investigators.

Project

Software engineers often specify a system with high level models (e.g. box and arrow diagrams). Whilst such diagrams form a useful basis for system comprehension and communicating the design to other developers, they do not contain enough detail to form a basis for rigorous validation and verification. This project aims to devise a methodology that, given an abstract specification as described above, gathers enough knowledge from the developer to complete the specification and to represent it at a level of abstraction to which the developer is accustomed. Once this is achieved it can be first subjected to a complete inspection and can then ultimately be used for the generation of a complete functional test set.

News:

  • We are in the process of making the grammar inference software openly available. A more usable version should be available shortly - StateChum website

Reports / Publications

N. Walkinshaw, K.Bogdanov, K. Johnson
Evaluation and Comparison of Inferred Regular Grammars
9th International Colloquium on Grammar Inference (ICGI'08)
St. Malo, France, September 2008 (to appear)

N. Walkinshaw, K.Bogdanov
Inferring Finite-State Models with Temporal Constraints
23rd IEEE/ACM International Conference on Automated Software Engineering (ASE'08)
L'Aquila, Italy, September 2008

N. Walkinshaw, K. Bogdanov, M. Holcombe, S. Salahuddin
Improving Dynamic Software Analysis by Applying Grammar Inference Principles
to appear in the Journal of Software Maintenance and Evolution, 2008

N. Walkinshaw, S. Ali, K. Bogdanov, M. Holcombe
Automated Discovery of State Transitions and their Functions in Source Code
Software Testing, Verification and Reliability (to appear 18(2), 2008)

N. Walkinshaw, K. Bogdanov
Applying Grammar Inference Principles to Dynamic Analysis
International Workshop on Program Comprehension and Dynamic Analysis (PCODA'07), Vancouver, October 2007

S. Ali, K. Bogdanov, N. Walkinshaw
A Comparative Study of Methods for Dynamic Reverse-Engineering of State Models
Technical Report CS-07-16, Department of Computer Science, The University of Sheffield, 2007

N. Walkinshaw, K. Bogdanov, M. Holcombe, S. Salahuddin
Reverse Engineering State Machines by Interactive Grammar Inference
14th IEEE Working Conference on Reverse Engineering (WCRE'07),
Vancouver, October 2007

N. Walkinshaw, K. Bogdanov, M. Holcombe
Identifying State Transitions and their Functions in Source Code
1st IEEE Testing Academia & Industrial Conference (TAIC PART),
London, August 2006

S. Ali, K. Bogdanov, M. Holcombe
AutoAbstract: Problem Statement and Hypothetical Solutions
1st IEEE Testing Academia & Industrial Conference (TAIC PART),
London, August 2006


Links

Verification and Testing Group

Department of Computer Science

ASTRENET

X-Machines.net

Project Wiki (departmental)

Soot Framework (McGill University)

Java Pathfinder (NASA)