 |
| VeriFlux는 Java 코드를 분석하기 위한 툴입니다. |
- 응용프로그램의 디버깅 시간을 단축시켜줌으로써 전체 개발시간을 단축시켜줍니다.
- 초기 개발 단계에서 쉽게 에러를 발견하여 개발 비용을 줄여줍니다.
|
|
|
| + VeriFlux의 특징 |
- Static
VeriFlux는 Java 소프트웨어를 직접 실행되지 않고 오류를 확인할 수 있습니다.
VeriFlux를 사용하여 가능한 모든 런타임 오류의 식별이 가능하게 됩니다.
VeriFlux를 통하여 검증된 응용프로그램은 실행이 될 때 절대로 NULL 포인트 예외가 발생하지 않습니다.
|
- Push-Button
VeriFlux는 완전히 자동화된 툴로써 기본적인 사용자의 응용프로그램 경로들 만을 입력해주면 됩니다.
|
- Easy to Use
소스코드의 분석시 코드의 수정이 필요하지 않습니다.
사용자는 튜닝 및 분석에 필요한 코드만 있으면 되고 추가적인 지식이 필요하지 않습니다.
VeriFlux의 인터페이스 및 모듈화된 것은 개발자가 개발 초기 단계에서도 쉽게 코드들을 분석할 수 있게 해줍니다.
에러들은 다른 색상들로 표시가 되어 다른 종류의 에러들을 잘 볼 수 있도록 도와 줍니다.
|
 |
HOME
