آزمایشگاه مهندسی نرم‌افزار

صفحه 1:
آزمایشگاه مهندسی نرم افزار 5۲ مدرس: ریحانه خورسند 

صفحه 2:


صفحه 3:
بهترین روش برای نشان دادن نیازمندی های نرم افزار کامپیوتری؟ ۲ مدلسازي تحليلي چیست؟ مدلسازي تحليلي براي نشان دادن نيازمنديهاي داده ها . تلبع - کارکرد و رفتارتركيبي از متن واشکال نموداري به گونه اي استفاده میکند که درك آن ساده است و مهمتر آنکه بررسي صحت . کامل وسازگار یودن آن بسیار ساده وآسان میباشد . ۱ چه کسی کار مدلسازی تحلیلی رالنجام می دهد؟ يك مهندس نرم افزار که تحلیلگر نیز نامیده میشود با استفاده از نيازمنديهاي مشتري مدل مورد نیاز را ميسازد 

صفحه 4:
به جهت اینکه مدلسازي تحليلي نیازمندیها را به صورت سه بعدي نمایش مي دهد و بدین ترتیب احتمال یافتن خطاها وناسازگاریها افزایش میابد این روش اهمیت پیدا کرده است . ‎3٩‏ مراحل کار: ‏1 مدلسازي نيازمنديهاي داده اي . كاركردي و رفتاري ‏2 پالایش وتجزیه و تحلیل مدلها براي‌لرزيابي کامل بودن ۰ سازگاري و صحیح بودن 3 تشکیل مشخصه مدل مورد نظر ‏4 تایید توسط مهندسین وکاربران 

صفحه 5:
اح محصول كار جيست؟ توضيحات مربوط به اشياء حلده اي ‎٠‏ نمودلر رابطه هاي رابطه - موجوديت ‎٠‏ نمودارجریان داده ها ۰ نمودارهاي انتقال وضعیت . مشخصه هاي پردازشي ومشخصه هاي کنترل *_چگونگي حصول اطمینان از درستي انجام کار بوسیله بررسي مجدد از لحاظ صحت ۰ کامل وسازگار بودن . تحليلي عبارتند از 

صفحه 6:
* بخشهاي تحلیل ساخت يافته از نظر "تام دماكرو" : © نتايج تحليل بايد قابل تعمير ونكهداري باشد . (©© مشكلات مربوط به اندازه بايد با استفاده از شيوه مؤثرومناسب تقسيم بندي «برطرف شوند. © در صورت لمكان وهركجا ميشود بايد از علائم كرافيكي استفاده كرد . 6 جدا کردن مفروضات منطقي ( ضروري ) و فيزيكي ( بياده سازي ) از يكديكر 

صفحه 7:
< مدل تحلیلی ساخت یافته باید سه هدف زیر را دنبال کند : 1( توصیف نیاز مشتري 2 به وجود آوردن مبنايي برلي ایجاد طراحي نرم افزاري 3 تعریف مجموعه اي از نیازمندیها که پس لز ساخته شدن نرم اقزار میتوانند معتبر شوند 

صفحه 8:
اي شامل توضیحات مربوط به تمام اشیءداده اي مصرف شده یا به وجود امه توسط تم فزر ‎(ERD : Entity =>‏ رویط موجود میان اشیءداده اي ‎(DFD : Data Flow Diagram) *‏ دوهدف مهم را برآوردهمیسازد ‏فراه مگردن شاخصي در ارتباط با نحوه تبدیل داده ها هنگام حرکت داده ها در طول سیستم نشان دادن کراکترهای اصلي وفرعي که تبدیل وتغییر جربان داده ها را نجام میدهند ‎Saas lee (STD : State Transition Diagram) © i ‏رانشان میدهد.‎ ‎ ‎<= ‎4 6 . 2 

صفحه 9:
مدل سازی داده ها ويژگيهاي نموداررابطه - موجودیت (4200 : 1 استفاده از نشانه گذاري گرلفيکي 2 تاکید برداده ها وایجاد يك شبکه داده اي 3( مفید بودن در مواردي که داده ها وروابط موجود بر داده ها پیچیده اند . 

صفحه 10:
مدل سازی داده ها > مدل داده ها از سه بخش اطلاعاتي تشکیل شده که عبارتند از: = شيء داده اي : که نشانگر هر يك از ترکیبات اطلاعاتي است که باید توسط نرم افزار درك شود . منظور از اطلاعات ترکیب شده . اطلاعاتي است که داراي ویژگیها و صفات خاصه متفاوت باشند مثل یک فرد یک مقدار تنها و بدون ترکیب نمی تواند یک شی داده ای معتبر باشد. صفات خاضه شیء داده ای: = مشخصات يك نمونه شيء را تعریف میکنند . این صفات را میتوان براي نامگذاري نمونه اي از اشیاء داده اي « توصیف نمونه مفروض ویا ارجاع به نمونه اي دیگر در جدول ديگري استفاده کرد . به هر حال يك يا جند صفت به عنوان شناسه تعریف ميشوند كه براي يافتن نمونه اي از شيء داده اي يك كليد محسوب میشوند = روابط : اشیاء داده اي به اشکال وشیوه هاي مختلف به یکدیگر مرتبط شده اند . 

صفحه 11:


صفحه 12:
براي رسیدن به اهداف مهندسي نرم افزار علاوه بر اطلاعات فوق ما باید بدانیم چه تعداد از اشیاء با هم در لمرتباطند ؟ جه تعداد از شيئ * با جه تعداد از شيئ لا در ارتباط مى باشد. تعداد وقوع اشياء در يك رابطه رانشان مي دهد و به سه دسته يك به يك (1:1) ۰ يك به بیشمار(۱: ۵ وبیشمار به پیشمار(]1۷: اهتقسیم میشود اگر وجود رابطه میان دو شيء مختلف به صورت انتخابي باشد ویا نيازي براي برقراري ارتباط وجود نداشته باشد مداليته رابطه صفر خواهد بود . 7 

صفحه 13:
نرم افزار ثبت نام پروژه فارغ التحصیلی خصوصیات: آهر استاد حداقل یک پروژه دارد. این حالت قطعی دلالت دارد بر اين که برای گرفتن درس پروژه باید یک دانشجو وجود داشته باشد اهمه ی دانشجویان ترم آخر نیستند. یک پروژه توسط چند دانشجو هم می تواند اتخاذ شود. ممکن است وضعیتی وجود داشته باشد که در آن دانشجو درس پروزه را نداشته باشد. 

صفحه 14:
۰ ها از ورودی به خروجی گرافیکی است که جریان اطلاعات و تبدیلاتی را که در ضمن حرکت داده ها از ورو نمایش گرافیکی است که جریا انجام می شوند نشان می دهد . ‎Por 22‏ داده خروجى ‏— سس ‎ 

صفحه 15:
)© یک چهارضلمی برای نمایش یک موجودیت خارجی استفاده می شود یعنی یک جزء از سیستم(برای مثال سخت افزار . یک فرد برنامه ای دیگر) یا سیستمی دیگر که اطلاعاتی را برای تبدیل توسط نرم افزار تليق فى كدق يك دايره به نام حباب يك فرايند يا تبديل را نشان مى دهد كه بر روى داده يا كنترل به كار كرفته مى شود و آن را تغيير مى دهد. © يك ييكان يك يا جند شىء داده را نشان مى دهد.تمام ييكان هاى يك نمودار جريان داده بايد داراى برچسب باشند. )© خط دوگانه نشان دهنده ی یک حافظه ی داده ها می باشد به معنی اطلاعات ذخیره شده ای که توسط نرم افزار استفاده می شوند. مب نمایش صریحی برای دنباله ی پردازش یا منطق شرطی در این دیاگرام وجود ندارد پس ۳10 را با فلوچارت اشتباه نکنید. 

صفحه 16:
۷ ۳12( ها می‌توانند به سطوحیت_قسیم ب_دی‌شوند که جریانرو به لفزلیشطاهاتو جزئیاتعملکردیرا 1۳1 بط ‎os‏ اسر موی امد هه موی امه و کلم جرم لقن ر] صورت یک حباب همراه با داده های ورودی و خروجی نشان داده شده فوسط پیکان های وارد شده و خارج شذه نشان می دهد. 7 تداوم جریان اطلاعات باید وجود داشته باشد یعنی ورودی و خروجی هر پالایش باید مشابه باشد. به اين مفهوم بالانس بودن نامیده می شود. 

صفحه 17:
ناد 1 ‏راق سيستم‎ Jae” ‏ورودی اولیه ۸ وخروجی احتمالی 13 است.‎ _ * 55 1 7 ‏مدل به تبديلات 11 تا‎ * پالایش می شود. 00 ۹ / 

صفحه 18:
رم افزار پذیرش دانشجو : نرم افزار توسط کلاینت مشخصات دانشجو را دریافت و در سرور بر اساس مشخصات دانشجو یک شماره دانشجویی تولید و آن می دهد. اليد مشخصات را ثبت می کند. و نیز شماره دانشجویی را در کلاینت این رم افزار مشخصات دروس را نیز دریافت کرده و در سرور شماره درس را تولید و کلیه مشخصات درس را ‎zon’ ©‏ نرم افزار در زمان ثبت نام دانشجويان ‎٠‏ شماره دانشجویی را دریافت کرده و در صورت وجود آن شماره در انباره ؛ مجوز ثبت نام دروس دانشجو را توسط کلاینت می دهد سپس دانشجو دروس اختیاری خود را پلرد کرده و در صورت وجود آن دروس در بانک اطلاعاتی . توسط کلاینت قطعی بودن ثبت نام دانشجو به او اعلام می شود. ‎DFD 5 ERD 50505‏ اين نرم افزار را رسم کنید. ‎ 

صفحه 19:
یک سیستم بلادرنك بايد با دنياى واقعى در يك فريم زمانى مشخص شده توسط آن ارتباط برقرار نمايد . مثال: ناوبرى هوابيما . كنترل فرايند توليد .محصولات مشترى و تجهيزات صنعتى براي تطابق دادن تحليل نرم افزار بلادرنك تعدادي كارهاي تكميلي در زمينه طرحلموليه تحليل ساخت يافته انجام شده | 1 فعالیت های تکمیلی ۷۵۲0 و ‎Mellor‏ 2) فعالیت های تکمیلی ۴1۵1167 , ‎Pirbhai‏ 9 . اب-7 

صفحه 20:
Mellor , Ward b055 cle chs ‏((0)جریاناطلاعات بر ینای زمان پیوسته تولید می شود(مکانیزمیبرای نمایش جریان داده پیوسته زمانی)‎ مثالزیک سیستم بلادرنگ نظارت بر آزمایش برای توربین های بخار ممکن است نیازمند نظارت بر سرعت توربین « درجه حرارت احتراق و به ضوزتت پیوستهبشند. با یک قلش‌برای نمایش جریان داده گسسته قلش‌برای نمایش جریان داده پیوسته 1 ارت ورودى بيوسته ب حراره خروجی پیوسته 

صفحه 21:
رل از سیستم عبور می کند و پردازش های مربوط بر روی کنترل انجام می شود. جریان کنترل با استفاده از پیکان های خط چین تمایش داده می شود. ایند کنترل: فرایندی که فقط اداره کننده ی جریان های کنترل باشد که با استفاده از حباب خط چین تمایش داده ‎Ly‏ رل: فرایندی ار ی جریان های از چین نمایش می شود. ‎a‏ ‏حركت هشدار م - -- ۳۳ ‎Ay‏ نفد 2۳ فیل فرمان های روبات الم ديدكاه سطح بالا از جريان دادم ,ها و كتترل ها برای یک داح ای سس 

صفحه 22:
۱/۱ aa 00 omer) © چندین نمونه از یک بانک اطلاعاتی گاهی در موارد چند برنامه سازی استفاده می شود. براى نمونه در مثال قبل جند بافر وضعيت قطعات نظارت مى شوند به كونه اى كه به روبات هائ متفاوت در زمان"های مناسب سیگنال داده شود و هر روبات می تواند سیستم کنترل خود را داشته باشد. سیستم ها دارای حالت ها و مکانیزم هایی هستند که باعث تغییر حالت می شوند. 

صفحه 23:
عتکمیلی161 1۵ و از © ایجاد نمودارجریان کنترل (12072۳0ظ ۳10۲۷۲ [0۳۲۳0)) (۳1) که داراي فرآيندهايي مشابه 2۳1 است اما به جاي نشان دادن جریان داده ها به نمایش دادن جریان کنترل مي پردازد © ‎4CSPEC : control specification) Jas claxn. >‏ ‎Det glide Gy, 99 4y pra bid, Sts (CSPEC) J a8 clasts‏ 2 شخصات کنترل حاوي نمودار تفییرحالت ((11 ‎4٩‏ هستند که این نمودار نشانگر مشخصات ترتیبی رفتار ميباشد همجنين مشخصات كنترل ميتوانند داراي جدول فعالسازي برنامه اي - يعني مشخصات تركيبي رفتار - باشند . دقت كنيد كه اين مشخصات اكرجه رفتارسيستم راتوصيف ميكنند اما اطلاعاتي در مورد كار داخلي فرآيندهاي فعال شده در نتيجه اين اين رفتار را به ما نمي دهند . مشخصات كنترل براي نشان دادن موارد زيربه كار ميروند : 1( نحوه عملكرد نرم افزارهنكام دريافت يك رويداد يا سيكنال كنترل 2) تعيين نوع فرآيندهابي كه در نتيجه به وقوع ييوستن يك رويداد ايجاد مي شوند . 

صفحه 24:
۱ > مشخصات 441,3: ‎(PSPEC : process specification)‏ ازمشخصات فرآیندبراي توصیف تمام فرآيندهاي مدل جريان که در سطح باياني بالايش ظاهر ميشوند استفاده مي گردد . محتویات مشخصات فرآیند عبارتند از متن روايتي 4PDL : Program Design Language) al, 21,6 3b; ‏توصیف وتوضیح الگوریتم فرآیند‎ معادلات رياضي جداول تمونارها با چارت ها Soy Ro Ny 

صفحه 25:
نمودار تغییر حالت . نشان دهنده رفتار سیستم با استفاده از مشخص نمودن حالت ها و وقایعی است که باعث تفییر حالتها می شوند. علاوه بر اين ‎٩12‏ نشان می دهد که چه عکس العمل هایی (برای مثال فعالسازی فرایند) در نتيجه ی واقعه ی خاص انجام می شود. هر حالت می تواند یک مود رفتاری باشد. مثال: حالت ها برای سیستم نظارت و کنترل شیرهای فشار می تواند حالت نظارت محالت آرام و حالت خروج باشد. ON ‏ور‎ oe 

صفحه 26:
چهارضلعی ها حالت های سیستم را نشان می دهند. ان ها نشان دهنده ی تغییر حالت های بین آن ها می باشند. هر پیکان با عبارتی قانونمند برچسب زده می شود : مقدار بالایی برچسب نشان دهنده ی وقایعی است که باعث انجام تغییر حالت می شوند. مقدار پایین برچسب نشان دهنده ی عملی است که در نتیجه ی آن واقعه انجام می شود. 

صفحه 27:
نمودار تغییر حالت ساده شده برای دستگاه کپی بیکار ا .اشرو فراخوانی خواندن ورودی کاربر ب ۲ ایس فراخوانی مدیریت کپی اخوانی خواندن ورودی اپراتور فراخوانی تغذیه مجدد کاغذ كيز تكرده فراخوانی خواندن ورودی کاربر 

صفحه 28:
واژه نامه(فرهنگ)داده ها ليستي سازمان یافته از تمام عناصرداده اي است که در ارتباط با سیستم مي باشد 1 5 . دراين ليست تعاريف دقيق ومشخصي وجود دارد كه هم كاربر و هم تحليلكر سيستم درك مشتركي ازوروديء خروجيء اجزاي ذخيره شده و حتي محاسبات مياني خواهند داشت. واژه نامه ها داراي اطلاعات زیر مي باشند : * نام ۴ نام مستعار ۴ محل استفاده و نحوه استفاده توضیح محتویات * اطلاعات تكميلي درزمينه نوع داده هاء مقادي زييش تنظيم شده. محدوديتها يا موانع ومواردي از اين 

صفحه 29:
پردازش کلمه عبور a اطلاعات پیکربندی پردازش موجودیت انباره DFD ERD DFD داده های پیکربندی داده های پیکربندی کلمه عبور را چک می کند که آیا در لیست لعضا وجود دارد یا خیر؟ فعال و غیرفعال می شود داده های پیکریندی از آن خوانده شده یا در آن ثبت می شوند.