دانشگاه صنعتی امیرکبیر دانشکده مهندسی کامپیوتر و فناوری اطلاعات. ارائه یک مدل فرآیند جدید جهت پردازش نیازمندی ها برای سیستم های حساس با تاکید بر صحت سنجی و اعتبارسنجی. ارائه دهنده: رضوان شیروی خوزانی استاد راهنما: دکتر عبداله زاده بارفروش. 1. 2. 3. 4. 5. مقدمه. - PowerPoint PPT Presentation
Welcome message from author
This document is posted to help you gain knowledge. Please leave a comment to let me know what you think about it! Share it to your friends and learn new things together.
Transcript
دمن
شوهی
هام
ستسی
ه گا
شمای
آز
رضوان شیروی خوزانیارائه دهنده: دکتر عبداله زاده بارفروشاستاد راهنما:
دانشگاه صنعتی امیرکبیردانشکده مهندسی کامپیوتر و فناوری
اطالعات
مدل فرآیند جدید یک ارائه ها جهت پردازش نیازمندی
های حساس با برای سیستمسنجی و تاکید بر صحت
اعتبارسنجی
دمن
شوهی
هام
ستسی
ه گا
شای
مآز
ها برای سیستم های حساس با تاکید بر صحت مدل فرآیند جدید جهت پردازش نیازمندییک ارائه ، رضوان شیرویسنجی و اعتبارسنجی
فهرست مطالب
مقدمه 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از برای هر فرد.
ها برای سیستم های حساس با تاکید بر صحت مدل فرآیند جدید جهت پردازش نیازمندییک ارائه ، رضوان شیرویسنجی و اعتبارسنجی
مقدمه
ارزیابیروش پیشنهاد
ی
تکنیک های
صحت سنجی و اعتبارس
نجی
نتیجه گیری و
پیشنهادات
امکان سنجی روش پیشنهادی
دمن
شوهی
هام
ستسی
ه گا
شای
مآز
ها برای سیستم های حساس با تاکید بر صحت مدل فرآیند جدید جهت پردازش نیازمندییک ارائه 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.