실행 가능한 명세

실행 가능한 명세 뜻

요구사항을 사람이 읽을 수 있으면서 자동 실행도 가능한 테스트 형태로 표현한 문서

다른 언어 표기와 설명

日本語実行可能な仕様

要件をテストとして実行できる形で表し、ソフトウェアの振る舞いを機械的に確認する仕様

EnglishExecutable specification

A specification written so software tools can run it as a test

관련 용어

• 도구 호출 형식소프트웨어가 도구를 호출할 때 입력과 요청 구조를 정해 둔 규격입니다.
• Policy-as-code정책과 규칙을 코드로 작성해 자동 검증과 집행에 활용하는 방식
• SMT-LIBSMT 솔버가 논리식과 제약 조건을 읽고 교환하도록 만든 표준 입력 언어
• 작업 제어 언어작업의 실행 순서와 처리 내용을 지정하는 언어입니다.
• 스마트 컨트랙트중개인 없이 프로그래밍된 조건이 충족될 때 자동으로 계약이 이행되는 블록체인상의 디지털 계약이다.