그래픽 도메인 관련 언어를 개발했습니다. 모델 기반 디자인에 이것을 사용하고 싶습니다. 도메인에 대한 추상적 인 정보가있는 여러 그래픽 구성 요소가 있으며 이러한 구성 요소는 내 알고리즘을 구현하는 데 사용됩니다. 누구나이 그래픽 구성 요소를 테스트하기위한 기존 단위 테스트의 대안이 있는지 말해 줄 수 있습니까? 이 블록을 단위 테스트하는 것은 상당히 간단
아무도 적극적으로 사용하고 있는지 궁금합니다. Rhapsody TestConductor? 아니면 한동안 시도해 보았지만 특별한 이유가있을 때까지 사용을 중지하기로 결정 했습니까? 그렇다면 귀하의 경험은 무엇입니까, 어떤 분야에서 그것을 적용합니까, 단점이 무엇입니까, 아니면 왜 거절 했습니까? 현재 우리는 TestComductor가 이미 Rhapsody에
현재 Microsoft Research에서 Spec Explorer 2010을 평가 중입니다. 테스트 케이스 생성 방법에 대해 조금 궁금해합니다. 나는 SE에서 생성 한 테스트 샘플 모델 (Accumulator)을 가지고 놀고있다. Accumulator.Add 메서드가 있습니다.이 메서드는 멤버 변수에 자연수> 0을 추가합니다. 모델은 지정 : 당신이 볼
스펙 익스플로러를 시험해보고 있습니다. 이제 테스트 스위트가 불완전하다는 버그가 있습니다. 오류가 발생하지 않거나 16 가지 테스트 케이스가있을 것으로 예상되며 11 가지 테스트 케이스 만 있습니다. 스펙 익스플로러 2010에있는 샘플 프로젝트에 문제가 있습니다. 샘플 프로젝트와 다른 것을 시도했기 때문에 범위를 확장하고 두 배로 확장하는 것과 같이 4 배
연습으로 2-3 손가락 트리를 구현하고 싶습니다. 그것은 FsCheck의 모델 기반 테스팅을 시험해 볼 수있는 완벽한 기회 여야합니다. 나는 더 새로운 것을 시도하기로 결정했다 experimental version. 지금까지 나는 테스트 머신에 대해 하나의 명령만을 코딩했습니다. 왜냐하면 나는 이미 그 작업을하는데 실패했기 때문입니다. 전체 코드는 GitH