این سایت در حال حاضر پشتیبانی نمی شود و امکان دارد داده های نشریات بروز نباشند
رایانش نرم و فناوری اطلاعات، جلد ۱۲، شماره ۳، صفحات ۷۴-۸۴
عنوان فارسی تولید خودکار مجموعه داده آزمون با هدف بهبود مکان‌یابی خطا مبتنی بر تحلیل علّی-آماری
چکیده فارسی مقاله روش‌های آماری مکان‌یابی خطا در نرم‌افزار وابستگی زیادی به داده‌های ورودی برنامه داشته و با تغییرات داده‌ها دچار ناپایداری می‌شوند. از این رو، تولید داده آزمون مناسب نقش کلیدی در کیفیت فرآیند مکان‌یابی خطای نرم‌افزار ایفاء می‌کند. در این مقاله، روشی برای بهبود مکان‌یابی خطا با تولید داده‌های آزمون جدید ارائه می‌شود. مجموعه آزمون به صورت کمینه و هدفمند، جهت تعیین شاخه خطادار و پس از آن جملات مظنون به خطای درون شاخه، تولید می‌گردد. ابتدا، محدوده جملات مظنون به خطا در یک مسیر اجرایی مشخص می‌شود. برای این کار، در مسیر اجرایی خطادار، شرط‌ها از انتها به ابتدا نقیض شده و با استفاده از حل‌کننده Z3  داده‌ آزمون برای مسیر مورد نظر ایجاد می‌گردد. سپس، برنامه مجدداً با داده آزمون‌های به دست آمده توسط فن اجرای نمادین پویا اجرا می‌شود. با توجه به موفق و یا ناموفق بودن اجرا، مشخص می‌کنیم که کدام شاخه مظنون به خطا است. بدین ترتیب، محدوده جملات برای اعمال روش علّی-آماری به حداقل ممکن می‌رسد. ارزیابی روش پیشنهادی روی چهار پروژه از مجموعه محک Defect4J، انجام شده است. نتایج نشان دهنده کشف %75 از خطاها با بررسی حداکثر یک درصد از کد این برنامه‌ها است که در مقایسه با کارهای موجود %98/17 بهبود دارد. همچنین، متوسط جملات مورد بررسی جهت کشف خطا، در بدترین حالت به میزان %78/16 کاهش داشته است.
کلیدواژه‌های فارسی مقاله اشاشکال‌زدایی، مکان‌یابی خطای نرم‌افزار، تحلیل علّی-آماری، تولید داده آزمون، اجرای نمادین پویا،
عنوان انگلیسی Automatic test data generation to improve fault-localization based on causal-statistical analysis
چکیده انگلیسی مقاله The statistical-based software fault localization approaches highly depend on the program inputs and become unstable as input data changes. Therefore, generating appropriate test data plays an essential role in the quality of the software fault-localization process. This paper presents an approach to improving program fault localization by generating new test data. The minimized test suite determines the faulty execution path and the fault suspiciousness of each statement in the path is generated. First, the suspicious statements in the faulty path are determined. To this aim, the conditions of the faulty execution path are contradicted from the end to the beginning, and test data is created for the desired path using the Z3 solver. Afterward, the program under test is executed with the generated test data using the Concolic testing technique. The fault-suspicious branch is determined depending on the passing or failing of the program execution. As a result, the region of statements for applying the causal-statistical approach is minimized. The proposed approach is evaluated on the four projects in the Defects4J benchmark. The results show that 75% of faults are localized by examining a maximum of 1% of the program's source code. Compared to the related work, the results have improved by 17.98%. Moreover, the mean number of sentences examined for fault localization decreases by 16.78% in the worst case.
کلیدواژه‌های انگلیسی مقاله اشاشکال‌زدایی, مکان‌یابی خطای نرم‌افزار, تحلیل علّی-آماری, تولید داده آزمون, اجرای نمادین پویا
نویسندگان مقاله مرتضی ذاکری نصرآبادی |
دانشکده مهندسی کامپیوتر، دانشگاه علم و صنعت ایران، تهران، ایران.

سعید پارسا |
دانشکده مهندسی کامپیوتر، دانشگاه علم و صنعت ایران، تهران، ایران.

زهرا حیاتی |
دانشکده مهندسی کامپیوتر، دانشگاه علم و صنعت ایران، تهران، ایران.

نشانی اینترنتی https://jscit.nit.ac.ir/article_188522_8e9557e30afb680fa5288a226f18820c.pdf
فایل مقاله فایلی برای مقاله ذخیره نشده است
کد مقاله (doi)
زبان مقاله منتشر شده fa
موضوعات مقاله منتشر شده
نوع مقاله منتشر شده
برگشت به: صفحه اول پایگاه   |   نسخه مرتبط   |   نشریه مرتبط   |   فهرست نشریات