설명
분산 및 오픈 시스템을 위한 형식적 명세 및 서술 기법의 검토. 검증 기법. 정합성 증명. 분산 시스템의 일반적 성질 검증. 분석 및 완화 전략. 테스트 기법. 테스트 생성 전략. 테스트 아키텍처.
원문 참조 텍스트
Review of formal specification and description techniques for distributed and open systems. Verification techniques. Correctness proofs. Verification of general properties of distributed systems. Analysis and relief strategies. Testing techniques. Test generation strategies. Test architectures.
출처 및 참고문헌
날짜와 출처는 정보를 확인하는 데 도움이 되도록 보관됩니다. 번역은 읽기 편의를 위해 제공되며 조건과 요건은 공식 출처가 기준입니다.
출처 참조 : https://calendar.carleton.ca/grad/courses/COMP/