JCrasher: 자바를 위한 자동 강건성 테스트 도구

초록 JCrasher는 자바 코드에 대한 자동 강건성 테스트 도구입니다. JCrasher는 일련의 자바 클래스의 타입 정보를 검사하고 다양한 타입의 인스턴스를 생성하여 무작위 데이터 하에서 공개 메서드의 동작을 테스트할 코드 조각을 구성합니다. JCrasher는 테스트 중인 프로그램이 '충돌'하도록 하여 버그를 감지하려고 시도하며, 이는 선언되지 않은 런타임 예외를 발생시키는 것을 의미합니다. 일반적으로 무작위 테스트 접근 방식은 많은 한계가 있지만, 테스트 사례를 오프라인으로 점검하는 것을 제외하고는 완전히 자동화된 장점이 있습니다. 다른 유사한 상업적 및 연구 도구들에 비해 JCrasher는 몇 가지 혁신을 제공합니다: 메서드를 전이적으로 분석하고, 각 테스트된 메서드의 매개변수 공간의 크기를 결정하며, 테스트를 위한 시간 할당을 고려하여 무작위로 매개변수 조합 및 따라서 테스트 사례를 선택합니다; 자바 예외가 프로그램 버그로 간주되어야 하는지 또는 JCrasher가 제공한 입력이 코드의 사전 조건을 위반하였는지를 결정하기 위한 휴리스틱을 정의합니다; 이전 테스트에서 도입된 모든 상태 변화를 효율적으로 되돌리는 지원을 포함합니다; 인기 있는 자바 테스트 도구인 JUnit을 위한 테스트 파일을 생성합니다; 그리고 Eclipse IDE에 통합될 수 있습니다. 저작권 © 2004 John Wiley & Sons, Ltd.