선택한 단어 수는 입니다.
최소 단어 이상 선택하여야 합니다.
최소 단어 이상 선택하여야 합니다.
선택한 단어 수는 30입니다.
최대 10 단어까지만 선택 가능합니다.
최대 10 단어까지만 선택 가능합니다.
최신의 컴파일러는 프로그램의 실행 속도를 높이기 위해서 최적화 작업을 수행한다. 최적화 작업 중에 프로그램의 구문의 설행 순서가 바뀔 수 있다. 단얼 스레드 소프트웨어에서는 구문의 재배치가 결과에 영향을 주지 않지만 멀티 스레드 소프트웨어에 서는 구문의 재배치로 인해서 예상하지 못한 결과 값이 나올 수 있다. 이런 점은 멀티 스레드 소프트웨어의 오류를 찾기 힘들게 한다. 자바 메모리 모텔에서는 구문의 재배치를 고려하여 멀티 스레드 소프트웨어의 가능한 실행과정을 정형 명세 하였다. 하지만 현재 나와 있는 대부분의 멀티 스레드 소프트웨어 검증 도구는 메모리모텔에 대해서 고려를 하고 있지 못하다. 본 논문에서는 자바 메모리 모텔을 이용하여 소프트웨어의 제약 사항 위반 검사 가법을 설명한다. 이를 이용하여 기존 소프트웨어 검 증 도구인 JavaPathFinder 에서 오류가 없다고 한 소프트웨어의 오류를 찾아내었다.
※ AI-Helper는 부적절한 답변을 할 수 있습니다.