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