ترمیم خودکار برنامه ها هدفی دیرینه در مهندسی نرم افزار می باشد. درحال حاضر خطازدایی فرایندی دستی، دشوار و زمان بر می باشد. رویکردهای ارائه شده در این زمینه کیفیت و قابلیت اجرایی بالا و قابلیت استفاده به صورت عملی برای توسعه-دهندگان ندارند. در این رساله رویکردی ارائه گردیده تا بتواند از تلاش های قبلی توسعه دهندگان برای خطازدایی کدهای مشابه بهره برداری کند. بدین منظور پایگاه داده ای از خطاهای قبل...

آزمون خودکار با استفاده از ضوابط نرم افزار از مهمترین زمینه های تحقیقاتی آزمون نرم افزار می باشد. اهمیت آزمون خودکار در کاهش هزینه های تولید نرم افزار و بالا بردن ضریب اطمینان به نرم افزار است. روش های موجود برای آزمون خودکار با تعریف معیارهای مورد نیاز که وابسته به کد و یا ضوابط نرم افزار می باشد، به دنبال تولید داده آزمون به منظور پوشش معیارها، اجرای آزمون روی برنامه و بررسی نتایج حاصل با ارا...

امروزه کاربرد مهندسی کنترل مخصوص به دسته ای خاص از رشته ها نیست و گسترۀ وسیعی از مسائل روزمره را دربرمی گیرد. بنابراین درس کنترل خودکار به عنوان یک درس سه واحدی در بسیاری از رشته های مهندسی ارائه می شود. دسترسی نداشتن به اهداف آموزشی درس کنترل خودکار علاوه بر زیانهای کوتاه مدت آموزشی مذکور، باعث کاهش توانایی دانش آموختگان در بازار کار خواهد شد. در این مقاله روشی نوین بر مبنای نرم افزار متلب برا...

با توجه به رشد روز¬افزون بازار فروش نرم¬افزار و نیاز¬های اساسی جامعه به محصولات نرم¬افزاری، فرایند آزمون نرم¬افزار هم از لحاظ کیفی و هم از لحاظ قابلیت اطمینان حائز اهمیت است. این آزمون به بررسی کیفیت یک محصول در جهت یافتن خطاها اقدام می¬کند. آزمون فقط می¬تواند وجود خطاها را نشان دهد ولی نمی¬تواند عدم وجود خطا را تضمین نماید. آزمون نرم¬افزار در ارتباط با دو موضوع مطرح می شود: 1) آیا نرم¬افزار به...

امروزه اطمینان از امنیت برنامه های کاربردی مبتنی بر وب مسأله ای اساسی برای تولیدکنندگان و همچنین مشتریان این برنامه ها است. سازمان های زیادی وجود دارند که برنامه های مبتنی بر وب را مورد ارزیابی امنیتی قرار داده و در صورت ایمن بودن به آنها گواهینامه ی امنیتی می دهند. در این مقاله چارچوبی ارائه شده است که تنها به تأیید ایمن بودن برنامه بسنده نمی کند، بلکه میزان ایمن بودن برنامه را با انتساب نمره ...

چکیده ندارد.