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.