Helsinki University of Technology, 
     Laboratory for Theoretical Computer Science

Conformance Testing and Bounded Model Checking (COT-BOMOCH)

An industrially funded research project.
Jan 1, 2002 - May 31, 2002

Project leader: Prof. Ilkka Niemelä

Research Personnel: Project Manager, D.Sc.(Tech.) Keijo Heljanko, Stud. Tech. Tuomo Pyhälä

Summary: In conformance testing of concurrent systems the aim is to ensure that all observed behaviors of the implementation are also behaviors of the specification. In the research project the implementation is seen as a black box. In the project implementation techniques for improving the efficiency of conformance testing are researched. One of the main problems is test selection for maximizing test coverage.