AutoAbstract: Automated Abstraction of Code into a State-Based Specification for Test Generation
|
AutoAbstract: Automated Abstraction of Code into a State-Based Specification for Test Generation |
|
| Investigators
Principal Investigator:
Co-Investigator:
Research Assistants:
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:
Reports / Publications N. Walkinshaw, K.Bogdanov, K. JohnsonEvaluation 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 |