환원
Reductio
| 개발자 | 토니 모리스 |
|---|---|
| 안정된 릴리스 | 2.2 |
| 기입처 | 자바 |
| 운영 체제 | JVM |
| 유형 | 소프트웨어 테스트 |
| 면허증. | BSD 스타일의 |
| 웹 사이트 | [1] |
Reductio는 QuickCheck: Haskell [1]프로그램의 랜덤 테스트를 위한 경량 도구라는 연구논문에서 착안하여 Java Programming Language를 사용하여 작성된 오픈 소스 소프트웨어입니다.Reductio 및 QuickCheck는 Automated Specification-Based Testing이라는 테스트 기술을 사용합니다.
Reductio의 주요 목표는 테스트를 최대한 엄격하게 하는 동시에 많은 일반적인 테스트 태스크를 자동화함으로써 개발자의 노력을 줄이는 것입니다.Reductio에는 기존의 Java 1.5 및 Java 7 BGGA 구문과 Scala 프로그래밍 언어 [2]예를 사용하여 이 목표가 어떻게 충족되었는지 보여주는 사용 예가 포함되어 있습니다.
예
다음으로 Java 7 BGGA 구문을 사용하여 100개의 유닛테스트를 실행하는 예를 나타냅니다.java.util.LinkedList리스트가 다음과 같이 되어 있습니다.x)가 다른 목록에 추가됩니다( ).y） 、 。size()(의 결과 리스트)xy)의 합계와 같습니다.size()두 개의 원래 목록 중 하나입니다.
소유물 p = 소유물(arbLinked List(arbLinkedList)(Arbinteger), arbLinked List(arbLinkedList)(Arbinteger), { 링크 리스트< >정수> x, 링크 리스트< >정수> y => 받침대(추가하다(x, y).크기() == x.크기() + y.크기()) }); 
