pex

    0

    1답변

    Visual Studio 2010 SP1에서 64 비트 (en_visual_studio_2010_pex_0.94.51023.0_power_tools_x64_598803.exe)의 Pex 및 Moles Power Tools 0.94.51023.0을 사용하고 있습니다 (Windows 7 Enterprise 64 비트, 모두 Windows Update를 통해 설

    0

    1답변

    나는 z3_logdir 및 z3_loglevel 환경 변수를 사용하여 * .z3 파일 형식의 Pex 로그 경로 조건을 기록합니다. pex가 SMT 2 형식으로 경로 조건을 내보내도록 할 수 있습니까? 또는 .Z3 파일 형식을 SMT 2로 변환 하시겠습니까?

    3

    2답변

    Visual Studio 2013에서 단위 테스트를 자동 생성하도록 PEX를 얻는 방법은 무엇입니까? Visual Studio 2010에서 PEX를 사용하여 단위 테스트를 자동 생성 할 수 있으며 함수 본문을 마우스 오른쪽 버튼으로 클릭하면 메뉴가 나타납니다.

    1

    1답변

    예비 검사를 위해 내 프로젝트에서 Pex를 사용하려고합니다. 그러나 테스트 시드로 기존 테스트를 실행할 수는 없습니다. 필자는 입력 테스트 데이터를 제공하기 위해 [PexArguments]를 성공적으로 사용했습니다. 확인을 위해 자습서를 읽고 Capitalize 함수를 구현했습니다. 이제 Pex를 실행하면 주석으로 정의 된 테스트 케이스가 실행됩니다. 그러

    0

    1답변

    가능한 경우 Pex/Intellitest가 가능한 경로 조건을 찾도록 강제 할 수 있습니까? 나는 PC에 그 PC를 보여줘야 해. pexfonfun/visualstudio 2015에서는 몇 대의 PC 만 볼 수 있습니다. 예를 들어, 실행할 수없는 PC는 표시되지 않습니다. 1) i != 12 && i != 15; 2) i == 15; 3) i == 1

    1

    1답변

    문자열 배열을 사용하여 복사하고 정렬 한 다음 정렬 된 복사 요소가 원본과 달라야한다고 주장하는 다음 테스트 메서드가 있습니다. 대부분의 경우이 테스트가 통과해야하지만 입력 배열이 이미 정렬 된 경우이 테스트가 실패해야한다고 생각합니다. PEX에서이 사례를 발견 할 수 없습니다 (시드 입력으로 제공하는 것 외에는). PEX에서 구성하거나 테스트 작성 방법을

    0

    1답변

    저는 명령 행에서 Pex를 사용하여 테스트 사례 생성을위한 입력 값을 찾습니다. PexObserve를 사용하여 실행 중에 특정 값을 기록합니다. 기록하려는 값 중 하나가 XML 문자열입니다. 그러나 XML을 구문 분석 할 때 "잘못된 XML"예외가 발생합니다. Pex는 처음 255 자만 로그에 씁니다. 전체 XML 문자열을 기록하는 방법이 있습니까? 또는

    0

    1답변

    DHT와 PEX에 관한 질문이 있습니다. 나는 DHT가 급류를 위해 득시글 득시글하다가 누가 능동적으로 활동하고 있는지에 관해 다른 동료들에게 알려주는 몇 가지 기사를 읽었습니다. 1) 현재 급류에 속한 토렌트가있을 때 DHT 및 PEX 활동을 확인하여 모두 활성화되었음을 보여줍니다. 예를 들어, 124 개의 종자 (현재 124 개의 종자) 459 명의 동

    0

    2답변

    PEX 탐색 중 다음을 수행합니다. ! [실행] 런타임 컨텍스트 Microsoft.Pex.Engine.Libraries.MicrosoftVisualBasicLibrary + ProjectErrorRuntimeContextAttribute + 컨텍스트를 열지 못했습니다. [기호] C : \ Windows \ Microsoft.Net \ assembly \ G

    2

    1답변

    CodeDigger 확장 프로그램을 VS 2013 Premium에 설치했습니다. 그런 다음 설정에서 이식 가능한 어셈블리가 아닌 코드로 작동하도록 설정을 활성화했습니다. 다음, 상태 표시 줄에 "모니터 86 과정 (콜드 스타트) 듣고" public static double Add(double foo, double bar) { return foo