← تخصص‌ها

توسعه سفارشی

تست و راستی‌آزمایی قرارداد هوشمند.

با invariantهای صریح، سناریوهای خصمانه و محیط‌های بازبینی قابل‌بازتولید، برای رفتار قرارداد شواهد مهندسی بسازید.

شروع پروژه

دامنه‌ای متناسب با پروژه شما.

تست‌ها باید توضیح دهند وقتی فراخواننده‌ها، زمان‌بندی و وضعیت تغییر می‌کنند، چه چیزهایی باید همچنان برقرار بماند. ما از مدل مجوزدهی، قواعد حفظ ارزش و فرض‌های ارتقا شروع می‌کنیم و سپس تست‌های واحد، یکپارچه‌سازی و invariant را بر همان اساس می‌سازیم. محیط‌های fork شده یا نماینده می‌توانند وابستگی‌های خارجی و رفتارهای غیرمعمول توکن‌ها را تمرین کنند. یافته‌ها به موارد قابل‌بازتولید با مالک مشخص و شواهد تست مجدد تبدیل می‌شوند. این خدمت اطمینان مهندسی را تقویت می‌کند و مواد لازم برای حسابرسان مستقل را آماده می‌سازد؛ اما به‌عنوان گواهی حسابرسی مستقل یا تضمین نبود آسیب‌پذیری در قرارداد ارائه نمی‌شود.

چه چیزهایی می‌توانیم تحویل دهیم

نقشه رفتار مبتنی بر تهدید و invariantهای صریح قرارداد.
تست‌های قابل‌بازتولید برای نقش‌ها، حالت‌های مرزی، ارتقاها و یکپارچه‌سازی‌های خارجی.
دفتر ثبت یافته‌ها همراه با منطق شدت، اصلاح و شواهد تست مجدد.
دستورالعمل‌های build آماده بازبینی، فهرست وابستگی‌ها و کنترل‌های انتشار.
01

تجربه کاربری

از آدم‌ها، مسیرهای کاربر و تصمیم‌هایی شروع کنید که محصول باید در گرفتنشان کمک کند.

02

معماری

مالکیت داده، مرزهای یکپارچه‌سازی و مسئولیت‌های عملیاتی را تعریف کنید.

03

تحویل

روی مایلستون‌ها، کنترل‌های پذیرش، مستندات و نگه‌داری مداوم توافق کنید.

تخصص‌های مرتبط

طراحی، امنیت و تحویلاستراتژی و طراحی محصولطراحی، امنیت و تحویلمهندسی امنیت و آمادگی برای auditطراحی، امنیت و تحویلکشف محصول و تیم مهندسی اختصاصی