제어 흐름 열거 형을 사용한 Java 파서

Question

정수 변수에 대한 메서드 및 계산 범위 제약 조건을 통해 제어 흐름 경로를 열거 할 수있는 오픈 소스 Java 구문 분석 도구가 있습니까? 이 질문에 트리거

This is the answer -

--edit (A 토 해결사뿐만 아니라 좋은 것입니다).

이것은 the commercial version of the tool입니다.

제 질문은 - 가장 가까운 오픈 소스 무엇입니까?

Answer 1

귀하의 요구 사항에 근접한 내용은 Java Symbolic PathFinder입니다. 사이트에서 :

기호 PathFinder의

• 자바의 상징적 인 실행이
가 (에 진행 작업) 복잡한 수학 제약, 데이터 구조 및 배열, 멀티 스레딩, 전제 조건, 문자열을 처리 바이트 코드 수행
• 적용 가능한 모델 및 코드
• 사용자 지정 범위 (예 : 경로, 명령문, 분기, MC/DC 적용 범위)를 보장하는 테스트 벡터 및 테스트 시퀀스 생성
• 측정 범위. 그것은 다른 커버리지 기준 쉽게 부호화 가능으로
• 는
• 는가요 오류 JUnit 테스트 생성 프로세스 중 테스트 안타레스 시뮬레이션 스크립트 등 (출력 쉽게 사용자 정의 가능)
• 수표를 생성
• (에 지속적인 작업) 두 번째 질문에 관해서는

을 시뮬레이션 환경과 통합되어,이 네이티브 자바 SAT 해결사입니다 : sat4j