nm, jc , (rrosaec.snu.ac.kr/meet/file/20100826f.pdf · 2018. 4. 12. · 2009 • a control flow...
TRANSCRIPT
![Page 1: NM, jC , (Rrosaec.snu.ac.kr/meet/file/20100826f.pdf · 2018. 4. 12. · 2009 • A Control Flow Analysis for 2-staged Programming Languages. • ROSAEC-2009-00 5](https://reader034.vdocument.in/reader034/viewer/2022051908/5ffbeb8987c99001bb3f92c5/html5/thumbnails/1.jpg)
�� NM, jC" �,�(R Concolic Testing lY��
�U� 9c� �` i1� �^, /#� n
'\?=M-`"�>^]NB `�H#@������������ ����������
������� ����� ��
![Page 2: NM, jC , (Rrosaec.snu.ac.kr/meet/file/20100826f.pdf · 2018. 4. 12. · 2009 • A Control Flow Analysis for 2-staged Programming Languages. • ROSAEC-2009-00 5](https://reader034.vdocument.in/reader034/viewer/2022051908/5ffbeb8987c99001bb3f92c5/html5/thumbnails/2.jpg)
�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�?
������� ����� ��
![Page 3: NM, jC , (Rrosaec.snu.ac.kr/meet/file/20100826f.pdf · 2018. 4. 12. · 2009 • A Control Flow Analysis for 2-staged Programming Languages. • ROSAEC-2009-00 5](https://reader034.vdocument.in/reader034/viewer/2022051908/5ffbeb8987c99001bb3f92c5/html5/thumbnails/3.jpg)
2009�
• Test Coverage
• �F� 3aR b� H�" �,�(b ��X m| �,�( ��b <
• �#� H� sR @C"�0 m| �,�(b ��. M'� L E h`�?
������� ����� ��
![Page 4: NM, jC , (Rrosaec.snu.ac.kr/meet/file/20100826f.pdf · 2018. 4. 12. · 2009 • A Control Flow Analysis for 2-staged Programming Languages. • ROSAEC-2009-00 5](https://reader034.vdocument.in/reader034/viewer/2022051908/5ffbeb8987c99001bb3f92c5/html5/thumbnails/4.jpg)
2009�
• A Control Flow Analysis for 2-staged Programming Languages.
• ROSAEC-2009-005
������� ����� ��
![Page 5: NM, jC , (Rrosaec.snu.ac.kr/meet/file/20100826f.pdf · 2018. 4. 12. · 2009 • A Control Flow Analysis for 2-staged Programming Languages. • ROSAEC-2009-00 5](https://reader034.vdocument.in/reader034/viewer/2022051908/5ffbeb8987c99001bb3f92c5/html5/thumbnails/5.jpg)
2009�• Test Coverage
Metric for Two-Staged Language with Abstract Interpretation
• 2009 16th Asia-Pacific Software Engineering Conference
������� ����� ��
![Page 6: NM, jC , (Rrosaec.snu.ac.kr/meet/file/20100826f.pdf · 2018. 4. 12. · 2009 • A Control Flow Analysis for 2-staged Programming Languages. • ROSAEC-2009-00 5](https://reader034.vdocument.in/reader034/viewer/2022051908/5ffbeb8987c99001bb3f92c5/html5/thumbnails/6.jpg)
2010�
• Concolic Testing
• ��b g+ �R ��A �,�(` E�� � �� H�(symbolic execution)` cY� ;� p�` ���, c. �Y�S �F� �cF. @C�� �8
������� ����� ��
![Page 7: NM, jC , (Rrosaec.snu.ac.kr/meet/file/20100826f.pdf · 2018. 4. 12. · 2009 • A Control Flow Analysis for 2-staged Programming Languages. • ROSAEC-2009-00 5](https://reader034.vdocument.in/reader034/viewer/2022051908/5ffbeb8987c99001bb3f92c5/html5/thumbnails/7.jpg)
b4
���������� �����Q�+,��CBG�
%-3�WK_*��P�A7�8Y��EQ(J�
������ ����� ��
![Page 8: NM, jC , (Rrosaec.snu.ac.kr/meet/file/20100826f.pdf · 2018. 4. 12. · 2009 • A Control Flow Analysis for 2-staged Programming Languages. • ROSAEC-2009-00 5](https://reader034.vdocument.in/reader034/viewer/2022051908/5ffbeb8987c99001bb3f92c5/html5/thumbnails/8.jpg)
b4, �GT2�:?�R��Q���O3�/��
^3%1Q�?dc=
������������
S0*�Z�Q�DF+6���
R��Q��3�/��?dQ�a+6�P�<&4�?d_��.(J�
������ ����� ��
![Page 9: NM, jC , (Rrosaec.snu.ac.kr/meet/file/20100826f.pdf · 2018. 4. 12. · 2009 • A Control Flow Analysis for 2-staged Programming Languages. • ROSAEC-2009-00 5](https://reader034.vdocument.in/reader034/viewer/2022051908/5ffbeb8987c99001bb3f92c5/html5/thumbnails/9.jpg)
W>
• �� NMRA� �#� l^, @� E h�.
• t, ;� TG l^, @� E h� %4R
• g+ �b V�^, { 6y H� %X �- ;�� @� E� hv K`�?
�������� ����� ��
![Page 10: NM, jC , (Rrosaec.snu.ac.kr/meet/file/20100826f.pdf · 2018. 4. 12. · 2009 • A Control Flow Analysis for 2-staged Programming Languages. • ROSAEC-2009-00 5](https://reader034.vdocument.in/reader034/viewer/2022051908/5ffbeb8987c99001bb3f92c5/html5/thumbnails/10.jpg)
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` �
�������� ����� ��
![Page 11: NM, jC , (Rrosaec.snu.ac.kr/meet/file/20100826f.pdf · 2018. 4. 12. · 2009 • A Control Flow Analysis for 2-staged Programming Languages. • ROSAEC-2009-00 5](https://reader034.vdocument.in/reader034/viewer/2022051908/5ffbeb8987c99001bb3f92c5/html5/thumbnails/11.jpg)
NM
�������� ����� ��
![Page 12: NM, jC , (Rrosaec.snu.ac.kr/meet/file/20100826f.pdf · 2018. 4. 12. · 2009 • A Control Flow Analysis for 2-staged Programming Languages. • ROSAEC-2009-00 5](https://reader034.vdocument.in/reader034/viewer/2022051908/5ffbeb8987c99001bb3f92c5/html5/thumbnails/12.jpg)
�~
�������� ����� ��
![Page 13: NM, jC , (Rrosaec.snu.ac.kr/meet/file/20100826f.pdf · 2018. 4. 12. · 2009 • A Control Flow Analysis for 2-staged Programming Languages. • ROSAEC-2009-00 5](https://reader034.vdocument.in/reader034/viewer/2022051908/5ffbeb8987c99001bb3f92c5/html5/thumbnails/13.jpg)
�~
�������� ����� ��
![Page 14: NM, jC , (Rrosaec.snu.ac.kr/meet/file/20100826f.pdf · 2018. 4. 12. · 2009 • A Control Flow Analysis for 2-staged Programming Languages. • ROSAEC-2009-00 5](https://reader034.vdocument.in/reader034/viewer/2022051908/5ffbeb8987c99001bb3f92c5/html5/thumbnails/14.jpg)
�~
�������� ����� ��
![Page 15: NM, jC , (Rrosaec.snu.ac.kr/meet/file/20100826f.pdf · 2018. 4. 12. · 2009 • A Control Flow Analysis for 2-staged Programming Languages. • ROSAEC-2009-00 5](https://reader034.vdocument.in/reader034/viewer/2022051908/5ffbeb8987c99001bb3f92c5/html5/thumbnails/15.jpg)
�~
입력 변수 a = 0 이라는 조건으로 프로그램을 수행하면
값은 7,7이라는 값은 3 * a + 7을 계산한 결과,수행 조건은 2a - 3 < 0, a + 4 > 0
������� ����� ��
![Page 16: NM, jC , (Rrosaec.snu.ac.kr/meet/file/20100826f.pdf · 2018. 4. 12. · 2009 • A Control Flow Analysis for 2-staged Programming Languages. • ROSAEC-2009-00 5](https://reader034.vdocument.in/reader034/viewer/2022051908/5ffbeb8987c99001bb3f92c5/html5/thumbnails/16.jpg)
u1
������� ����� ��
![Page 17: NM, jC , (Rrosaec.snu.ac.kr/meet/file/20100826f.pdf · 2018. 4. 12. · 2009 • A Control Flow Analysis for 2-staged Programming Languages. • ROSAEC-2009-00 5](https://reader034.vdocument.in/reader034/viewer/2022051908/5ffbeb8987c99001bb3f92c5/html5/thumbnails/17.jpg)
u1
��
http://krdic.naver.com/detail.nhn?docid=4869600&re=y
귀납 〔귀∶납〕
[명사]<논리>개별적인 특수한 사실이나 원리로부터 일반적이고 보편적인 명제 및 법칙을 유도해 내는 일. 추리 및 사고 방식의 하나로, 개연적인 확실성만을 가진다. 비슷한 말 : 귀납적 삼단 논법ㆍ귀납 추리.
�������� ����� ��
![Page 18: NM, jC , (Rrosaec.snu.ac.kr/meet/file/20100826f.pdf · 2018. 4. 12. · 2009 • A Control Flow Analysis for 2-staged Programming Languages. • ROSAEC-2009-00 5](https://reader034.vdocument.in/reader034/viewer/2022051908/5ffbeb8987c99001bb3f92c5/html5/thumbnails/18.jpg)
4o� !� :;
�������� ����� ��
![Page 19: NM, jC , (Rrosaec.snu.ac.kr/meet/file/20100826f.pdf · 2018. 4. 12. · 2009 • A Control Flow Analysis for 2-staged Programming Languages. • ROSAEC-2009-00 5](https://reader034.vdocument.in/reader034/viewer/2022051908/5ffbeb8987c99001bb3f92c5/html5/thumbnails/19.jpg)
4o� !� :;
�������� ����� ��
![Page 20: NM, jC , (Rrosaec.snu.ac.kr/meet/file/20100826f.pdf · 2018. 4. 12. · 2009 • A Control Flow Analysis for 2-staged Programming Languages. • ROSAEC-2009-00 5](https://reader034.vdocument.in/reader034/viewer/2022051908/5ffbeb8987c99001bb3f92c5/html5/thumbnails/20.jpg)
4o� !� :;, �G
�������� ����� ��
![Page 21: NM, jC , (Rrosaec.snu.ac.kr/meet/file/20100826f.pdf · 2018. 4. 12. · 2009 • A Control Flow Analysis for 2-staged Programming Languages. • ROSAEC-2009-00 5](https://reader034.vdocument.in/reader034/viewer/2022051908/5ffbeb8987c99001bb3f92c5/html5/thumbnails/21.jpg)
�~, �G
�������� ����� ��
![Page 22: NM, jC , (Rrosaec.snu.ac.kr/meet/file/20100826f.pdf · 2018. 4. 12. · 2009 • A Control Flow Analysis for 2-staged Programming Languages. • ROSAEC-2009-00 5](https://reader034.vdocument.in/reader034/viewer/2022051908/5ffbeb8987c99001bb3f92c5/html5/thumbnails/22.jpg)
4ob c
L5��XRa�$[S^3%1R�?d�!XQXef�9Ia+��;Vb�?�U)J�
�������� ����� ��
![Page 23: NM, jC , (Rrosaec.snu.ac.kr/meet/file/20100826f.pdf · 2018. 4. 12. · 2009 • A Control Flow Analysis for 2-staged Programming Languages. • ROSAEC-2009-00 5](https://reader034.vdocument.in/reader034/viewer/2022051908/5ffbeb8987c99001bb3f92c5/html5/thumbnails/23.jpg)
?,[ 4o
�������� ����� ��
![Page 24: NM, jC , (Rrosaec.snu.ac.kr/meet/file/20100826f.pdf · 2018. 4. 12. · 2009 • A Control Flow Analysis for 2-staged Programming Languages. • ROSAEC-2009-00 5](https://reader034.vdocument.in/reader034/viewer/2022051908/5ffbeb8987c99001bb3f92c5/html5/thumbnails/24.jpg)
��
�������� ����� ��
![Page 25: NM, jC , (Rrosaec.snu.ac.kr/meet/file/20100826f.pdf · 2018. 4. 12. · 2009 • A Control Flow Analysis for 2-staged Programming Languages. • ROSAEC-2009-00 5](https://reader034.vdocument.in/reader034/viewer/2022051908/5ffbeb8987c99001bb3f92c5/html5/thumbnails/25.jpg)
��
�������� ����� ��
![Page 26: NM, jC , (Rrosaec.snu.ac.kr/meet/file/20100826f.pdf · 2018. 4. 12. · 2009 • A Control Flow Analysis for 2-staged Programming Languages. • ROSAEC-2009-00 5](https://reader034.vdocument.in/reader034/viewer/2022051908/5ffbeb8987c99001bb3f92c5/html5/thumbnails/26.jpg)
�
�������� ����� ��
![Page 27: NM, jC , (Rrosaec.snu.ac.kr/meet/file/20100826f.pdf · 2018. 4. 12. · 2009 • A Control Flow Analysis for 2-staged Programming Languages. • ROSAEC-2009-00 5](https://reader034.vdocument.in/reader034/viewer/2022051908/5ffbeb8987c99001bb3f92c5/html5/thumbnails/27.jpg)
Z�
������� ����� ��
![Page 28: NM, jC , (Rrosaec.snu.ac.kr/meet/file/20100826f.pdf · 2018. 4. 12. · 2009 • A Control Flow Analysis for 2-staged Programming Languages. • ROSAEC-2009-00 5](https://reader034.vdocument.in/reader034/viewer/2022051908/5ffbeb8987c99001bb3f92c5/html5/thumbnails/28.jpg)
Technical Memo
�������� ����� ��
![Page 29: NM, jC , (Rrosaec.snu.ac.kr/meet/file/20100826f.pdf · 2018. 4. 12. · 2009 • A Control Flow Analysis for 2-staged Programming Languages. • ROSAEC-2009-00 5](https://reader034.vdocument.in/reader034/viewer/2022051908/5ffbeb8987c99001bb3f92c5/html5/thumbnails/29.jpg)
"Trivial" is synonymous with
"proved"
�������� ����� ��