Finite Field
30 ಸೆಕೆಂಡ್ ಪರಿಶೀಲನೆ

MPK Assurance / Go ಪುರಾವೆ ಸಿದ್ಧತಾ ಪರಿಶೀಲನೆ

ನಿಮ್ಮ Go ಕೋಡ್ ಅನ್ನು ನಾವು ಕೇವಲ ಪರೀಕ್ಷಿಸುವುದಲ್ಲ,
ಪುರಾವೆಯಿಂದ ಪರಿಶೀಲಿಸುತ್ತೇವೆ.

ರಿಫಂಡ್‌ಗಳು, ಶುಲ್ಕಗಳು, ಬಾಕಿಗಳು ಮತ್ತು ರಿಸರ್ವ್‌ಗಳಂತೆ ಹಣವನ್ನು ಚಲಿಸುವ ಮಹತ್ವದ Go ಲಾಜಿಕ್ ಅನ್ನು ಸ್ಪಷ್ಟ ವಿವರಣೆ, ಊಹೆಗಳು ಮತ್ತು ವ್ಯಾಪ್ತಿಯ ವಿರುದ್ಧ ಯಾಂತ್ರಿಕವಾಗಿ ಪರಿಶೀಲಿಸುತ್ತೇವೆ. Gemini ಪುರಾವೆ ಅಭ್ಯರ್ಥಿಗಳನ್ನು ಸಿದ್ಧಪಡಿಸುತ್ತದೆ; ಸ್ವತಂತ್ರ MPK ಕರ್ಣಲ್ ಅಂತಿಮ ತೀರ್ಪು ನೀಡುತ್ತದೆ.

30 ಸೆಕೆಂಡ್ ರಿಫಂಡ್ ಡೆಮೊ ಪ್ರಯತ್ನಿಸಿ ಪುರಾವೆ ಸಿದ್ಧತಾ ಪರಿಶೀಲನೆ ಕೇಳಿ
ಮೊದಲ 5 ಕಂಪನಿಗಳಿಗೆ ಮಾತ್ರ MPK ಪ್ರಾರಂಭಿಕ ಬಳಕೆ ಆಫರ್ JPY 49,800(ತೆರಿಗೆಗೂ ಮೊದಲು)
ಒಂದು Go ಕಾರ್ಯದಿಂದ ಆರಂಭಿಸಿ
ಗರಿಷ್ಠ 2 ಗುಣಗಳು
ಗೋಪ್ಯ ಕೋಡ್ ಅನ್ನು
ಸಾರ್ವಜನಿಕವಾಗಿ ನಮೂದಿಸುವ ಅಗತ್ಯವಿಲ್ಲ
ಮತ್ತೆ ಪರಿಶೀಲಿಸಬಹುದಾದ
ಸಾಕ್ಷ್ಯವನ್ನು ಒದಗಿಸಿ

MPK ಪರಿಹಾರಕ

ಲೈವ್
refund.go
func ApplyRefund(paid, refunded, amount int64) (int64, error) {
  if amount < 0 {
    return refunded, errors.New("negative amount")
  }
  if refunded+amount > paid {
    return refunded, errors.New("exceeds paid")
  }
  return refunded + amount, nil
}
ಪರಿಶೀಲಿಸಬೇಕಾದ ಗುಣ

∀ paid, refunded, amount:
0 ≤ refunded + amount ≤ paid

ಪ್ರತಿದರ್ಶನ ಕಂಡುಬಂದಿದೆ

paid=100, refunded=80, amount=30 ಈ ಗುಣವನ್ನು ಉಲ್ಲಂಘಿಸುತ್ತದೆ.

ಕರ್ಣಲ್ ಪರಿಶೀಲಿಸಿದೆ

ಸರಿಪಡಿಸಿದ ಪ್ರಮಾಣಿತ ಪ್ರಮಾಣಪತ್ರವನ್ನು ಕರ್ಣಲ್ ಸ್ವೀಕರಿಸಿದೆ.

ಪರೀಕ್ಷೆಯನ್ನು ಮೀರಿದ ಭರವಸೆಸಾಮಾನ್ಯ Go ಯಿಂದ ಆರಂಭಿಸಿವಿಶ್ವಾಸದ ತೀರ್ಮಾನಗಳಿಂದ AI ಅನ್ನು ಬೇರ್ಪಡಿಸಿಪುರಾವೆ, ಪ್ರತಿದರ್ಶನಗಳು ಮತ್ತು ಹೊರಗಿಟ್ಟ ವ್ಯಾಪ್ತಿಯನ್ನು ತೋರಿಸಿ

30 ಸೆಕೆಂಡ್ ರಿಫಂಡ್ ಡೆಮೊ

ಮೊದಲು ಪ್ರತಿದರ್ಶನ ಕಂಡುಹಿಡಿಯಿರಿ; ನಂತರ ಸರಿಪಡಿಸಿದ ಆವೃತ್ತಿಯನ್ನು ಪುರಾವೆಯಿಂದ ದೃಢಪಡಿಸಿ.

ಸಿದ್ಧಪಡಿಸಿದ ರಿಫಂಡ್ ಕೋಡ್ ಬಳಸಿ, ಪ್ರತಿದರ್ಶನದಿಂದ ಸರಿಪಡಿಕೆಗೂ ಯಶಸ್ವಿ ಪುರಾವೆಗೂ ಸಾಗುವ ಹರಿವನ್ನು ನೋಡಿ. ಸಾರ್ವಜನಿಕ ಡೆಮೊದಲ್ಲಿ ಗೋಪ್ಯ ಕೋಡ್ ನಮೂದಿಸುವ ಅಗತ್ಯವಿಲ್ಲ.

ರಿಫಂಡ್ ನೀತಿ: ಒಟ್ಟು ರಿಫಂಡ್‌ಗಳು ಪಾವತಿಸಿದ ಮೊತ್ತವನ್ನು ಮೀರಬಾರದು

ಪರಿಶೀಲಿಸಬೇಕಾದ ಗುಣ

0 ≤ refunded + amount ≤ paid
  • ಗುರಿ: ಒಂದು ರಿಫಂಡ್ ನೀತಿ ಕಾರ್ಯ
  • ಇನ್‌ಪುಟ್‌ಗಳು: ಋಣಾತ್ಮಕವಲ್ಲದ ಪೂರ್ಣಾಂಕಗಳು
  • ಬಾಹ್ಯ I/O, DB ಮತ್ತು ನೆಟ್‌ವರ್ಕ್ ವ್ಯಾಪ್ತಿಯಿಂದ ಹೊರಗೆ
  • ಸ್ಪಷ್ಟ ಊಹೆಗಳು ಮತ್ತು Go ಉಪಸಮೂಹ ಒಳಗೆ ಪರಿಶೀಲಿಸಲಾಗಿದೆ

ಪರಿಶೀಲನಾ ಫಲಿತಾಂಶ (ದೋಷವಿರುವ ಜಾರಿ)

ಪ್ರತಿದರ್ಶನ ಕಂಡುಬಂದಿದೆ

ಒಟ್ಟು ರಿಫಂಡ್ ಪಾವತಿಸಿದ ಮೊತ್ತವನ್ನು ಮೀರಿಸುವ ಸ್ಪಷ್ಟ ಇನ್‌ಪುಟ್‌ಗಳನ್ನು ಕಂಡುಹಿಡಿದಿದ್ದೇವೆ.

paid = 100
refunded = 80
amount = 30
ಫಲಿತಾಂಶ = 110 (ಗುಣ ಉಲ್ಲಂಘನೆ)

ತಾಂತ್ರಿಕ ವಿವರಗಳು

ರನ್ ID
run_refund_bug_20260727
ಪ್ರಮಾಣಪತ್ರ ಹ್ಯಾಶ್
— ಪ್ರತಿದರ್ಶನ ಕಂಡುಬಂದಿರುವುದರಿಂದ ರಚಿಸಲಾಗಿಲ್ಲ
ಕರ್ಣಲ್ ತೀರ್ಪು
ತಿರಸ್ಕರಿಸಲಾಗಿದೆ / ಪ್ರತಿದರ್ಶನ
ಸ್ವೀಕೃತ ನಿಯಮಗಳ ವರದಿ
ಪೂರ್ಣಾಂಕ ಗಣಿತ / ಸ್ಪಷ್ಟ ಊಹೆಗಳು

ಫಲಿತಾಂಶ ವರ್ಗೀಕರಣ

ನಾಲ್ಕು ಫಲಿತಾಂಶ ವಿಧಗಳು

ಪುರಾವೆಯಿಂದ ದೃಢಪಟ್ಟಿದೆ

ನಿರ್ದಿಷ್ಟ ಗುಣವು ಸ್ಪಷ್ಟ ಊಹೆಗಳು ಮತ್ತು ವ್ಯಾಪ್ತಿಯಡಿ ಅನ್ವಯಿಸುತ್ತದೆ.

ಸಾಬೀತಾಗಿದೆ
ಪ್ರತಿದರ್ಶನ ಕಂಡುಬಂದಿದೆ

ಗುಣವನ್ನು ಉಲ್ಲಂಘಿಸುವ ಸ್ಪಷ್ಟ ಇನ್‌ಪುಟ್‌ಗಳನ್ನು ತೋರಿಸಿ, ಯಾವ ಷರತ್ತು ಸರಿಪಡಿಸಬೇಕು ಎಂಬುದನ್ನು ಸ್ಪಷ್ಟಪಡಿಸುತ್ತೇವೆ.

ತಪ್ಪಾಗಿದೆ
ನಿರ್ಧರಿಸಲಾಗಿಲ್ಲ

ಪ್ರಸ್ತುತ ತಂತ್ರದಿಂದ ಆ ಗುಣ ಅನ್ವಯಿಸುತ್ತದೆಯೇ ಎಂಬುದು ನಿರ್ಧರಿಸಲಾಗದಾಗ ಅದನ್ನು ಸ್ಪಷ್ಟವಾಗಿ ವರದಿ ಮಾಡುತ್ತೇವೆ.

ನಿರ್ಧರಿಸಲಾಗಿಲ್ಲ
ವ್ಯಾಪ್ತಿಯಿಂದ ಹೊರಗೆ

ಬೆಂಬಲವಿಲ್ಲದ ವಾಕ್ಯರಚನೆ, ಬಾಹ್ಯ I/O ಅಥವಾ ಬೆಂಬಲವಿಲ್ಲದ ವರ್ತನೆಗಳಂತಹ ಕಾರಣಗಳಿಂದ ಗುರಿಯನ್ನು ನೋಡಲಾಗದಿದ್ದರೆ ಅದನ್ನು ಸ್ಪಷ್ಟವಾಗಿ ವಿವರಿಸುತ್ತೇವೆ.

ಅನ್ವಯಿಸುವುದಿಲ್ಲ

ಪರೀಕ್ಷೆಯಿಂದ ಇರುವ ವ್ಯತ್ಯಾಸ

ಆಯ್ದ ಇನ್‌ಪುಟ್‌ಗಳಷ್ಟೇ ಅಲ್ಲ, ನಿರ್ದಿಷ್ಟ ಗುಣವನ್ನೇ ಪರಿಶೀಲಿಸುತ್ತೇವೆ.

ಪರೀಕ್ಷೆ (ಉದಾಹರಣೆ ಆಧಾರಿತ)

  • ನೀವು ಬರೆದ ಪರೀಕ್ಷಾ ಪ್ರಕರಣಗಳನ್ನು ಮಾತ್ರ ಓಡಿಸುತ್ತದೆ
  • ಆಯ್ಕೆಮಾಡದ ಇನ್‌ಪುಟ್‌ಗಳು ಪರಿಶೀಲನೆಯಿಲ್ಲದೆ ಉಳಿಯುತ್ತವೆ
  • ಯಶಸ್ವಿಯಾದ ಪರೀಕ್ಷಾ ಫಲಿತಾಂಶ ಪ್ರಮಾಣಪತ್ರವಲ್ಲ
  • ವಿಶ್ವಾಸವು ಪರೀಕ್ಷಾ ವಿನ್ಯಾಸ ಮೇಲೆ ಅವಲಂಬಿತ

MPK Assurance (ಪುರಾವೆ)

  • ನಿರ್ದಿಷ್ಟ ಗುಣಗಳು ಮತ್ತು ವ್ಯಾಪ್ತಿಯನ್ನು ಪರಿಶೀಲಿಸುತ್ತದೆ
  • ಗುಣವನ್ನು ಮುರಿಯುವ ಸ್ಪಷ್ಟ ಇನ್‌ಪುಟ್‌ಗಳನ್ನು ತೋರಿಸುತ್ತದೆ
  • ಮತ್ತೆ ಪರಿಶೀಲಿಸಬಹುದಾದ ಪ್ರಮಾಣಪತ್ರ ಮತ್ತು ಹ್ಯಾಶ್ ಉಳಿಸುತ್ತದೆ
  • ಸ್ವತಂತ್ರ ಕರ್ಣಲ್ ಅಂತಿಮ ತೀರ್ಪು ನೀಡುತ್ತದೆ
ಹೋಲಿಕೆಪರೀಕ್ಷೆಪುರಾವೆ
ಗುರಿಆಯ್ದ ಇನ್‌ಪುಟ್‌ಗಳುನಿರ್ದಿಷ್ಟ ಗುಣ
ಪ್ರತಿದರ್ಶನ ಪ್ರದರ್ಶನ△○
ಮರುಪರಿಶೀಲನೆಚಾಲನೆ ಲಾಗ್ಪ್ರಮಾಣಪತ್ರ
ಅಂತಿಮ ತೀರ್ಪುಪರೀಕ್ಷಾ ಸಮೂಹಕರ್ಣಲ್

3 ವೈಶಿಷ್ಟ್ಯಗಳು

ಪರೀಕ್ಷೆಯನ್ನು ಮೀರಿದ ಭರವಸೆ

ಕೆಲವು ಮಾದರಿ ಇನ್‌ಪುಟ್‌ಗಳಷ್ಟೇ ಅಲ್ಲ, ಸ್ಪಷ್ಟ ವಿವರಣೆ, ಊಹೆಗಳು ಮತ್ತು ವ್ಯಾಪ್ತಿಯ ವಿರುದ್ಧ ಗುಣವನ್ನು ಪರಿಶೀಲಿಸುತ್ತೇವೆ.

ವಿಶೇಷ ಪುರಾವೆ ಭಾಷೆಯಲ್ಲ, Go ಬಳಸಿ

ಬಾಹ್ಯ I/O ಯಿಂದ ಬೇರ್ಪಡಿಸಿದ ಮಹತ್ವದ Go ನೀತಿ ಕಾರ್ಯ ಒಂದರಿಂದ ಆರಂಭಿಸಬಹುದು.

AI ಪುರಾವೆ ಹುಡುಕಲಿ; ಆದರೆ AI ಅನ್ನು ನಂಬಬೇಡಿ

AI ಅಭ್ಯರ್ಥಿಗಳನ್ನು ಮಾತ್ರ ಸಿದ್ಧಪಡಿಸುತ್ತದೆ. ಪ್ರಮಾಣಿತ ಪ್ರಮಾಣಪತ್ರವನ್ನು ಓದುವ ಸ್ವತಂತ್ರ ಕರ್ಣಲ್ ಅಂತಿಮ ಸ್ವೀಕಾರ ಮಾಡುತ್ತದೆ.

ಕೆಲಸವನ್ನು AI ಮಾಡಲಿ. ಅಂತಿಮ ತೀರ್ಪನ್ನು AI ಗೆ ಬಿಡಬೇಡಿ.

ಗ್ರಾಹಕGo ಕಾರ್ಯ ಮತ್ತು ಖಾತರಿಪಡಿಸಬೇಕಾದ ಗುಣವನ್ನು ಸಲ್ಲಿಸಿ
Geminiಗುಣಗಳು, ತಂತ್ರ ಮತ್ತು ಪುರಾವೆ ಅಭ್ಯರ್ಥಿಗಳನ್ನು ಪ್ರಸ್ತಾಪಿಸಿ
MPKಪ್ರಮಾಣಪತ್ರಗಳನ್ನು ಸ್ವತಂತ್ರವಾಗಿ ಪರಿಶೀಲಿಸುವ ವಿಶ್ವಾಸ ಗಡಿ
ಮಾನವವಿವರಣೆ, ಊಹೆಗಳು ಮತ್ತು ಗೋಪ್ಯತೆಯನ್ನು ದೃಢಪಡಿಸಿ
ಸಾಕ್ಷ್ಯಮತ್ತೆ ಪರಿಶೀಲಿಸಬಹುದಾದ ಸಾಕ್ಷ್ಯ ಪ್ಯಾಕ್ ಒದಗಿಸಿ

Gemini ಪುರಾವೆ ಕಾರ್ಯಪ್ರವಾಹ ನಡೆಸುತ್ತದೆ, MPK ವಿಶ್ವಾಸದ ತೀರ್ಮಾನ ಮಾಡುತ್ತದೆ, ಮತ್ತು ಮಾನವ ವಿತರಣೆ ಅನುಮೋದಿಸುತ್ತಾನೆ.

ಪರಿಶೀಲನೆ ಉಪಯುಕ್ತವಾಗುವ ಬಳಕೆ ಪ್ರಕರಣಗಳು

ರಿಫಂಡ್‌ಗಳುಒಟ್ಟು ರಿಫಂಡ್‌ಗಳು ಪಾವತಿಸಿದ ಮೊತ್ತವನ್ನು ಮೀರಬಾರದು
ಶುಲ್ಕಗಳುಋಣಾತ್ಮಕವಾಗಬಾರದು ಮತ್ತು ಒಪ್ಪಂದದ ಮಿತಿಯನ್ನು ಮೀರಬಾರದು
ರಿಸರ್ವ್‌ಗಳುನಂತರದ ಪ್ರಕ್ರಿಯೆಯ ಬಾಕಿ ಕನಿಷ್ಠ ಮಿತಿಗಿಂತ ಕೆಳಗಿಳಿಯಬಾರದು
ರಿಯಾಯಿತಿಗಳುರಿಯಾಯಿತಿಗಳು ಸೇರಿಕೊಂಡರೂ ಮಿತಿಗಳೊಳಗೆ ಉಳಿಯಬೇಕು
ಪಾಯಿಂಟ್‌ಗಳುನೀಡಿದ ಪಾಯಿಂಟ್‌ಗಳು ಬಜೆಟ್ ಮಿತಿಯನ್ನು ಮೀರಬಾರದು
ಹಂಚಿಕೆಹಂಚಿದ ಮೊತ್ತಗಳ ಮೊತ್ತ ಮೂಲ ಮೊತ್ತಕ್ಕೆ ಸರಿಹೊಂದುತ್ತದೆ

ಸಾಕ್ಷ್ಯ ಪ್ಯಾಕ್

AI ಉತ್ತರವನ್ನು ಅಲ್ಲ, ಮತ್ತೆ ಪರಿಶೀಲಿಸಬಹುದಾದ ಸಾಕ್ಷ್ಯವನ್ನು ಒದಗಿಸುತ್ತೇವೆ.

MPK ಪ್ರಮಾಣಪತ್ರ

ಪುರಾವೆ ಸಿದ್ಧತಾ ಪರಿಶೀಲನೆ
ಪ್ರಮಾಣಿತ ಪ್ರಮಾಣಪತ್ರ ದಾಖಲೆ

ಕರ್ಣಲ್ ತೀರ್ಪು
ಸ್ವೀಕರಿಸಲಾಗಿದೆ
MPK
  • ಪ್ರಮಾಣಪತ್ರ ಹ್ಯಾಶ್
  • MPK ಕರ್ಣಲ್ ತೀರ್ಪು
  • Go ಉಲ್ಲೇಖ ಪರಿಶೀಲಕ ಫಲಿತಾಂಶ
  • ಸ್ವೀಕೃತ ನಿಯಮಗಳ ವರದಿ
  • ಪುರಾವೆಯಿಂದ ದೃಢಪಟ್ಟ ಗುಣಗಳು ಮತ್ತು ತಿಳಿಸಿದ ಊಹೆಗಳು
  • ಹೊರಗಿಟ್ಟ ವ್ಯಾಪ್ತಿ ಮತ್ತು ಅದರ ಕಾರಣಗಳು
  • ಕಂಡುಬಂದಿದ್ದರೆ ಪ್ರತಿದರ್ಶನ
  • ರನ್ ID ಮತ್ತು ಮರುಪರಿಶೀಲನೆ ಮಾಹಿತಿ

ಪುರಾವೆ ಸಿದ್ಧತಾ ಪರಿಶೀಲನೆ

ನಿಗದಿತ ವ್ಯಾಪ್ತಿಯಲ್ಲಿ ನಿಮ್ಮ ಮೊದಲ ಕಾರ್ಯವನ್ನು ಪರಿಶೀಲಿಸಿ.

JPY 198,000 (ತೆರಿಗೆಗೂ ಮೊದಲು)
  • ಒಂದು Go ಕಾರ್ಯ
  • ಪುರಾವೆಗೆ ಗರಿಷ್ಠ 2 ಗುಣಗಳು
  • ಫಲಿತಾಂಶಗಳನ್ನು ಪುರಾವೆಯಿಂದ ದೃಢಪಟ್ಟಿದೆ, ಪ್ರತಿದರ್ಶನ, ನಿರ್ಧರಿಸಲಾಗಿಲ್ಲ ಅಥವಾ ವ್ಯಾಪ್ತಿಯಿಂದ ಹೊರಗೆ ಎಂದು ವರ್ಗೀಕರಿಸುತ್ತದೆ
  • ಸಾಕ್ಷ್ಯ ಪ್ಯಾಕ್ ಮತ್ತು ಫಲಿತಾಂಶಗಳ ಆನ್‌ಲೈನ್ ವಿವರಣೆ
ಪ್ರಾರಂಭಿಕ ಬಳಕೆ ಆಫರ್ ನೋಡಿ

ಇದು ಯೋಜಿತ ಸಾಮಾನ್ಯ ಬೆಲೆ. ಪ್ರಸ್ತುತ ಮೊದಲ 5 ಕಂಪನಿಗಳಿಗೆ ಮಾತ್ರ, ತೆರಿಗೆಗೂ ಮೊದಲು JPY 49,800 ದರದ ಪ್ರಾರಂಭಿಕ ಬಳಕೆ ಅಭಿಯಾನ ನಡೆಸುತ್ತಿದ್ದೇವೆ.

MPK ಪ್ರಾರಂಭಿಕ ಬಳಕೆ ಆಫರ್

ಮೊದಲ 5 ಕಂಪನಿಗಳಿಗೆ ಮಾತ್ರ

ನಿಮ್ಮ ಮಹತ್ವದ Go ಕೋಡ್ ಕೇವಲ ಪರೀಕ್ಷೆಯಲ್ಲ, ಪುರಾವೆಯಿಂದ ದೃಢಪಡಿಸಬಹುದೇ ಎಂಬುದನ್ನು ಪರಿಶೀಲಿಸಿ

MPK ಪುರಾವೆ ಸಿದ್ಧತಾ ಪರಿಶೀಲನೆಯಲ್ಲಿ, ಒಂದು ಗುರಿ Go ಕಾರ್ಯವನ್ನು ಆಯ್ದು, ಖಾತರಿಪಡಿಸಬೇಕಾದ ಗುಣವನ್ನು ವ್ಯಾಖ್ಯಾನಿಸಿ, AI ಮೂಲಕ ಪುರಾವೆ ಅಭ್ಯರ್ಥಿಗಳನ್ನು ರಚಿಸಿ, MPK ಕರ್ಣಲ್ ಮೂಲಕ ಸ್ವತಂತ್ರ ಪರಿಶೀಲನೆ ನಡೆಸುತ್ತೇವೆ.

ಏನು ಒಳಗೊಂಡಿದೆ

  • ಒಂದು Go ಕಾರ್ಯ
  • ಪುರಾವೆಗೆ ಗರಿಷ್ಠ 2 ಗುಣಗಳು
  • MPK ಹೊಂದಾಣಿಕೆ ಮೌಲ್ಯಮಾಪನ
  • ಪುರಾವೆಗಳು, ಪ್ರತಿದರ್ಶನಗಳು, ಪುರಾವೆ ತಡೆಗಳು ಮತ್ತು ವ್ಯಾಪ್ತಿಯಿಂದ ಹೊರಗಿನ ಅಂಶಗಳ ವರದಿ
  • ಪುರಾವೆಯ ವ್ಯಾಪ್ತಿ ಮತ್ತು ಊಹೆಗಳನ್ನು ಸಾರಾಂಶಗೊಳಿಸುವ ವರದಿ

ಅಭಿಯಾನ ಷರತ್ತುಗಳು

ಸೇವೆ ನಂತರ ನೇರವಾದ ಪ್ರತಿಕ್ರಿಯೆ ನೀಡಲು ಮತ್ತು MPK ಅಧಿಕೃತ ಸೈಟ್‌ನಲ್ಲಿ ಪ್ರಕಟಿಸುವ ಕೇಸ್ ಸ್ಟಡಿಗೆ ಅನುಮೋದನೆ ನೀಡಲು ಸಾಧ್ಯವಿರುವ ಕಂಪನಿಗಳಿಗಾಗಿ ಈ ಆಫರ್. ಕೇಸ್ ಸ್ಟಡಿಯಲ್ಲಿ ಕಂಪನಿ ಹೆಸರು, ಸಂಪರ್ಕ ವ್ಯಕ್ತಿಯ ಹೆಸರು, ಹುದ್ದೆ, ಪ್ರತಿಕ್ರಿಯೆ, ಮತ್ತು ಪ್ರತಿನಿಧಿ ಫೋಟೋ ಅಥವಾ ಕಂಪನಿ ಲೋಗೊ ಇರಬಹುದು.

ಕಂಪನಿ ಹೆಸರುಹೆಸರುಹುದ್ದೆಪ್ರತಿಕ್ರಿಯೆಪ್ರತಿನಿಧಿ ಫೋಟೋ ಅಥವಾ ಕಂಪನಿ ಲೋಗೊ
ಪ್ರಕಟಣೆಗೂ ಮೊದಲು ನೀವು ವಿಷಯವನ್ನು ಪರಿಶೀಲಿಸುತ್ತೀರಿ; ಅನುಮೋದಿತ ವಿಷಯವನ್ನಷ್ಟೇ ಬಳಸುತ್ತೇವೆ. ಅನುಕೂಲಕರ ವಿಮರ್ಶೆ ಕೇಳುವುದಿಲ್ಲ.

ಸೇವೆಯ ಹರಿವು

ಸೇವೆಯ ಹರಿವು (5 ಹಂತಗಳು)

ಅನ್ವೇಷಣೆ

ನಷ್ಟಕ್ಕೆ ಕಾರಣವಾಗಬಹುದಾದ ವಿಫಲತಾ ಪರಿಸ್ಥಿತಿ ಮತ್ತು ಗುರಿ ಕಾರ್ಯವನ್ನು ದೃಢಪಡಿಸಿ.

ವ್ಯಾಪ್ತಿ ಸ್ಥಿರಗೊಳಿಕೆ

ಕಾರ್ಯ, ಗುಣ, ಊಹೆಗಳು ಮತ್ತು ಹೊರಗಿಟ್ಟ ವ್ಯಾಪ್ತಿಯನ್ನು ಸ್ಥಿರಗೊಳಿಸಿ.

Gemini + MPK ಪರಿಶೀಲನೆ

AI ಅಭ್ಯರ್ಥಿಗಳನ್ನು ಸಿದ್ಧಪಡಿಸುತ್ತದೆ; MPK ಪ್ರಮಾಣಪತ್ರ ಪರಿಶೀಲಿಸುತ್ತದೆ.

ಫಲಿತಾಂಶ ವಿವರಣೆ

ಪುರಾವೆ, ಪ್ರತಿದರ್ಶನ, ನಿರ್ಧರಿಸಲಾಗದ ಫಲಿತಾಂಶ, ಹೊರಗಿಟ್ಟ ವ್ಯಾಪ್ತಿ ಮತ್ತು ಸಾಕ್ಷ್ಯವನ್ನು ವಿವರಿಸುತ್ತೇವೆ.

ಮುಂದಿನ ಹಂತಗಳು

ಸರಿಪಡಿಕೆಗಳು, ಹೆಚ್ಚುವರಿ ಕಾರ್ಯಗಳು ಅಥವಾ CI/CD ಏಕೀಕರಣಕ್ಕೆ ಸಾಗಬೇಕೇ ಎಂಬುದನ್ನು ಸ್ಪಷ್ಟಪಡಿಸಿ.

ಹೆಚ್ಚು ಸೂಕ್ತ

  • ನೀವು Go ಯಲ್ಲಿ ರಿಫಂಡ್, ಶುಲ್ಕ ಅಥವಾ ಬಾಕಿ ಲಾಜಿಕ್ ಜಾರಿಗೆ ತರುತ್ತಿದ್ದೀರಿ
  • ಒಂದು ದೋಷವೇ ಹಣಕಾಸು ನಷ್ಟ ಅಥವಾ ಲೆಕ್ಕಪರಿಶೋಧನಾ ಭಾರ ಉಂಟುಮಾಡಬಹುದು
  • ನಿಮ್ಮಲ್ಲಿ ಪ್ರತ್ಯೇಕ ಔಪಚಾರಿಕ ಪರಿಶೀಲನೆ ತಂಡವಿಲ್ಲ
  • ಬಾಹ್ಯ I/O ಯಿಂದ ಬೇರ್ಪಡಿಸಬಹುದಾದ ಸಣ್ಣ ಕಾರ್ಯವಿದೆ

ಪ್ರಸ್ತುತ ಮಿತಿಗಳು

  • ಯಾವುದೇ ಸಂಪೂರ್ಣ Go ಅಪ್ಲಿಕೇಶನ್‌ಗೆ ಪುರಾವೆ ನೀಡುವುದು
  • DB, APIs, ನೆಟ್‌ವರ್ಕ್ ಅಥವಾ UI ಒಳಗೊಂಡ ಅಂತ್ಯದಿಂದ ಅಂತ್ಯದ ಪ್ರಕ್ರಿಯೆ
  • ಪ್ರತಿ ಭದ್ರತಾ ದುರ್ಬಲತೆ ಪತ್ತೆಹಚ್ಚುವುದು
  • ಬೆಂಬಲವಿಲ್ಲದ ವಾಕ್ಯರಚನೆ, ಬಾಹ್ಯ ಅವಲಂಬನೆಗಳು ಅಥವಾ ಅಸ್ಪಷ್ಟ ವಿವರಣೆಗಳು

FAQ

ಮೊದಲ ಸಲಹೆಗೂ ಮೊದಲು ಸಾಮಾನ್ಯ ಪ್ರಶ್ನೆಗಳು

ನಮ್ಮನ್ನು ಸಂಪರ್ಕಿಸುವ ಮೊದಲು ಸಾಮಾನ್ಯವಾಗಿ ಬರುತ್ತಿರುವ ಪ್ರಶ್ನೆಗಳಿಗೆ, ಪುರಾವೆ ವ್ಯಾಪ್ತಿ, AI ಪಾತ್ರ ಮತ್ತು ಕೋಡ್ ನಿರ್ವಹಣೆ ಒಳಗೊಂಡ ಉತ್ತರಗಳು.

ಇದು ಎಲ್ಲಾ ದೋಷಗಳನ್ನು ತೆಗೆದುಹಾಕುತ್ತದೆಯೇ?

ಇಲ್ಲ. ನಾವು ನಿರ್ದಿಷ್ಟ ಗುಣವನ್ನು ಸ್ಪಷ್ಟ ಊಹೆಗಳು, ವ್ಯಾಪ್ತಿ ಮತ್ತು ಬೆಂಬಲಿತ Go ಉಪಸಮೂಹ ಒಳಗೆ ಮಾತ್ರ ಪರಿಶೀಲಿಸುತ್ತೇವೆ. ಇದು ಸಂಪೂರ್ಣ ಅಪ್ಲಿಕೇಶನ್ ಅಥವಾ ಬಾಹ್ಯ ವ್ಯವಸ್ಥೆಗಳಿಗೆ ಖಾತರಿ ನೀಡುವುದಿಲ್ಲ.

Lean ಅಥವಾ Rocq ಕಲಿಯಬೇಕೇ?

ಮೊದಲ ಪರಿಶೀಲನೆಗೆ ಅಗತ್ಯವಿಲ್ಲ. ಬಾಹ್ಯ I/O ಯಿಂದ ಬೇರ್ಪಡಿಸಿದ Go ನೀತಿ ಕಾರ್ಯ ಮತ್ತು ನೀವು ಖಾತರಿಪಡಿಸಬೇಕಾದ ಗುಣವನ್ನು ದೃಢಪಡಿಸುವುದರಿಂದ ಆರಂಭಿಸುತ್ತೇವೆ.

ಸರಿಯೇ ತಪ್ಪೇ ಎಂಬುದನ್ನು AI ತೀರ್ಮಾನಿಸುತ್ತದೆಯೇ?

ಇಲ್ಲ. Gemini ಗುಣಗಳು, ಪುರಾವೆ ತಂತ್ರಗಳು ಮತ್ತು ಪುರಾವೆ ಅಭ್ಯರ್ಥಿಗಳನ್ನು ರಚಿಸುತ್ತದೆ. ಸ್ವತಂತ್ರ MPK ಕರ್ಣಲ್ ಅಂತಿಮ ಪ್ರಮಾಣಪತ್ರವನ್ನು ಸ್ವೀಕರಿಸಬಹುದು ಅಥವಾ ತಿರಸ್ಕರಿಸಬಹುದು.

ಪುರಾವೆ ವಿಫಲವಾದರೆ ಏನಾಗುತ್ತದೆ?

ಫಲಿತಾಂಶವನ್ನು ಪ್ರತಿದರ್ಶನ, ನಿರ್ಧರಿಸಲಾಗಿಲ್ಲ ಅಥವಾ ವ್ಯಾಪ್ತಿಯಿಂದ ಹೊರಗೆ ಎಂದು ವರ್ಗೀಕರಿಸಿ, ಕಾರಣ, ಅಗತ್ಯ ವಿವರಣೆಗಳು, ಸಾಧ್ಯ ಸರಿಪಡಿಕೆಗಳು ಮತ್ತು ಪುರಾವೆ ನೀಡಬಹುದಾದ ಘಟಕವನ್ನು ಹೇಗೆ ಬೇರ್ಪಡಿಸಬೇಕು ಎಂಬುದನ್ನು ವಿವರಿಸುತ್ತೇವೆ.

ಇದನ್ನು CI/CD ಗೆ ಏಕೀಕರಿಸಬಹುದೇ?

ಪುರಾವೆ ಸಿದ್ಧತಾ ಪರಿಶೀಲನೆ ಗುರಿ ಮತ್ತು ಪುರಾವೆಯ ಸಾಧ್ಯತೆಯನ್ನು ದೃಢಪಡಿಸಿದ ನಂತರ, ನಿರಂತರ ಪರಿಶೀಲನೆಗಳು ಅಥವಾ CI/CD ಏಕೀಕರಣವನ್ನು ಪ್ರತ್ಯೇಕವಾಗಿ ಪ್ರಸ್ತಾಪಿಸಬಹುದು.

ವಿಚಾರಣೆಯೊಂದಿಗೆ ಕೋಡ್ ಕಳುಹಿಸಬೇಕೇ?

ಸಾರ್ವಜನಿಕ ಫಾರ್ಮ್‌ನಲ್ಲಿ ಗೋಪ್ಯ ಕೋಡ್ ಅಂಟಿಸುವ ಅಗತ್ಯವಿಲ್ಲ. ವಿಚಾರಣೆ ನಂತರ NDA ನಿರ್ವಹಣೆ ಮತ್ತು ಸುರಕ್ಷಿತ ಹಂಚಿಕೆ ವಿಧಾನವನ್ನು ದೃಢಪಡಿಸುತ್ತೇವೆ.

ಸಂಪರ್ಕ

ನಿಮ್ಮ ಕೋಡ್ ಪುರಾವೆಯಿಂದ ದೃಢಪಡಿಸಬಹುದೇ ಪರಿಶೀಲಿಸಿ.

ಯಾವ ವಿಫಲತೆ ಅತ್ಯಂತ ಮುಖ್ಯ ಮತ್ತು ಯಾವ Go ಕಾರ್ಯ ಪರಿಶೀಲಿಸಬೇಕು ಎಂದು ತಿಳಿಸಿ. ಸಾರ್ವಜನಿಕ ಫಾರ್ಮ್‌ನಲ್ಲಿ ಗೋಪ್ಯ ಕೋಡ್ ಅಂಟಿಸುವ ಅಗತ್ಯವಿಲ್ಲ.

NDA ಮತ್ತು ಸುರಕ್ಷಿತ ಕೋಡ್ ಹಂಚಿಕೆ ಬೆಂಬಲಿತ

ಸಾರ್ವಜನಿಕ ಫಾರ್ಮ್‌ನಲ್ಲಿ ಮೂಲ ಕೋಡ್, ಪ್ರವೇಶ ಮಾಹಿತಿಗಳು ಅಥವಾ ವೈಯಕ್ತಿಕ ಡೇಟಾ ನಮೂದಿಸಬೇಡಿ.

ಪೂರ್ವವೀಕ್ಷಣಾ ಸಲ್ಲಿಕೆ ಸ್ವೀಕರಿಸಲಾಗಿದೆ. ಉತ್ಪಾದನಾ ಸೈಟ್‌ನಲ್ಲಿ ಇದನ್ನು ಈಗಿರುವ ವಿಚಾರಣೆ ಹರಿವಿಗೆ ಸಂಪರ್ಕಿಸಿ.