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

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

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

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

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

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

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

مقدمه: ارگونومی شامل، مباحث علمی است که محیط و شرایط مناسب برای عملکرد بهینه انسان را طـــراحی می نماید و یکی از مهم ترین نتایج آن ایجاد راحتی است. راحتی نقش مهمی در بکارگیری ابزار دستی از جمله خودکار، به عنوان یک وسیله نوشتاری دارد. هدف از اجرای این پژوهش، ارزیابی و مقایسه راحتی یک مدل خودکار ارگونومیک یعنی Penagain با دو مدل خودکار غیرارگونومیک موجود در بازار یعنی Bocheng و Stabilo می باشد. ...