루비 - BDD.

Ruby-BDD는 Ruby의 BDD 바인딩입니다.
지금 다운로드

루비 - BDD. 순위 및 요약

광고

  • Rating:
  • 특허:
  • GPL
  • 가격:
  • FREE
  • 게시자 이름:
  • Alexandre David
  • 게시자 웹사이트:
  • http://www.cs.aau.dk/~adavid/tiga/

루비 - BDD. 태그


루비 - BDD. 설명

Ruby-BDD는 Ruby의 BDD 바인딩입니다. Ruby-BDD는 Ruby.bdds (또는보다 정확하게 Robdds)에 대한 BDD 바인딩입니다. 부울 포뮬라를 나타내는 효율적인 데이터 구조입니다. 그들은 공식 검증, 특히 상징적 인 모델 검사에서 널리 사용됩니다. 상징적 인 모델 검사의 아이디어는 공식으로서의 전이 관계의 집합을 나타내는 것입니다 (그리고 도달 가능성 분석을 위해 모든 도달 가능 상태 집합의 수정 지점을 계산하십시오) .Buddy는 모두 C로 작성된 BDD 라이브러리입니다. C 및 C ++. 그것은 간단한 인터페이스로 개발자 친화적입니다. 그것은 모든 표준 BDD 작업, 가변 순서, 인쇄, 자동화 된 가비지 수집을 지원하며 UNIX 및 Windows Platforms.Ruby에서 컴파일 할 수 있으며, 스크립팅 언어가 있음에도 불구하고 강력하고 깨끗한 객체 지향적 인 언어입니다. 사용. 특히 신속한 프로토 타이핑 및 교육 목적으로 잘 적합합니다. Ruby-BDD는 BDD 클래스를 Ruby에서 BDD를 만들고 조작하기 위해 BDD 클래스를 제공하는 BDD를 기반으로 Ruby의 바인딩입니다. ·이 릴리스는 비트 벡터 및 유한 도메인에 대한 지원을 추가합니다. · 대부분의 친구 라이브러리가 이제 사용할 수 있습니다. 루비 스타일 API를 통해.


루비 - BDD. 관련 소프트웨어

회사 소개