TestFramework: corrected some warnings and added “format” attribute