diff --git a/.settings/org.eclipse.core.resources.prefs b/.settings/org.eclipse.core.resources.prefs index 379a0e3..98f9dee 100644 --- a/.settings/org.eclipse.core.resources.prefs +++ b/.settings/org.eclipse.core.resources.prefs @@ -1,2 +1,3 @@ eclipse.preferences.version=1 +encoding//document/memo.txt=UTF-8 encoding//src/org/ntlab/radishforandroidstudio/framework/network/HttpAsyncConnection.java=UTF-8 diff --git a/document/memo.txt b/document/memo.txt index 78e1e06..24a57f4 100644 --- a/document/memo.txt +++ b/document/memo.txt @@ -1,4 +1,7 @@ 11/20 -��ʂ�J�������H -����̓u���b�N�{�b�N�X�e�X�g�݂̂�z�肵�Ă��邪�A�\����͓��𗘗p���āA -�z���C�g�{�b�N�X�e�X�g���s����΂����Ȃ��E�E�E \ No newline at end of file +一通り開発完了? +現状はブラックボックステスト[1]のみを想定しているが、構文解析等を利用して、 +ホワイトボックステスト[1]も行えればいいなぁ・・・ + +[1]Uri Klein and Kedar S. Namjoshi, Formalization and Automated Verification of RESTful Behavior, + LNCS 6806, pp. 541–556, (2011), 2.3 3. Safety and idempotence. \ No newline at end of file