analysis annotations and unit test