Fuzzy Set Abstraction

تجزیه و تحلیل برنامه نقش مهمی در بهبود نرم افزار مدرن دارد. تجزیه و تحلیل استاتیک (صدا) تولید نتایج صحیح، اما اغلب بدبینانه در حالی که تجزیه و تحلیل پویا (کامل) نتایج بسیار دقیق، اما با پوشش محدود است. ما انتزاعی مجموعه ای از فازی را ارائه می دهیم که کار قبلی را بر مبنای منطق ارزش سه گانه به کار می گیرد. انتزاع ما اجازه می دهد برای تجزیه و تحلیل ترکیبی که در آن نتایج ایستا به صورت پویا از طریق استفاده از سیستم های کنترل فازی تصحیح می شود.