스펙 탐색기

Spec Explorer
스펙 탐색기
개발자마이크로소프트
안정된 릴리스
2010 릴리즈 3.5.3146.0 / 2013년 7월 8일, 9년 전(2013-07-08)
운영 체제Microsoft Windows
유형모델 기반 테스트 도구

Spec[1] Explorer는 Microsoft의 모델 기반 테스트(MBT[2][3]) 도구입니다.Visual Studio 통합 개발 환경을 소프트웨어 시스템의 예상되는 동작을 설명하는 모델을 정의할 수 있는 기능으로 확장합니다.이러한 모델에서 이 도구는 Visual Studio 자체 테스트 프레임워크 또는 다른 많은 유닛 테스트 프레임워크 내에서 실행할 테스트를 자동으로 생성할 수 있습니다.

Spec Explorer와 툴 자체의 개념은 여러 출판물에서[4][5][6][7][8][9][10] 설명되었으며 여러 학술 및 업계 [14][15][16][17]이벤트에서 발표되었습니다.

최신 버전은 MSDN의 [18]Visual Studio Gallery에서 다운로드할 수 있습니다.기술 문서는 MSDN [19]라이브러리에 있습니다.커뮤니티 및 엔지니어링 팀의 지원은 Spec Explorer [20]Forum을 통해 얻을 수 있습니다.Spec Explorer Team[21] Blog에서는 자세한 기사 및 [22]가이던스를 제공합니다.

레퍼런스

  1. ^ "Spec Explorer Visual Studio Power Tool".
  2. ^ "Model-Based Testing Gold Practice".
  3. ^ "Harry Robinson's Model-Based Testing Home Page". Archived from the original on 2009-10-27.
  4. ^ 마크 우팅과 브루노 레지아드.실용적인 모델 기반 테스트모건-카우프만, 2007년
  5. ^ 볼프강 그리스크램프.다중 패러다임 모델 기반 테스트Klaus Havelund와 Manuel Nunez, Grigore Rosu와 Burkhart Wolff, FATES/RV, LNCS 4262, 2006 초청 강연.
  6. ^ 콜린 캠벨, 볼프강 그리스크amp, 레프 나흐만슨, 울프람 슐테, 니콜라이 틸만, 마르구스 비네스.Spec Explorer를 사용한 객체 지향 반응형 시스템의 모델 기반 테스트.정식 방법 및 테스트 2008, LNCS 494, Springer, 2008, 페이지 39-76.
  7. ^ 볼프강 그리스크램프, 유리 구레비치, 울프람 슐테, 마르구스 비네스.추상 상태 시스템에서 유한 상태 시스템을 생성하는 중입니다.ISSTA'02의 Proceedings of Software Engineering Notes 제27권, 112~122페이지.ACM, 2002.
  8. ^ 키스 스토비.Microsoft의 실제 모델 기반 테스트.모델 기반 테스트 워크숍 진행(MBT 2004), 이론 컴퓨터 과학 전자 노트 제111권.Elsevier, 2004.
  9. ^ 볼프강 그리스크램프, 니콜라스 키실로프, 니콜라이 틸만액션 머신: 부분 동작을 인코딩 및 합성하기 위한 프레임워크.International Journal of Software Engineering and Knowledge Engineering 16(5): 705-726, 2006.
  10. ^ 볼프강 그리스크램프, 데이브 맥도날드, 니콜라스 키실로프, 알록 난단, 키스 스토비, 프레드 워든.Windows Protocol 문서의 모델 기반 품질 보증.2008년 4월 노르웨이 릴리함메르에서 열린 제1회 IEEE 국제 소프트웨어 테스트 회의(ICST 2008)의 속행.
  11. ^ 유리 구레비치.진화하는 Algebras 1993: Lipari Guide.E. Boerger 편집자, 사양 및 검증 방법, 9-36페이지.옥스포드 대학 출판부, 1995년.
  12. ^ R. Alur, T. A. Henzinger, O. Kupferman, M. Y. Vardi: 교대 정제 관계.제9회 동시성 이론 국제회의(CONCUR)의 진행, LNCS 1466, Springer, 1998.
  13. ^ 볼프강 그리스크람프와 니콜라스 키실로프.부분 동작의 구성 및 구성을 조정하기 위한 스키마 언어입니다.제28회 소프트웨어 엔지니어링 및 공동 소재 워크샵에 관한 국제회의의 속행 - 제5회 시나리오 및 스테이트 머신에 관한 국제 워크숍.ACM, 2006년 5월
  14. ^ "Formal Approaches to Testing and Runtime Verification 2006".
  15. ^ "IEEE International Conference on Software Testing Verification and Validation 2008".
  16. ^ "International Conference on Quality Software 2008".
  17. ^ "Storage Developer Conference".
  18. ^ "Spec Explorer 2010 Visual Studio Power Tool".
  19. ^ "Spec Explorer @ the Microsoft Developer Network".
  20. ^ "The Model-Based Testing with Spec Explorer Forum".
  21. ^ "The Spec Explorer Team Blog".
  22. ^ https://softwareengineer1.blogspot.com/2019/02/spec-explorer-lives-getting-spec.html Spec Explorer 2010은 VS2013, VS2015, VS2017에서 지원