1)적용가능성(Applicability)(유한 시험집합) 2)소모적이지 않은 적절성(전체를 완벽히 하지 않아도, 충분한 시험셋이 존재) 3)단조성(부분집합도 적합성을 가짐) 4)공집합의 부적합성(공집합은 어떤 시험에도 충분하지 않음) 5)일반적복수변화성(구조상 유사 PGM있을경우 하나에는 충분해도 다른하나 충분한것은 아님) 6)비확장성(의미상 " 상동 " ) 7)비분해성(주종관계 PGM에 주PMG의 데이터셋이 하위PGM에 반드시 적합하지는 않음) 8)비결합성(독립된 두 PGM경우, PGM 결합시 데이터셋은 반드시 적합하지는 않음) 9)재명명성(이름변경전 테스트셋, 이름변경후 테스트셋은 적합함) 10)복잡성(N개 필요데이터 필요 PMG은, N-1개의 데이터셋으로는 적합지 않음) 11)문장커버(모든문장을 시험할수 있어야함)