روشهای صوری؛ از Property تا Assurance Case
راهنمای روشهای صوری از Property و Model تا Assumption، Model Checking، Proof، Tool، TCB، Refinement، Evidence و Formal Assurance Case.
۳۰ مهر ۱۴۰۴ ۱۶ دقیقه مطالعهنویسنده
محمد هستم، توسعهدهنده وب با بیش از ده سال تجربه در برنامهنویسی سمت سرور و کاربر. به یادگیری و اشتراکگذاری دانش علاقهمندم و اخیراً تمرکزم را روی حوزه تست نرمافزار گذاشتهام تا تجربیاتم را در این زمینه نیز به اشتراک بگذارم و به درک بهتر کیفیت نرمافزار کمک کنم.
۳۳۳ مقاله
راهنمای روشهای صوری از Property و Model تا Assumption، Model Checking، Proof، Tool، TCB، Refinement، Evidence و Formal Assurance Case.
۳۰ مهر ۱۴۰۴ ۱۶ دقیقه مطالعهراهنمای تست تصمیم خودکار از Input و Model تا Rule، Policy، Human Review، Action، Notice، Contest، Correction و Replay قابلممیزی.
۲۹ مهر ۱۴۰۴ ۱۸ دقیقه مطالعهراهنمای تست الگوهای تاریک از Choice و Disclosure تا Friction، State، Effect، Harm، Intent، Applicability، Remedy و Verification.
۲۸ مهر ۱۴۰۴ ۲۱ دقیقه مطالعهراهنمای تحلیل EULA و حل مجوز فعالیت تست از Formation و Contract Stack تا Permission، RoE، Data/Output، Run، Revocation و Correction.
۲۷ مهر ۱۴۰۴ ۲۱ دقیقه مطالعهراهنمای اتصال تعهدهای قانونی و قراردادی نرمافزار به Control، Test، Evidence، Finding، تصمیم انتشار و Correction؛ بدون صدور نظر حقوقی.
۲۶ مهر ۱۴۰۴ ۲۲ دقیقه مطالعهپاسخ کوتاه: وقتی یک متخصص نرمافزار با نشانهای از تخلف، خطر عمومی، پنهانکاری یا Retaliation روبهرو میشود، اقدام حرفهای این نیست که فوراً «همهچیز را کپی…
۲۵ مهر ۱۴۰۴ ۱۹ دقیقه مطالعهراهنمای ارزیابی انصاف AI از Harm، Population و Group تا Label، Metric، Threshold، Uncertainty، Trade-off، Monitoring و Fairness Claim.
۲۴ مهر ۱۴۰۴ ۲۱ دقیقه مطالعهراهنمای تعیین شمول الزام دسترسپذیری و ساخت ادعای محدود از Instrument و Scope تا WCAG Basis، Evaluation، Evidence و Correction.
۲۳ مهر ۱۴۰۴ ۱۹ دقیقه مطالعهراهنمای ساخت پرونده افشای هماهنگ آسیبپذیری؛ از مجوز، محدوده و گزارش امن تا Triage، Timeline، اصلاح، تصمیم انتشار و Correction.
۲۲ مهر ۱۴۰۴ ۲۲ دقیقه مطالعهراهنمای مجوز ابزار تست متنباز از Artifact، SPDX و Interaction تا Obligation، NOTICE، Source، Contribution، Review و Release.
۲۱ مهر ۱۴۰۴ ۱۵ دقیقه مطالعهایستگاه بعدی شما