چکيده
تحليل ايستاي كد بدون توجه به رفتار زمان اجراي برنامه ها، سعي مي كند مكان‌هاي احتمالي خطا را شناسايي نمايد. خطاخيزي كد، عاملي مؤثر در تحليل ايستا جهت يافتن مكان احتمالي خطا در برنامه ها است. خطاخيزي وابسته به چگونگي نگارش كدِ مشخص مي باشد. در اين راستا مجموعه اي از عوامل مؤثر در خطاخيز بودن بخش هاي مختلف برنامه ها ارائه شده است. با جمع آوري تعدادي گزارش خطا، مي توان با تحليل و بررسي آنها مجموعه اي از قواعد ضمني كه باعث ايجاد خطا مي شوند را استخراج كرد. با استفاده از اين قواعد مي توان الگوهاي خطا را تعريف نمود. بر اين اساس مي توان بخش هايي از كد كه با اين الگوها همخواني دارند را به عنوان بخش هاي مشكوك به خطا شناسايي كرد. تحليل ايستاي كد داراي نرخ بالايي از مثبت ها و منفي هاي كاذب مي باشد.
استفاده از راه‌كارهاي دقيق تر تحليل ايستاي كد و توجه به الگوهاي خطاهاي مختلف در فرآيند برآورد احتمالات خطاخيزي بخش‌هاي مختلف كد و نيز پالايش بهتر وزن هاي بدست آمده مي تواند نرخ مثبت ها و منفي هاي كاذب را كاهش دهد. همچنين مي توان روش هاي تحليل ايستاي كد را با روش هاي پويا مانند روش هاي آماري و آزمون فازي تركيب نمود. براي بهره مندي از مزاياي روشهاي ايستا و پويا و غلبه بر نقاط ضعف آنها، مي توان در حين برآورد امتياز مظنون به خطايي جملات برنامه، علاوه بر ارتباط آن جمله با وضعيت خروجي برنامه كه براساس مشاهدات زمان اجرا انجام مي گيرد، از ميزان همخواني و مطابقت آن جمله با الگوهاي كد خطادار نيز استفاده كرد. نتيجه ي اين كار افزايش دقت اين روش‌ها و كاهش وابستگي روشهاي پويا به داده‌هاي مربوط به اجراهاي برنامه خواهد بود.
