روشهای صوری؛ از Property تا Assurance Case
راهنمای روشهای صوری از Property و Model تا Assumption، Model Checking، Proof، Tool، TCB، Refinement، Evidence و Formal Assurance Case.
۳۰ مهر ۱۴۰۴ ۱۶ دقیقه مطالعهوبلاگ تستریل
از طراحی تستکیس و مدیریت باگ تا اتوماسیون، تست امنیت و عملکرد؛ تجربههای کاربردی برای تیمهای QA و توسعه.
۳۳۵ مقاله
راهنمای روشهای صوری از 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.
۲۱ مهر ۱۴۰۴ ۱۵ دقیقه مطالعهایستگاه بعدی شما