8157

8157

ارائه سيستم براي كشف نامتغيرهاي شرطي در متن برنامه با استفاده از قوانين انجمني

1390

1390

دكتر بهروز مينايي

مهندسي نرمافزار داراي فرآيندهايي از جمله طراحي، پياده سازي و تغيير و نگهداشت نرمافزار است كه همه اين فرآيندها براي توليد و توسعه نرمافزار، با سرعت و كيفيت بالاتر انجام ميگيرد. نامتغيرها خصوصيات هميشه صحيح متن برنامه است كه با وجود استفاده زياد در تشخيص خطاي برنامه، همه مراحل مهندسي نرمافزار از طراحي تا نگهداشت را سادهتر ميسازد. بنابراين هر فعاليتي در بدست آوردن نامتغيرهاي مرتبطتر و گوياتر ميتواند كمك كننده باشد. با توجه به كاربرد زياد آرايهها در برنامهها، بهبود نامتغيرها در مورد اين ساختارهاي پركاربرد ميتواند بسيار كمك كننده باشد. همچنين كشف و استخراج نوع ويژهاي از نامتغيرها كه در حالت خاص و طي شرايطي به وجود ميآيند منجر به توليد نامتغيرهاي پر تكرارتر و مرتبطتر ميشود. اين نوع از نامتغيرها كه ما آنها را نامتغيرهاي شرطي ناميدهايم ميتوانند رفتار برنامهاي كه در پي استخراج نامتغيرهاي آن هستيم را بهتر توصيف كنند. در اين راستا با اجراهاي آزمايشي برنامه مورد آزمون ميتوان خصوصيات متغيرها و روابط بين متغيرهاي نقاط خاص برنامه را در هر اجرا بدست آورد. منظور از نقاط خاص برنامه، هنگام ورود به توابع و هنگام خروج از توابع است. در هر نقطه خاص از برنامه، هر كدام از خصوصيات و روابط در فايلي نگهداري ميشود آنگاه با استفاده از روشهاي متفاوت از جمله داده كاوي ميتوان از اين خصوصيات قوانين انجمني را كشف و استخراج كرد. اين قوانين انجمني همان نامتغيرهاي شرطي هستند. كلمات كليدي : نامتغير، قوانين انجمني، كشف پويا، خطايابي نرمافزار، دايكون، داده كاوي