روشهای صوری؛ از 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.
۲۱ مهر ۱۴۰۴ ۱۵ دقیقه مطالعهایستگاه بعدی شما