�� NM, jC" �,�(R Concolic Testing lY��

�U� 9c� �` i1� �^, /#� n

'\?=M-`"�>^]NB `�H#@������������ ����������

������� ����� ��

�I=• �� NM (Multi-staged language)

• H� sR �#. /$M �� E��� �C

• D��]M ��RA �rR k L*w S) �8$` �� NM, jC" �,�(R lY�` % M& ec 7Mx�?

������� ����� ��

2009�

• Test Coverage

• �F� 3aR b� H�" �,�(b ��X m| �,�( ��b <

• �#� H� sR @C"�0 m| �,�(b ��. M'� L E h`�?

������� ����� ��

2009�

• A Control Flow Analysis for 2-staged Programming Languages.

• ROSAEC-2009-005

������� ����� ��

2009�• Test Coverage

Metric for Two-Staged Language with Abstract Interpretation

• 2009 16th Asia-Pacific Software Engineering Conference

������� ����� ��

2010�

• Concolic Testing

• ��b g+ �R ��A �,�(` E�� � �� H�(symbolic execution)` cY� ;� p�` ���, c. �Y�S �F� �cF. @C�� �8

������� ����� ��

b4

���������� �����Q�+,��CBG�

%-3�WK_*��P�A7�8Y��EQ(J�

������ ����� ��

b4, �GT2�:?�R��Q���O3�/��

^3%1Q�?dc=

������������

S0*�Z�Q�DF+6���

R��Q��3�/��?dQ�a+6�P�<&4�?d_��.(J�

������ ����� ��

W>

• �� NMRA� �#� l^, @� E h�.

• t, ;� TG l^, @� E h� %4R

• g+ �b V�^, { 6y H� %X �- ;�� @� E� hv K`�?

�������� ����� ��

W>, �G• Concolic Testingb �I_ Ho, E�� � . �Y�A p�` ���� �

• t, za E��` % l^, @C��� ;� TG � �*!Q` �c�,

• �_ p�` /q�� g+ �` fb, B���0 �_ ,. E�� E 5R P` �

�������� ����� ��

NM

�������� ����� ��

�~

�������� ����� ��

�~

�������� ����� ��

�~

�������� ����� ��

�~

입력 변수 a = 0 이라는 조건으로 프로그램을 수행하면

값은 7,7이라는 값은 3 * a + 7을 계산한 결과,수행 조건은 2a - 3 < 0, a + 4 > 0

������� ����� ��

u1

������� ����� ��

u1

��

http://krdic.naver.com/detail.nhn?docid=4869600&re=y

귀납 〔귀∶납〕

[명사]<논리>개별적인 특수한 사실이나 원리로부터 일반적이고 보편적인 명제 및 법칙을 유도해 내는 일. 추리 및 사고 방식의 하나로, 개연적인 확실성만을 가진다. 비슷한 말 : 귀납적 삼단 논법ㆍ귀납 추리.

�������� ����� ��

4o� !� :;

�������� ����� ��

4o� !� :;

�������� ����� ��

4o� !� :;, �G

�������� ����� ��

�~, �G

�������� ����� ��

4ob c

L5��XRa�$[S^3%1R�?d�!XQXef�9Ia+��;Vb�?�U)J�

�������� ����� ��

?,[ 4o

�������� ����� ��

��

�������� ����� ��

��

�������� ����� ��

�

�������� ����� ��

Z�

������� ����� ��

Technical Memo

�������� ����� ��

"Trivial" is synonymous with

"proved"

�������� ����� ��