Dr Kirill Bogdanov
PhD
School of Computer Science
Lecturer
Undergraduate Progression Tutor (Y3&4)
+44 114 222 1847
Full contact details
School of Computer Science
Regent Court (DCS)
211 Portobello
Sheffield
S1 4DP
- Profile
-
Dr Kirill Bogdanov finished his PhD in Computer Science, in the area of specification-based software testing, in April 2000. The work focused on bringing the achievements of the X-machine testing method, for testing software against its specification in Statecharts.
Before becoming a lecturer, Dr Bogdanov worked as a research associate from Oct '99 until Aug 2000 in the Department of Computer Science, The University of Sheffield, on the EPSRC-funded MOTIVE project, testing object-oriented systems using an X-machine method.
- Research interests
-
In traditional software development, specification and testing do not play an important role. In particular, changes to software code do not normally get reflected in a specification. At the same time, specification-based testing methods are very important for maintaing software quality, for identification of missing or incorrectly-implemented behaviour.
K.Bogdanov`s research aims to develop a method and a tool to take an incomplete state-based specification, hints for developers as to how it relates to code and both:
- extract an up-to-date specification
- generate tests from it.
A number of existing specification based testing methods rely on a program under test being built with testing in mind, and lose a lot in power if this is not true. In his work, observation of program behaviour under test is used to make up for the missing information about a system, making it more amenable to testing using these methods.
More recent work focuses on passive inference of software models from logs, where it is not possible to attempt experiments on a system being reverse-engineered.
The experimental framework is being maintained as a free Statechum project.
- Publications
-
There has been a problem showing this information. Please try again later.
- Research group
-
Foundations of Computation research group
Testing research group
- Grants
-
Research Grants
- Reverse Engineering State Machine Hierarchies by Grammar Inference (REGI), EPSRC, 04/2009 to 09/2012, £315,209, as PI
- StaMInA: A Novel Competition to Drive the Comparative Evaluation of State Machine Inference Approaches, EPSRC, 07/2009 to 06/2012, £19,772, as PI
- Automated abstraction of code into a state-based specification and test generation, EPSRC, 10/2005 to 12/2008, £206,347, as PI
- Professional activities and memberships
-
IEEE Member