ارائه دهنده: رضوان شیروی خوزانی استاد راهنما: دکتر...
DESCRIPTION
دانشگاه صنعتی امیرکبیر دانشکده مهندسی کامپیوتر و فناوری اطلاعات. ارائه یک مدل فرآیند جدید جهت پردازش نیازمندی ها برای سیستم های حساس با تاکید بر صحت سنجی و اعتبارسنجی. ارائه دهنده: رضوان شیروی خوزانی استاد راهنما: دکتر عبداله زاده بارفروش. 1. 2. 3. 4. 5. مقدمه. - PowerPoint PPT PresentationTRANSCRIPT
دمن
شوهی
هام
ستسی
ه گا
شمای
آز
رضوان شیروی خوزانیارائه دهنده: دکتر عبداله زاده بارفروشاستاد راهنما:
دانشگاه صنعتی امیرکبیردانشکده مهندسی کامپیوتر و فناوری
اطالعات
مدل فرآیند جدید یک ارائه ها جهت پردازش نیازمندی
های حساس با برای سیستمسنجی و تاکید بر صحت
اعتبارسنجی
دمن
شوهی
هام
ستسی
ه گا
شای
مآز
ها برای سیستم های حساس با تاکید بر صحت مدل فرآیند جدید جهت پردازش نیازمندییک ارائه ، رضوان شیرویسنجی و اعتبارسنجی
فهرست مطالب
مقدمه 1
تکنیک های صحت سنجی و اعتبارسنجی
2
روش پیشنهادی 3
ارزیابی 4
نتیجه گیری و پیشنهادات 5
دمن
شوهی
هام
ستسی
ه گا
شای
مآز
ها برای سیستم های حساس با تاکید بر صحت مدل فرآیند جدید جهت پردازش نیازمندییک ارائه ، رضوان شیرویسنجی و اعتبارسنجی
مقدجایگاه پروژهمه
تعاریف
دستاوردها
هدف پروژه
دمن
شوهی
هام
ستسی
ه گا
شای
مآز
ها برای سیستم های حساس با تاکید بر صحت مدل فرآیند جدید جهت پردازش نیازمندییک ارائه 2، رضوان شیرویسنجی و اعتبارسنجی
مقدمه
ارزیابی
روش پیشنهادی
تکنیک های صحت سنجی و
اعتبارسنجی
نتیجه گیری و
پیشنهادات
سیستم حساس•
منجر به بروز خطر و محوله بروز هرگونه اختالل در عمکردهای –گردد های فیزیکی می های مالی و جانی زیاد و خرابی خسارت وقوع
باشند. ناپذیر می که بعضا جبران
مهندسی نیازمندی•
شناسایی و توصیف نیازمندی ها–پلی بین نیازهای مشتری و کاربران در دنیای واقعی، و عوامل و –
محدودیت های تاثیرگذار بر روی سیستم
تعاریف
دمن
شوهی
هام
ستسی
ه گا
شای
مآز
ها برای سیستم های حساس با تاکید بر صحت مدل فرآیند جدید جهت پردازش نیازمندییک ارائه 3، رضوان شیرویسنجی و اعتبارسنجی
مقدمه
ارزیابی
روش پیشنهادی
تکنیک های صحت سنجی و
اعتبارسنجی
نتیجه گیری و
پیشنهادات
تعاریف
صحت سنجی•
های درستی عملکرد، پیاده سازی و برآورده شدن نیازمندی –نماید. کارکردی و غیرکارکردی تعریف شده را بررسی می
اعتبارسنجی•
های مشتری در نرم افزار را مورد بررسی برآورده شدن نیازمندی–قرار می دهد.
دمن
شوهی
هام
ستسی
ه گا
شای
مآز
ها برای سیستم های حساس با تاکید بر صحت مدل فرآیند جدید جهت پردازش نیازمندییک ارائه ، رضوان شیرویسنجی و اعتبارسنجی
Software
User
Process
Critical
ApplicationSystem
Programming
Architecture
Source
Scale
جایگاه سیستم های حساس
4
مقدمه
ارزیابیروش پیشنهاد
ی
تکنیک های
صحت سنجی و اعتبارس
نجی
نتیجه گیری و
پیشنهادات
دسته بندی انواع سیستم های نرم
افزاری از دیدگاه های مختلف
Software
Arthitecture
Programming
Process
System
User
Input & Output
Scale
Appllication
Medium
Large
Small
Very Large
Single User
Multi User
Batch
Online
Multi tasking
Real time
Soft Real time
Hard Real time
Data Center
Data Flow
Data Sharing
Virtual Machine
Independent Component
Interactive Process
Hierarchy
Call and Retutn
Cellular
Extreme
Genetic
Java Mobile
Multithread
Ruby
Socket
Software
Windows
Web
BIOS
Firmware
OS
Utility
Data
Knowledge
Application Consumer
System Infrastructure
Enterprise
Educational
Engineering/Scientific
Web Application
Business
Management
Network
Testware
Information
Open World
Artificial Intelligent
Security
Duty
Source
Close Source
Open Source
Free Source
Control
Communication
Environment
Manufacturing
Embeded
Product-Line
Management
Computing
Business
Critical
Failure Result
Scale
Focus
Safety
Security
Dependability
Real Time
Safety
Mission
Business
Large
Very Large
Enterprise
دمن
شوهی
هام
ستسی
ه گا
شای
مآز
Critical
Failure Result
Scale
Focus
Safety
Security
Dependability
Real Time
Safety
Mission
Business
Large
Very Large
دمن
شوهی
هام
ستسی
ه گا
شای
مآز
ها برای سیستم های حساس با تاکید بر صحت مدل فرآیند جدید جهت پردازش نیازمندییک ارائه 6، رضوان شیرویسنجی و اعتبارسنجی
ارائIه تکIنیکی مناسIب جهت اجIرای صحت سIنجی و •اعتبارسIنجی در فراینIد مهندسIی نیازمنIدی بIا توجIه
ویژگی کیفیت بIIه و حسIIاس سیسIIتم های هIIای موردانتظار در آن ها.
مشIخص نمIودن جایگIاه تکنیIک پیشIنهادی در مIدل •فرایند مهندسی نیازمندی.
مقدمه
ارزیابی
روش پیشنهادی
تکنیک های صحت سنجی و
اعتبارسنجی
نتیجه گیری و
پیشنهادات
هدف پروژه
دمن
شوهی
هام
ستسی
ه گا
شای
مآز
ها برای سیستم های حساس با تاکید بر صحت مدل فرآیند جدید جهت پردازش نیازمندییک ارائه 7، رضوان شیرویسنجی و اعتبارسنجی
مقدمه
ارزیابی
روش پیشنهادی
تکنیک های صحت سنجی و
اعتبارسنجی
نتیجه گیری و
پیشنهادات
جایگاه پروژه
مهندسی نرم افزار
آنالیزطراح
ینگهدار
یتست
پیاده سازی
مدل کردن
مهندسی نیازمندی
استخراج
صحت سنجی و اعتبارسنجی
آنالیز و امکان سنجی
مستند کردن
استخراج
دمن
شوهی
هام
ستسی
ه گا
شای
مآز
ها برای سیستم های حساس با تاکید بر صحت مدل فرآیند جدید جهت پردازش نیازمندییک ارائه 8، رضوان شیرویسنجی و اعتبارسنجی
در راستای انجام پروژه کارهای ذیل انجام شد:•
های نرم افزاری بندی سیستم دسته
سنجی و اعتبارسنجی های صحت بندی تکنیک دسته
های تکنیکارائه یک چارچوب جهت ارزیابی و مقایسهسنجی و اعتبارسنجی صحت
سنجی و اعتبارسنجی های صحت مقایسه تطبیقی تکنیک
طراحی چک لیست برای انجام مراحل مختلف
مقدمه
ارزیابی
روش پیشنهادی
تکنیک های صحت سنجی و
اعتبارسنجی
نتیجه گیری و
پیشنهادات
دستاوردها
دمن
شوهی
هام
ستسی
ه گا
شای
مآز
ها برای سیستم های حساس با تاکید بر صحت مدل فرآیند جدید جهت پردازش نیازمندییک ارائه ، رضوان شیرویسنجی و اعتبارسنجی
مقایسه تطبیقی تکنیک ها
کارهای انجام شدهدستاوردها•
تکنیک های مورداستفاده در مهندسی نیازمندی
تکنیک های
صحت سنجی و
اعتبارسنجی
ارائه چارچوب جهت ارزیابی و مقایسه تکنیک ها
دمن
شوهی
هام
ستسی
ه گا
شای
مآز
ها برای سیستم های حساس با تاکید بر صحت مدل فرآیند جدید جهت پردازش نیازمندییک ارائه 9، رضوان شیرویسنجی و اعتبارسنجی
مقدمه
ارزیابی
روش پیشنهادی
تکنیک های صحت سنجی و
اعتبارسنجی
نتیجه گیری و
پیشنهادات
کارهای انجام شده
نویسنده سال مکانیزم بررسی صحت مبنای تئوری و نظری
آقای برگو و ]1[همکارانش
2011
دیاگرام حالت و نمونه تست
تست
آقای پنسارد و ]2[همکارانش
2007
مبتنی بر هدف، رسم گراف، توصیف صوری و
اجرای دیاگرام حالت سیستم
مدل کردن و اثبات ریاضی
]3[آقای کارپنتر 1999
مدل نمونه کاربرد و توالی، تست
تست
آقای لیو و ]4[همکارانش
1998
دیاگرام جریان داده، بررسی قابلیت دسترسی،
تست و اثبات
مدل کردن، تست و اثبات
ریاضی
آقای شیه و ]5 [همکارانش
1998
دیاگرام حالت، آنالیز دسترسی و مسیر
مدل کردن
قای راشبی و آ]6 [همکارانش
1992
مدل صوری اثبات ریاضی
دمن
شوهی
هام
ستسی
ه گا
شای
مآز
ها برای سیستم های حساس با تاکید بر صحت مدل فرآیند جدید جهت پردازش نیازمندییک ارائه 10، رضوان شیرویسنجی و اعتبارسنجی
مقدمه
ارزیابیروش پیشنهاد
ی
تکنیک های
صحت سنجی و اعتبارس
نجی
نتیجه گیری و
پیشنهادات
تکنیک های مورداستفاده در مهندسی نیازمندی
دسته بندی تکنیک های
صحت سنجی و اعتبارسنجی
Walk Through
/
/
/
دمن
شوهی
هام
ستسی
ه گا
شای
مآز
ها برای سیستم های حساس با تاکید بر صحت مدل فرآیند جدید جهت پردازش نیازمندییک ارائه 11، رضوان شیرویسنجی و اعتبارسنجی
مقدمه
ارزیابیروش پیشنهاد
ی
تکنیک های
صحت سنجی و اعتبارس
نجی
نتیجه گیری و
پیشنهادات
Walk Through
دمن
شوهی
هام
ستسی
ه گا
شای
مآز
ها برای سیستم های حساس با تاکید بر صحت مدل فرآیند جدید جهت پردازش نیازمندییک ارائه 12، رضوان شیرویسنجی و اعتبارسنجی
ارائه چارچوب جهت ارزیابی و مقایسه تکنیک ها
مقدمه
ارزیابی
روش پیشنهادی
تکنیک های صحت سنجی و
اعتبارسنجی
نتیجه گیری و
پیشنهادات
زمان مصرفی•پیچیدگی•هزینه مصرفی•وری بهره•دهی میزان پوشش•
های های سیستم ویژگیحساس
مهارت تکنیکی •ابزار•خوانایی•دقت•میزان کشف خطا•میزان بررسی •
سازگاری
دمن
شوهی
هام
ستسی
ه گا
شای
مآز
ها برای سیستم های حساس با تاکید بر صحت مدل فرآیند جدید جهت پردازش نیازمندییک ارائه 13، رضوان شیرویسنجی و اعتبارسنجی
ارائه چارچوب جهت ارزیابی و مقایسه تکنیک ها
مقدمه
ارزیابی
روش پیشنهادی
تکنیک های صحت سنجی و
اعتبارسنجی
نتیجه گیری و
پیشنهادات
مهارت تکنیکی •
مهارت تکنیکی محدوده
امتیازدهی
ضریب در این پروژه
توضیحات
مهارت تکنیکی موردنیاز برای هر
فرد
1 -10 2 تعRداد سRاعات آمRوزش مRورد نیRاز برای هر فرد.
تنوع تکنیک های موردنیاز
1 -10 2 بRرای موردنیRاز تکنیک هRای تعRداد انجام تکنیک موردنظر.
تجربه هر فرد 1 -10 1 تعRداد سRال های تجربRه کRاری فRرد در رابطه با تکنیک موردنظر.
دقت•
دقت محدوده
امتیازدهی
ضریب در این پروژه
توضیحات
میزان ابهامات موجود
1 -10 2 مبهم نیازمنRدی های تعRداد نسRبت نیازمنRRدی های کRRل تعRRداد بRRه
سیستم به درصد.دقت نمادگذاری
به کار رفته1 -10 2 و ریاضRیات از اسRتفاده درصRد
منطق در تکنیک مورد استفاده.میزان اتوماتیک
بودن کار1 -10 1 درصRد دخRالت ماشRین در بRرآورده
تکنیRک در ویRژگی این سRاختن مورداستفاده.
اثبات درستی نیازمندی های توصیف شده
1 -10 2 اثبRات نیازمنRدی های تعRداد نسRبت شRده در تکنیRک مRورد اسRتفاده بRه تعRداد کRل نیازمنRدی ها در سیسRتم
به درصد.
زمان مصرفی•
ویژگی محدوده
امتیازدهی
ضریب در این پروژه
توضیحات
زمIIIIIان مدت فراینIIد اجIIرای
تکنیک
1 -10 4 از یRک هRر اجRرای زمRان مجمRوع مراحRل مRدل فراینRد تکنیRک بRا در نظRر بRرای موردنیRاز تکRرار تعRداد گRرفتن
هر مرحله.الزم زمIان مدت آمIIIوزش بIIIرای
افراد
1 -10 3 تعRداد سRاعات الزم بRرای آمRوزش هRر فرد.
اتوماتیIIک میزان بودن کار
1 -10 2 اجRرای بRرای انسRان دخRالت درصRد این تکنیک.
پیچیIIدگی میزان کار
1 -10 1 معیRار یچیRدگی ذکRر شRده در قسRمت 2-2-3-7.
دمن
شوهی
هام
ستسی
ه گا
شای
مآز
ها برای سیستم های حساس با تاکید بر صحت مدل فرآیند جدید جهت پردازش نیازمندییک ارائه 14، رضوان شیرویسنجی و اعتبارسنجی
تکنیک های انتخاب شده جهت مقایسه تطبیقی:•
تکنیک بازرسی –تکنیک گراف علت و معلول–تکنیک اثبات تئوری–تکنیک اعتبارسنجی سطحی–تکنیک بررسی مدل–تکنیک بررسی مدل به هنگام اجرا–تکنیک مبتنی بر هدف –
مقدمه
ارزیابی
روش پیشنهادی
تکنیک های صحت سنجی و
اعتبارسنجی
نتیجه گیری و
پیشنهادات
مقایسه تطبیقی تکنیک ها
تکنیک های
موردبررسی
معیارهای موردبررسی
بازرسی
گراف علت و معلول
اثبIIIات تئوری
اعتبIارسIIIنج
ی سIطح
ی
بررسی مدل
بررسی
مدل به
هنگام اجرا
تکنیک مبتنی بر
هدف
مهارت تکنیکی 2 4 8 3 6 7 10ابزار 1 5 6 2 7 4 7
خوانایی 7 6 2 9 6 5 7دقت 2 5 8 3 7 7 9
میزان کشف خطا
3 6 9 4 8 8 10
میزان بررسی سازگاری
2 6 8 3 8 7 8
پیچیدگی 3 7 9 6 8 8 9زمان مصرفی 7 7 9 3 8 8 9هزینه مصرفی 5 5 8 3 7 7 8
بهره وری 2 4 5 3 4 4 6میزان
پوشش دهی3 6 8 4 7 7 9
مکانیزم بررسی صحت
چک و لیسIIت
Brainstorming
رسم گراف و استفاده از منطق گزاره ای
توصیف ریاضی و
اثبات
مقایسه اجIIIIIIرای مIIIIIIIIدل حIIIIIIIالت
سیستم
تست و مقایسه
رسم گراف، اثبات
ریاضی و اجرای مدل
حالت سیستم
مبنای نظری و تئوری روش
ذهنی تست اثبIIIIIIIات ریاضی
شهودی مدل کردن
مدل و کIردن
تست
اثبIIIIIIIIIات و ریاضIIی
مدل کردن
دمن
شوهی
هام
ستسی
ه گا
شای
مآز
ها برای سیستم های حساس با تاکید بر صحت مدل فرآیند جدید جهت پردازش نیازمندییک ارائه ، رضوان شیرویسنجی و اعتبارسنجی
روش پیشنهاد
ی
تکنیک پیشنهادیدستاوردها•
مدل فرایند مهندسی نیازمندی
دمن
شوهی
هام
ستسی
ه گا
شای
مآز
ها برای سیستم های حساس با تاکید بر صحت مدل فرآیند جدید جهت پردازش نیازمندییک ارائه 15، رضوان شیرویسنجی و اعتبارسنجی
مقدمه
ارزیابی
روش پیشنهادی
تکنیک های صحت سنجی و
اعتبارسنجی
نتیجه گیری و
پیشنهادات
تکنیک پیشنهادی در راستای برآوردن ویژگی های •
فاز تشکیل شده است:3سیستم های حساس از
فاز اول: برگزاری یک جلسه با استفاده از مجموعه ایاز چک لیست ها
فاز دوم: رسم گراف علت و معلولفاز سوم: استفاده از تکنیک صوری
تکنیک پیشنهادی
دمن
شوهی
هام
ستسی
ه گا
شای
مآز
ها برای سیستم های حساس با تاکید بر صحت مدل فرآیند جدید جهت پردازش نیازمندییک ارائه 16، رضوان شیرویسنجی و اعتبارسنجی
مقدمه
ارزیابیروش پیشنهاد
ی
تکنیک های
صحت سنجی و اعتبارس
نجی
نتیجه گیری و
پیشنهادات
نیازمندی های سیستم
نیازمندی های غیر حساس
نیازمندی های
حساس
تکنیک پیشنهادی
دمن
شوهی
هام
ستسی
ه گا
شای
مآز
ها برای سیستم های حساس با تاکید بر صحت مدل فرآیند جدید جهت پردازش نیازمندییک ارائه 18، رضوان شیرویسنجی و اعتبارسنجی
مقدمه
ارزیابیروش پیشنهاد
ی
تکنیک های
صحت سنجی و اعتبارس
نجی
نتیجه گیری و
پیشنهادات
)(
)(
فاز اول
دمن
شوهی
هام
ستسی
ه گا
شای
مآز
ها برای سیستم های حساس با تاکید بر صحت مدل فرآیند جدید جهت پردازش نیازمندییک ارائه 17، رضوان شیرویسنجی و اعتبارسنجی
فاز اول
تکنیک پیشنهادی
مقدمه
ارزیابی
روش پیشنهادی
تکنیک های صحت سنجی و
اعتبارسنجی
نتیجه گیری و
پیشنهادات
# سواالت جهت اعتبارسنجی نیازمندی ها بله
خیر
توضیحات
1 سیسRتم واقعی نیRاز کننRده بیRان نیازمنRدی آیRا است؟
2 آیRا نیازمنRدی وجRود دارد کRه قابRل فهم بRرای شRما نباشد؟
3 مجموعRRه در کRRه دارد وجRRود نیازمنRRدی آیRRا نیازمندی ها بیان نشده است؟
4 نیازمنRدی وجRود دارد کRه اطالعRات مربRوط بRه آیRا آن ناقص است؟
5 نیازمنRدی و شRده توصRیف نیازمنRدی بین آیRRا موردنظر شما تفاوتی وجود دارد؟
# سواالت جهت شناسایی نیازمندی های حساس بله خیر توضیحات
1 در مشRکل ایجRاد بRاعث نیازمنRدی عملکRرد در اختالل آیRا سیستم می گردد؟
2 از بخشRی اختالل بRاعث نیازمنRدی نادرسRت عملکRرد آیRا سیستم می گردد؟
3 آیRا عملکRرد نادرسRت نیازمنRدی بRاعث شکسRت کRل سیسRتم می شود؟
4 نادرسRت عملکRرد بRاعث نیازمنRدی نادرسRت عمکRرد آیRا سیستم می شود؟
5 سیسRتم کRل شکسRت بRاعث نیازمنRدی اجRرای عRدم آیRا می شود؟
6 آیا اجرای سیستم به اجرای این نیازمندی وابسته است؟7 آیRا عملکRرد نادرسRت نیازمنRدی بRاعث عملکRرد نادرسRت سRایر
نیازمندی ها می گردد؟8 آیRا سیسRتم بRا عملکRرد نادرسRت نیازمنRدی می توانRد بRه کRار
خود ادامه دهد؟9 بRا عRدم اجRرای نیازمنRدی می توانRد بRه کRار خRود آیRا سیسRتم
ادامه دهد؟10 نادرسRت خRروجی بRاعث نیازمنRدی نادرسRت عملکRرد آیRا
سیستم و به دنبال آن اثرات زیان بار در محیط می گردد؟11 آیRا عRدم اجRرای بRه موقRع نیازمنRدی در درسRتی عملکRرد سRایر
نیازمندی ها تاثیر می گذارد؟12 در زیRاد هزینRه بRه صRرف منجRر نیازمنRدی اجRرای عRدم آیRا
سیستم می گردد؟13 آیRا عملکRرد نادرسRت یRا عRدم اجRرای نیازمنRدی بRاعث اثRرات
زیان بار در محیط می گردد؟14 اجRرای در نیازمنRدی اجRرای عRدم یRا نادرسRت عملکRرد آیRا
ایجRاد اختالل غیرکRارکردی نیازمنRدی های از یکی حRداقل می نماید؟
دمن
شوهی
هام
ستسی
ه گا
شای
مآز
ها برای سیستم های حساس با تاکید بر صحت مدل فرآیند جدید جهت پردازش نیازمندییک ارائه 19، رضوان شیرویسنجی و اعتبارسنجی
مقدمه
ارزیابی
روش پیشنهادی
تکنیک های صحت سنجی و
اعتبارسنجی
نتیجه گیری و
پیشنهادات
اهداف فاز اول •
اعتبارسنجی اولیه نیازمندی ها –
مشخص نمودن نیازمندی های حساس–
برقراری ارتباط بیشتر بین کاربران و مشتری با تیم –تولید و تیم مدیریت
شناسایی بخشی از خطاها، نقص ها و ناسازگاری ها در –تعریف نیازمندی ها
دمن
شوهی
هام
ستسی
ه گا
شای
مآز
ها برای سیستم های حساس با تاکید بر صحت مدل فرآیند جدید جهت پردازش نیازمندییک ارائه 21، رضوان شیرویسنجی و اعتبارسنجی
مقدمه
ارزیابیروش پیشنهاد
ی
تکنیک های
صحت سنجی و اعتبارس
نجی
نتیجه گیری و
پیشنهادات
فاز دوم
دمن
شوهی
هام
ستسی
ه گا
شای
مآز
ها برای سیستم های حساس با تاکید بر صحت مدل فرآیند جدید جهت پردازش نیازمندییک ارائه 22، رضوان شیرویسنجی و اعتبارسنجی
مقدمه
ارزیابی
روش پیشنهادی
تکنیک های صحت سنجی و
اعتبارسنجی
نتیجه گیری و
پیشنهادات
اهداف فاز دوم•
اعتبارسنجی نیازمندی ها –
بررسی صحت نیازمندی های حساس مشخص شده–
کشف بخشی از ناسازگاری ها در نیازمندی ها–
امکان ردیابی بعضی از نیازمندی ها–
شناسایی نیازمندی های مرتبط به نیازمندی های –غیرکارکردی به صورت انتزاعی
دمن
شوهی
هام
ستسی
ه گا
شای
مآز
ها برای سیستم های حساس با تاکید بر صحت مدل فرآیند جدید جهت پردازش نیازمندییک ارائه 23، رضوان شیرویسنجی و اعتبارسنجی
مقدمه
ارزیابیروش پیشنهاد
ی
تکنیک های
صحت سنجی و اعتبارس
نجی
نتیجه گیری و
پیشنهادات
تکنیک پیشنهادی
فاز سوم
دمن
شوهی
هام
ستسی
ه گا
شای
مآز
ها برای سیستم های حساس با تاکید بر صحت مدل فرآیند جدید جهت پردازش نیازمندییک ارائه 24، رضوان شیرویسنجی و اعتبارسنجی
مقدمه
ارزیابی
روش پیشنهادی
تکنیک های صحت سنجی و
اعتبارسنجی
نتیجه گیری و
پیشنهادات
اهداف فاز سوم•
توصیف دقیق نیازمندی های حساس –
کشف بسیاری از خطاها و ناسازگاری ها–
ایجاد پایه ای صحیح برای اجرای صحت سنجی در مراحل –بعدی دوره حیات
دمن
شوهی
هام
ستسی
ه گا
شای
مآز
ها برای سیستم های حساس با تاکید بر صحت مدل فرآیند جدید جهت پردازش نیازمندییک ارائه 25، رضوان شیرویسنجی و اعتبارسنجی
مقدمه
ارزیابیروش پیشنهاد
ی
تکنیک های
صحت سنجی و اعتبارس
نجی
نتیجه گیری و
پیشنهادات
مدل فرایند مهندسی نیازمندی
دمن
شوهی
هام
ستسی
ه گا
شای
مآز
ها برای سیستم های حساس با تاکید بر صحت مدل فرآیند جدید جهت پردازش نیازمندییک ارائه ، رضوان شیرویسنجی و اعتبارسنجی
ارزیابی
امکان سنجی روش پیشنهادی
ارزیابی تحلیلی
ارزیابی کمی
دمن
شوهی
هام
ستسی
ه گا
شای
مآز
ها برای سیستم های حساس با تاکید بر صحت مدل فرآیند جدید جهت پردازش نیازمندییک ارائه 26، رضوان شیرویسنجی و اعتبارسنجی
مقدمه
ارزیابی
روش پیشنهادی
تکنیک های صحت سنجی و
اعتبارسنجی
نتیجه گیری و
پیشنهادات
امکان سنجی روش پیشنهادی
سیستم کنترل ترافیک به عنوان مطالعه موردی•
کارایی سیستم حمل و نقل و وضعیت ترافیک هدف: بهبود•
سیستم کنترل ترافیک، یک سیستم حساس•
وضعیت ترافیک تاثیر مستقیمی بر میزان هزینه و زمان –مصرفی افراد دارد.
روزانه افراد بسیار زیادی با آن سروکار دارند.– مالی و جبران ناپذیریسیستم باعث خساراتاختالل در –
.انسانی می گردد
دمن
شوهی
هام
ستسی
ه گا
شای
مآز
ها برای سیستم های حساس با تاکید بر صحت مدل فرآیند جدید جهت پردازش نیازمندییک ارائه 27، رضوان شیرویسنجی و اعتبارسنجی
مقدمه
ارزیابی
روش پیشنهادی
تکنیک های صحت سنجی و
اعتبارسنجی
نتیجه گیری و
پیشنهادات
مدیریت و کنترل
چراغ های راهنمایی
مدیریت وسایل نقلیه
عمومی و اضطراری
مدیریت اطالع رسانی
مدیریت
خیابانهای شهر
مدیریت مسائل
مرتبط با عابران
پیاده
سیستم کنترل ترافیک
دمن
شوهی
هام
ستسی
ه گا
شای
مآز
ها برای سیستم های حساس با تاکید بر صحت مدل فرآیند جدید جهت پردازش نیازمندییک ارائه ، رضوان شیرویسنجی و اعتبارسنجی
مقدمه
ارزیابیروش پیشنهاد
ی
تکنیک های
صحت سنجی و اعتبارس
نجی
نتیجه گیری و
پیشنهادات
امکان سنجی روش پیشنهادی
دمن
شوهی
هام
ستسی
ه گا
شای
مآز
ها برای سیستم های حساس با تاکید بر صحت مدل فرآیند جدید جهت پردازش نیازمندییک ارائه ، رضوان شیرویسنجی و اعتبارسنجی
استخراج نیازمندی ها
28
مقدمه
ارزیابیروش پیشنهاد
ی
تکنیک های
صحت سنجی و اعتبارس
نجی
نتیجه گیری و
پیشنهادات
مشخص نمودن اجزاء سیستم–
مشخص نمودن معیارهای ارزیابی–
مشخص نمودن ورودی های موردنیاز سیستم–
مشخص نمودن نیازمندی های اولیه سیستم–
مشخص نمودن حالت های اجزاء سیستم–
دمن
شوهی
هام
ستسی
ه گا
شای
مآز
ها برای سیستم های حساس با تاکید بر صحت مدل فرآیند جدید جهت پردازش نیازمندییک ارائه ، رضوان شیرویسنجی و اعتبارسنجی
مقدمه
ارزیابیروش پیشنهاد
ی
تکنیک های
صحت سنجی و اعتبارس
نجی
نتیجه گیری و
پیشنهادات
امکان سنجی روش پیشنهادی
دمن
شوهی
هام
ستسی
ه گا
شای
مآز
ها برای سیستم های حساس با تاکید بر صحت مدل فرآیند جدید جهت پردازش نیازمندییک ارائه 29، رضوان شیرویسنجی و اعتبارسنجی
مقدمه
ارزیابی
روش پیشنهادی
تکنیک های صحت سنجی و
اعتبارسنجی
نتیجه گیری و
پیشنهادات
شناسایی نوع سیستم
# سواالت بله خیر
1 زیIادی خسIارت های بIه منجIر سیسIتم شکسIت آیIا می گردد؟
2 آیا شکست سیستم باعث خرابی محیط می شود؟
3 اقتصIادی ضIIررهای بIIه منجIIر سیسIتم شکسIت آیIIا می گردد؟
4 آیا با شکست سیستم خرابی های فیزیکی به بار می آید؟
5 آیا با شکست سیستم جان انسان ها به خطر می افتد؟
6 آیا هزینه شکست سیستم بسیار باالست؟
7 محیIط ویIرانی بIاعث سیسIتم نادرسIت اجIرای آیIا می گردد؟
8 بIاعث شکسIت سIایر فعالیت هIا در آیIا شکسIت سیسIتم محیط می گردد؟
9 آیIا اجIرای نادرسIت سیسIتم بIاعث بIه هIدر رفتن زمIان و هزینه کاربران می گردد؟
10
آیIا اجIرای نادرسIت سیسIتم بIاعث ایجIاد صIدمه و یIا حIتی از دست رفتن جان انسان ها می گردد؟
دمن
شوهی
هام
ستسی
ه گا
شای
مآز
ها برای سیستم های حساس با تاکید بر صحت مدل فرآیند جدید جهت پردازش نیازمندییک ارائه ، رضوان شیرویسنجی و اعتبارسنجی
مقدمه
ارزیابیروش پیشنهاد
ی
تکنیک های
صحت سنجی و اعتبارس
نجی
نتیجه گیری و
پیشنهادات
امکان سنجی روش پیشنهادی
دمن
شوهی
هام
ستسی
ه گا
شای
مآز
ها برای سیستم های حساس با تاکید بر صحت مدل فرآیند جدید جهت پردازش نیازمندییک ارائه 30، رضوان شیرویسنجی و اعتبارسنجی
مقدمه
ارزیابی
روش پیشنهادی
تکنیک های صحت سنجی و
اعتبارسنجی
نتیجه گیری و
پیشنهادات
آنالیز و امکان سنجی نیازمندی ها و مستند کردن آن ها
اطالعات خود را از اپراتور دریافت سیستم برخی از -1-1کند. می
بازبینی1
بازبینی2
های زمانی به سیستم باید قادر به دریافت برنامه -1-1-1صورت دستی توسط اپراتور باشد.
های موردنیاز از جمله سیستم باید اطالعات و داده- 1وضعیت ترافیک را به صورت بالدرنگ دریافت و ارسال
نماید.
چه چیزی
؟
چه چیزی
؟
دمن
شوهی
هام
ستسی
ه گا
شای
مآز
ها برای سیستم های حساس با تاکید بر صحت مدل فرآیند جدید جهت پردازش نیازمندییک ارائه ، رضوان شیرویسنجی و اعتبارسنجی
مقدمه
ارزیابیروش پیشنهاد
ی
تکنیک های
صحت سنجی و اعتبارس
نجی
نتیجه گیری و
پیشنهادات
امکان سنجی روش پیشنهادی
دمن
شوهی
هام
ستسی
ه گا
شای
مآز
ها برای سیستم های حساس با تاکید بر صحت مدل فرآیند جدید جهت پردازش نیازمندییک ارائه 31، رضوان شیرویسنجی و اعتبارسنجی
مقدمه
ارزیابی
روش پیشنهادی
تکنیک های صحت سنجی و
اعتبارسنجی
نتیجه گیری و
پیشنهادات
اجرای فاز اول تکنیک پیشنهادی
اعتبارسنجی اولیه نیازمندی ها– مشخص نمودن نیازمندی های حساس–
ها نیازمندیحساسی
1نیازمندی نیازمندی 1-1-1
نیازمندی 1-1-3
نیازمندی 1-3
نیازمندی 2-6
3نیازمندی نیازمندی 4نیازمندی4-1
نیازمندی 4-2
نیازمندی 5
6نیازمندی نیازمندی 6-1
نیازمندی 6-3
7نیازمندی نیازمندی 9
نیازمندی 10
نیازمندی 10-1
نیازمندی 10-2
نیازمندی 10-3
نیازمندی 10-6
نیازمندی 11
نیازمندی 11-1
دمن
شوهی
هام
ستسی
ه گا
شای
مآز
ها برای سیستم های حساس با تاکید بر صحت مدل فرآیند جدید جهت پردازش نیازمندییک ارائه ، رضوان شیرویسنجی و اعتبارسنجی
مقدمه
ارزیابیروش پیشنهاد
ی
تکنیک های
صحت سنجی و اعتبارس
نجی
نتیجه گیری و
پیشنهادات
امکان سنجی روش پیشنهادی
دمن
شوهی
هام
ستسی
ه گا
شای
مآز
ها برای سیستم های حساس با تاکید بر صحت مدل فرآیند جدید جهت پردازش نیازمندییک ارائه 32، رضوان شیرویسنجی و اعتبارسنجی
مقدمه
ارزیابیروش پیشنهاد
ی
تکنیک های
صحت سنجی و اعتبارس
نجی
نتیجه گیری و
پیشنهادات
اجرای فاز دوم تکنیک پیشنهادی
)(
)--(
)-(
)(
)()-(
--
--
--
دمن
شوهی
هام
ستسی
ه گا
شای
مآز
ها برای سیستم های حساس با تاکید بر صحت مدل فرآیند جدید جهت پردازش نیازمندییک ارائه 33، رضوان شیرویسنجی و اعتبارسنجی
مقدمه
ارزیابی
روش پیشنهادی
تکنیک های صحت سنجی و
اعتبارسنجی
نتیجه گیری و
پیشنهادات
اجرای فاز دوم تکنیک پیشنهادی
)دریافت شبکه راه ها(4-1-1 نیازمندی • )دریافت و ارسال اطالعات 2-1 نیازمندی •
چراغ های راهنمایی( )بازیابی ورودی های سیستم در هر 4-2 نیازمندی •
لحظه( )بازیابی اطالعات چراغ های 2-2 نیازمندی •
راهنمایی( )تعیین برنامه زمانی چراغ های 4-10 نیازمندی •
راهنمایی( )دریافت اطالعات مسدود 1-17 و 1-16 نیازمندی •
بودن خیابان( به مجموعه نیازمندی های
حساس اضافه شدند.
دمن
شوهی
هام
ستسی
ه گا
شای
مآز
ها برای سیستم های حساس با تاکید بر صحت مدل فرآیند جدید جهت پردازش نیازمندییک ارائه ، رضوان شیرویسنجی و اعتبارسنجی
مقدمه
ارزیابیروش پیشنهاد
ی
تکنیک های
صحت سنجی و اعتبارس
نجی
نتیجه گیری و
پیشنهادات
امکان سنجی روش پیشنهادی
دمن
شوهی
هام
ستسی
ه گا
شای
مآز
ها برای سیستم های حساس با تاکید بر صحت مدل فرآیند جدید جهت پردازش نیازمندییک ارائه 34، رضوان شیرویسنجی و اعتبارسنجی
نمودار نمونه کاربرد•
مقدمه
ارزیابیروش پیشنهاد
ی
تکنیک های
صحت سنجی و اعتبارس
نجی
نتیجه گیری و
پیشنهادات
مدل کردن
تعيين استراتژي
تعيين و بهنگام سازي
وضعيت ترافيک چهارراه ها
تعيين حالت و زمان
هر چراغ
سيستم کشف کنندهآناليز جريان ترافيک
شمول<<>>
شمول<<>>
چراغ راهنمايي
تعيين و بهنگام سازي
وضعيت چراغ ها
شمول<<>>
شمول<<>>
شمول<<>>
اپراتور
دمن
شوهی
هام
ستسی
ه گا
شای
مآز
ها برای سیستم های حساس با تاکید بر صحت مدل فرآیند جدید جهت پردازش نیازمندییک ارائه 35، رضوان شیرویسنجی و اعتبارسنجی
نمودار کالس•
مقدمه
ارزیابیروش پیشنهاد
ی
تکنیک های
صحت سنجی و اعتبارس
نجی
نتیجه گیری و
پیشنهادات
مدل کردن
Manual SchedulerSetSchedule()
SchedulerSetSchedule()GetMode()
Intelligent SchedulerSetSchedule()
Traffic Control CenterUniqueInstance : Traffic Control Center...
TrafficControlCenter()SetSchedules()UpdateSchedules()UpdateStrategy()UpdateMode()
LocalTrafficControlLocaltrconId : intCurrentStateCurrentTimemode : ModeStrategy : intTrafficlightID[] : TrafficlightId
init()getMode() : ModegetCurrentState()getCurrentTime()getStrategy() : intgetCurrentSchedule()SetCurrenState()UpdateState()SetCurrentTime()SetTime()SetMode()SetStrategy() : intSetNewSchedule()SetTimer(Time : time)
Traffic LightTrafficlightId : intstate : State {red, green, yellow}...mode : Mode{Manual,Intelligent}...Strategy : inttime : Time
init()SetTime()SetCurrentMode(Mode : mode)...SetCurrentState(state : State)...SetStrategy(Strategy : int)...GetTrafficlightId()
1
1
1
1
11
4..121
4..121
Traf f icStrategy 1_creator
CalculateSuitability ()
...
Traf f icFactor 1
MeasureFactor() : f loat[]
...
Traf f icFactor n
MeasureFactor() : f loat[]
ECCriteria n
MeasureEC()
ECCriteria 1
MeasureEC()
...
Priority
P
SetP()GetP() : f loat
Traf f icStrategy n_creator
CalculateSuitability ()
Traf f icStrategy 1
DetermineLightDuration()DetermineAdjacentLightCy cleTime()SetSchedule()
...Traf f icStrategy n
DetermineLightDuration()DetermineAdjacentLightCy cleTime()SetSchedule()
Admin
Id : intName : Stringschedulemode
SetSchedule()SetMode()
Manual Scheduler
SetSchedule()
11
11
Ev aluationCriteria
CriteriaId : intCriteriaName : Stringv alue : f loat = 0
MeasureEC()SetValue()GetValue() : f loat
Traf f icStrategy Creator
Strategy Id : intStrategy Name : Stringsuitability v alue : f loat
CalculateSuitability : f loat()SetValue()GetValue() : f loatAttach(observ er. aspect&interest)Deattach(observ er)Notif y ()Update(aspect&interest)
Scheduler
SetSchedule()GetMode()
ControlStrategy
CurrentTraf f icStrategy
CalculateCurrentTraf f icStrategy ()GetCurrentTraf f icStrategy ()UpdateStrategy ()Update(aspect&interest)
+subjects
+observ er
LocalTraf f icControl
LocaltrconId : intCurrentStateCurrentTimemode : ModeStrategy : intTraf f iclightID[] : Traf f iclightId
init()getMode() : ModegetCurrentState()getCurrentTime()getStrategy () : intgetCurrentSchedule()SetCurrenState()UpdateState()SetCurrentTime()SetTime()SetMode()SetStrategy () : intSetNewSchedule()SetTimer(Time : time)
Traf f ic Light
Traf f iclightId : intstate : State {red, green, y ellow}mode : Mode{Manual,Intelligent}Strategy : inttime : Time
init()SetTime()SetCurrentMode(Mode : mode)SetCurrentState(state : State)SetStrategy (Strategy : int)GetTraf f iclightId()
4..12
1
4..12
1
Traf f icFactors
FactorId : intFactorName : Stringv alue : f loat = 0
MeasureFactor() : f loat[]SetValue()GetValue() : f loat[]Attach(observ er, aspect &interest)Deattach(observ er)Notif y ()Update(aspect&interest)
+observ ers
+subjects
Traf f ic Control Center
UniqueInstance : Traf f ic Control Center
Traf f icControlCenter()SetSchedules()UpdateSchedules()UpdateStrategy ()UpdateMode()
1
1
1
1
1
1
1
1
11
Intersection
InterId : intlightnum : introadnum : int
4..124..12
Traf f icInf o
traf f icinf o[] : V
SetTraf f icFlow(RoadId : int)GetTraf f icInf o()Attach(observ er, aspect &interest)Deattach(observ er)Notif y ()
+observ ers
+subject
11
11
Road
RoadId : intRoadLength : intRoadwide : intLanenum : intOneway : BooleanRstate : RoadState{open,close} = open
SendRoadInf o()CloseRoad()OpenRoad()SendRoadState() : RoadStateGetRoadId() : int
2..62..6
Queue
QueueId : intitems[] : V = {}size : int = 0
Insert(v ehicles : V)Delete() : VSendTraf f icFlow()
1
n
1
n
0..n
1
0..n
1
Detector
DetectorID : intDState : DetectorState {activ e, passiv e} = activ eVehicleId : intVty pe : VehicleTy pe{Emergency , Political, Military , Normal}...Vstatus : VehicleStatus{Urgently , Single,Multi}Vspeed : intVtime : Time
EnteringVehicle()Activ ate()Deactiv ate()
0..n
1
0..n
111 11
Traf f ic Strategy
DetermineLightDuration()DetermineAdjacentLightCy cleTime()SetSchedule()
Intelligent Scheduler
SetSchedule()+strategy
دمن
شوهی
هام
ستسی
ه گا
شای
مآز
ها برای سیستم های حساس با تاکید بر صحت مدل فرآیند جدید جهت پردازش نیازمندییک ارائه ، رضوان شیرویسنجی و اعتبارسنجی
مقدمه
ارزیابیروش پیشنهاد
ی
تکنیک های
صحت سنجی و اعتبارس
نجی
نتیجه گیری و
پیشنهادات
امکان سنجی روش پیشنهادی
دمن
شوهی
هام
ستسی
ه گا
شای
مآز
ها برای سیستم های حساس با تاکید بر صحت مدل فرآیند جدید جهت پردازش نیازمندییک ارائه 36، رضوان شیرویسنجی و اعتبارسنجی
مقدمه
ارزیابیروش پیشنهاد
ی
تکنیک های
صحت سنجی و اعتبارس
نجی
نتیجه گیری و
پیشنهادات
اجرای فاز سوم تکنیک پیشنهادی
Object-Zانتخاب زبان صوری مناسب : •
ماژوالر کردن مشخصات–
اثبات آسان ویژگی ها–
اجرای آسان پاالیش–
متدلوژی شی گرا–
تولید یکپارچه –
پاالیش اولیه
دمن
شوهی
هام
ستسی
ه گا
شای
مآز
ها برای سیستم های حساس با تاکید بر صحت مدل فرآیند جدید جهت پردازش نیازمندییک ارائه 37، رضوان شیرویسنجی و اعتبارسنجی
مقدمه
ارزیابی
روش پیشنهادی
تکنیک های صحت سنجی و
اعتبارسنجی
نتیجه گیری و
پیشنهادات
ارزیابی تحلیلی
تکنیک پیشنهادی تکنیک آقای برگو
استفاده از تکنیک •بررسی مدل به هنگام
اجرابررسی موثر اعتبار •
نیازمندی ها
ارتباط آسان با •غیرمتخصصان
محدودیت در اندازه •
سیستم بررسی صحت با •
استفاده از نمونه های تست
قابل استفاده برای •نیازمندی های رفتاری
سیستم
ترکیبی از گراف علت و •معلول و اثبات تئوری
برقراری ارتباط موثر با •غیرمتخصصان، کاربران و
مشتریتوصیف دقیق نیازمندی ها• بررسی دقیق صحت •
نیازمندی ها بررسی موثر اعتبار •
نیازمندی ها کشف خطاها و •
ناسازگاری ها به صورت موثرکاهش زمان مصرفی• کاهش پیچیدگی• بدون محدودیت در اندازه •
سیستمبدون نیاز به یک رویکرد •
خاص
تکنیک آقای پنسارد
مبتنی بر هدف•ترکیبی از تکنیک اثبات •
تئوری و بررسی مدل بررسی دقیق صحت و •
اعتبار نیازمندی هاارتباط آسان با •
غیرمتخصصان کشف خطاها و •
ناسازگاری ها به صورت موثر
آشنایی با مفاهیم رویکرد •مبتنی بر هدف
عدم بررسی ناسازگاری •بین اهداف
تکنیک آقای کارپنتر
استفاده از نمودارهای •نمونه کاربرد و توالی و
نمونه های تست
بررسی ناقص صحت و •اعتبار نیازمندی ها
تکنیک آقای راشبی
استفاده از تکنیک اثبات •تئوری
توصیف دقیق •نیازمندی ها
بررسی دقیق صحت •نیازمندی ها
کشف خطاها و •ناسازگاری ها به صورت
موثر اعتبارسنجی سطحی •
نیازمندی ها زمان مصرفی باال• پیچیدگی باال•ضعف ارتباطی با •
غیرمتخصصان
تکنیک آقای شیه
استفاده از نمودار •حالت و توصیف صوری
قابل استفاده برای •نیازمندی های زمانی
بررسی موثر اعتبار •نیازمندی ها
توصیف دقیق شرایط و •محدودیت های زمانی
محدودیت در اندازه •سیستم
دمن
شوهی
هام
ستسی
ه گا
شای
مآز
ها برای سیستم های حساس با تاکید بر صحت مدل فرآیند جدید جهت پردازش نیازمندییک ارائه ، رضوان شیرویسنجی و اعتبارسنجی
تکنیک های
موردبررسی معیارهای
موردبررسی
اثبات تئوری
تکنیک مبتنی بر هدف
تکنیک پیشنهادی
مهارت تکنیکی 8 10 9ابزار 6 7 6
خوانایی 2 7 5دقت 8 9 9
میزان کشف خطا 9 10 9
میزان بررسی سازگاری
8 8 9
پیچیدگی 9 9 8زمان مصرفی 9 9 8هزینه مصرفی 8 8 8
بهره وری 5 6 6میزان
پوشش دهی ویژگی های سیستم های
حساس
8 9 939
مقدمه
ارزیابی
روش پیشنهادی
تکنیک های صحت سنجی و
اعتبارسنجی
نتیجه گیری و
پیشنهادات
ارزیابی کمی
دمن
شوهی
هام
ستسی
ه گا
شای
مآز
ها برای سیستم های حساس با تاکید بر صحت مدل فرآیند جدید جهت پردازش نیازمندییک ارائه ، رضوان شیرویسنجی و اعتبارسنجی
نتیجه گیری و پیشنهاد
ات
نتیجه گیری
پیشنهادات
دمن
شوهی
هام
ستسی
ه گا
شای
مآز
ها برای سیستم های حساس با تاکید بر صحت مدل فرآیند جدید جهت پردازش نیازمندییک ارائه 39، رضوان شیرویسنجی و اعتبارسنجی
مقدمه
ارزیابی
روش پیشنهادی
تکنیک های صحت سنجی و
اعتبارسنجی
نتیجه گیری و
پیشنهادات
نتیجه گیری
ترکیبی از مدل های غیرصوری، نیمه صوری و صوری• برقراری ارتباط موثر با غیرمتخصصان، کاربران و مشتری•توصیف دقیق نیازمندی ها• بررسی دقیق صحت نیازمندی ها• بررسی موثر اعتبار نیازمندی ها• کشف خطاها و ناسازگاری ها به صورت موثر•کاهش زمان مصرفی• کاهش پیچیدگی• بدون محدودیت در اندازه سیستم•بدون نیاز به یک رویکرد خاص• نیاز به مهارت تکنیکی باال•
دمن
شوهی
هام
ستسی
ه گا
شای
مآز
ها برای سیستم های حساس با تاکید بر صحت مدل فرآیند جدید جهت پردازش نیازمندییک ارائه 40، رضوان شیرویسنجی و اعتبارسنجی
گسترش گراف علت و معلول برای هر یک از نیازمندی های •
غیرکارکردی.
ارائه یک ابزار جهت اتوماتیک کردن فرایند تکنیک پیشنهادی.•
توسعه گراف علت و معلول جهت استفاده در مراحل بعدی •
روند تولید.
ارائه یک چارچوب جهت تشخیص تکنیک صحت سنجی و •
اعتبارسنجی مناسب برای هر سیستم.
ارائه یک چارچوب جهت مقایسه و ارزیابی زبان های صوری.•
مقدمه
ارزیابی
روش پیشنهادی
تکنیک های صحت سنجی و
اعتبارسنجی
نتیجه گیری و
پیشنهادات
پیشنهادات
دمن
شوهی
هام
ستسی
ه گا
شای
مآز
ها برای سیستم های حساس با تاکید بر صحت مدل فرآیند جدید جهت پردازش نیازمندییک ارائه 41، رضوان شیرویسنجی و اعتبارسنجی
مفاهیم مهندسی نیازمندی •
تعریف و ویژگی های سیستم های حساس•
کارهای انجام شده در زمینه مرتبط•
انواع تکنیک های رایج صحت سنجی و اعتبارسنجی•
ورودی های پروژه
دمن
شوهی
هام
ستسی
ه گا
شای
مآز
ها برای سیستم های حساس با تاکید بر صحت مدل فرآیند جدید جهت پردازش نیازمندییک ارائه 42، رضوان شیرویسنجی و اعتبارسنجی
دسته بندی انواع سیستم های نرم افزاری•
دسته بندی انواع تکنیک های صحت سنجی و اعتبارسنجی•
ارائه یک چارچوب جهت ارزیابی و مقایسه تکنیک های صحت سنجی و •
اعتبارسنجی
ارائه یک تکنیک جهت صحت سنجی و اعتبارسنجی سیستم های حساس •
مشخص نمودن جایگاه تکنیک پیشنهادی در مدل فرایند مهندسی •
نیازمندی
طراحی مجموعه ای از چک لیست ها جهت انجام مراحل مختلف•
-Objectتوصیف زیرسیستم مدیریت و کنترل چراغ های راهنمایی به زبان •
Z
خروجی های پروژه
دمن
شوهی
هام
ستسی
ه گا
شای
مآز
ها برای سیستم های حساس با تاکید بر صحت مدل فرآیند جدید جهت پردازش نیازمندییک ارائه ، رضوان شیرویسنجی و اعتبارسنجی
منابع
43
[1] M. C. Bergue, D. Drusinsky, and S. Man-Tak, "A Practical Formal Approach for Requirements Validation and Verification of Dependable Systems," in Dependable Computing Workshops (LADCW), 2011 Fifth Latin-American Symposium on, 2011, pp. 47-51.
[2] C. Ponsard, P. Massonet, J. F. Molderez, A. Rifaut, A. V. Lamsweerde, and H. T. Van, "Early Verification and Validation of Mission Critical Systems," Form. Methods Syst. Des., vol. 30, pp. 233-247, 2007.
[3] P. B. Carpenter, "Verification of Requirements for Saftey-Critical Software," Ada Lett., vol. XIX, pp. 23-29, 1999.
[4] S. Liu, M. Asuka, K. Komaya, and Y. Nakamura, "An Approach to Specifying and Verifying Safety-Critical Systems with Practical Formal Method SOFL," in Engineering of Complex Computer Systems, 1998. ICECCS '98. Proceedings. Fourth IEEE International Conference on, 1998, pp. 100-114.
[5] S.-P. Shieh and J.-N. Chen, "Specification, Validation, and Verification of Time-Critical Systems," Computer Communications, vol. 21, pp. 460-469, 1998.
[6] J. Rushby, M. M. Hugue, N. Shankar, and F. V. Henke, "Formal Specification and Verification for Critical Systems: Tools, Achievements, and Prospects," Workshop on Methodologies for Cost Effective, Reliable Software Verification and Validation vol. 9, pp. 1-14, 1992.
با تشکر از بذل توجه شما