최소 단어 이상 선택하여야 합니다.
최대 10 단어까지만 선택 가능합니다.
다음과 같은 기능을 한번의 로그인으로 사용 할 수 있습니다.
NTIS 바로가기국가/구분 | United States(US) Patent 등록 |
---|---|
국제특허분류(IPC7판) |
|
출원번호 | US-0035802 (1987-04-08) |
발명자 / 주소 |
|
출원인 / 주소 |
|
인용정보 | 피인용 횟수 : 130 인용 특허 : 2 |
A computer program is verified, unit by unit, by automatically instrumentating the code and generating a test driver program which executes all branches of an instrumented code unit. The code is instrumented by operating processors to standardize the code format and to insert executable tracer state
A method of verifying a computer source code having a series of program statements, including control statements which provide for branching to alternative statements of the code, said method comprising: instrumenting the source code to generate when the code is executed an indication for each block
※ AI-Helper는 부적절한 답변을 할 수 있습니다.