Sign In

Protocol-Driven Development: Governing Generated Software Through Invariants and Continuous Evidence

μž‘μ„±μž
  • Haebom
μΉ΄ν…Œκ³ λ¦¬
Empty

μ €μž

Jun He, Deying Yu

πŸ’‘ κ°œμš”

λ³Έ 논문은 μžλ™ν™”λœ ν”„λ‘œκ·Έλž¨ μƒμ„±μ˜ 근본적인 문제인 μƒμ„±λœ μ†Œν”„νŠΈμ›¨μ–΄μ˜ μ‹ λ’°μ„± 확보λ₯Ό ν•΄κ²°ν•˜κΈ° μœ„ν•΄ 'ν”„λ‘œν† μ½œ 쀑심 개발(PDD)'μ΄λΌλŠ” μƒˆλ‘œμš΄ 방법둠을 μ œμ•ˆν•œλ‹€. PDDλŠ” 기계가 κ°•μ œν•  수 μžˆλŠ” ν”„λ‘œν† μ½œ(ꡬ쑰, λ™μž‘, 운영 λΆˆλ³€μ„±μœΌλ‘œ μ •μ˜λ¨)을 핡심 μ•„ν‹°νŒ©νŠΈλ‘œ μ‚Όμ•„, μ½”λ“œ κ΅¬ν˜„μ΄ 이 ν”„λ‘œν† μ½œμ„ λ§Œμ‘±ν•˜λŠ”μ§€ μ§€μ†μ μœΌλ‘œ κ²€μ¦ν•˜κ³  증거 μ‚¬μŠ¬μ„ 톡해 κΈ°λ‘ν•¨μœΌλ‘œμ¨ μƒμ„±λœ μ†Œν”„νŠΈμ›¨μ–΄μ˜ 신뒰성을 보μž₯ν•œλ‹€. 이λ₯Ό 톡해 μ½”λ“œμ˜ μΌμ‹œμ„±μ„ λ„˜μ–΄ ν”„λ‘œν† μ½œμ˜ 영ꡬ적인 κΆŒμœ„λ₯Ό ν™•λ³΄ν•˜λŠ” 것을 λͺ©ν‘œλ‘œ ν•œλ‹€.

πŸ”‘ μ‹œμ‚¬μ  및 ν•œκ³„

β€’
μƒμ„±λœ μ†Œν”„νŠΈμ›¨μ–΄μ— λŒ€ν•œ μ‹ λ’°λ₯Ό μƒμ„±μžκ°€ μ•„λ‹Œ ν”„λ‘œν† μ½œ 만쑱 여뢀와 증거 기반의 검증에 λ‘ μœΌλ‘œμ¨ μžλ™ν™”λœ μ†Œν”„νŠΈμ›¨μ–΄ 개발의 κ±°λ²„λ„ŒμŠ€ 문제λ₯Ό ν•΄κ²°ν•  수 μžˆλ‹€.
β€’
동적 증거 원μž₯(Dynamic Evidence Ledger)을 톡해 λŸ°νƒ€μž„ μ‹œμ—λ„ 지속적인 검증과 μœ„λ°˜ 사항 좔적을 κ°€λŠ₯ν•˜κ²Œ ν•˜μ—¬, 라이브 μ‹œμŠ€ν…œμ˜ μ‹€νŒ¨λ₯Ό 생성 루프에 μ—°κ²°ν•˜κ³  μ±…μž„ μ†Œμž¬λ₯Ό λͺ…ν™•νžˆ ν•  수 μžˆλ‹€.
β€’
ν”„λ‘œν† μ½œ μ •μ˜μ˜ λ³΅μž‘μ„± 및 λ‹€μ–‘ν•œ 도메인에 λŒ€ν•œ ν”„λ‘œν† μ½œ μžλ™ 생성 기술의 λ°œμ „μ΄ ν•„μš”ν•˜λ©°, μ‹€μ œ λŒ€κ·œλͺ¨ μ‹œμŠ€ν…œμ— PDDλ₯Ό μ μš©ν•˜κΈ° μœ„ν•œ 좔가적인 연ꡬ와 κ΅¬ν˜„μ΄ μš”κ΅¬λœλ‹€.
πŸ‘
Made with Slashpage