메뉴 건너뛰기
.. 내서재 .. 알림
소속 기관/학교 인증
인증하면 논문, 학술자료 등을  무료로 열람할 수 있어요.
한국대학교, 누리자동차, 시립도서관 등 나의 기관을 확인해보세요
(국내 대학 90% 이상 구독 중)
로그인 회원가입 고객센터 ENG
주제분류

추천
검색
질문

논문 기본 정보

자료유형
학술저널
저자정보
저널정보
Korean Institute of Information Scientists and Engineers (구)정보과학회논문지 정보과학회논문지 제10권 제4호
발행연도
1983.11
수록면
218 - 224 (7page)

이용수

표지
📌
연구주제
📖
연구배경
🔬
연구방법
🏆
연구결과
AI에게 요청하기
추천
검색
질문

초록· 키워드

오류제보하기
본 논문은 syntax-free하고 실행 가능한 파스칼 프로그램을 입력 데이터로 하여 처리하고 필요한 정보를 출력시켜주는 다이나믹 테스팅의 기법을 연구하였다. 프로그램의 reference edge에 flow-controlling monitor를 넣고 instrumented source program을 만들어주는 방법과 함께 파스칼 프로그램의 자동테스팅을 위한 시스템 PASDAN을 개발하였다.

목차

요약

ABSTRACT

1. INTRODUCTION

2. PROGRAM INSTRUMENTATION

3. PLACEMENT OF FLOW-CONTROLLING MONITORS

4. PASDAN SYSTEM

5. EXECUTION OF PASDAN AND RESULTS

Acknowledgement

REFERENCES

Appendix

참고문헌 (0)

참고문헌 신청

함께 읽어보면 좋을 논문

논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!

이 논문의 저자 정보

최근 본 자료

전체보기

댓글(0)

0

UCI(KEPA) : I410-ECN-0101-2009-569-017761123