他のテスト技法、方法論、形式的手法に比べてXPで新しいことはなんでしょう？