ارایه مدلی برای تست نرم افزارهای مبتنی بر وب

بخشی از فهرست مطالب پروژه ارایه مدلی برای تست نرم افزارهای مبتنی بر وب

مقدمه

فصل اول : برنامه های کاربردی وب و تضمین کیفیت آنها

۲ طبقه بندی های متفاوت برنامه های کاربردی وب۶ –

۳ خصوصیات برنامه های کاربردی وب۷ –

۴ زیرساخت برنامه کاربردی وب۸ –

۱-۴ معماری۸ –

۲-۴ پیمایش۱۲ –

۳-۴ رابط۱۲ –

۲ تضمین کیفیت برنامه های کاربردی وب۱۳ –

۱-۲ رویکرد مدیریت کیفیت۱۵ –

۲-۲ تکنولوژی روشهای تضمین کیفیت ۱۵ –

۳-۲ بررسی فنی رسمی ۱۷ –

۴-۲ استراتژی تست ۱۷ –

۵-۲ کنترل مستند سازی ۱۸ –

۶-۲ استاندارد کیفیت۱۸ –

۷-۲ مکانیزم گزارش و ارزیابی ۲۰ –

فصل دوم : تست برنامه کاربردی وب

۱ اصطلاحات۲۲ –

۱ روش های طراحی نمونه تست ۲۳ –

۱-۱ تست جعبه سفید۲۳ –

۲تست جعبه سیاه۲۵ -۱ –

۳ سطوح تست برنامه کاربردی وب ۲۵ –

۴ مشکلات تست برنامه کاربردی وب۲۷ –

فصل سوم: تست مبتنی بر مدل

۱ تعریف مدل ها ۳۱ –

۲ مدل ها در تست نرم افزار۳۲ –

۱-۲ ماشین های حالت متناهی ۳۳ –

۳۷ X 2-2 ماشین های عمومی / ماشین های –

۳-۲ نمودارهای حالت۴۶ –

۵۲ (Petri-net) 4-2 پتری نت –

-۵-۲ جدول تصمیم و درخت تصمیم۵۹ –

-۶-۲ زنجیره های مارکوف۶۳ –

-۷-۲ زبان مدل سازی یکپارچه ۶۶ –

-۳ ابعاد تست مبتنی بر مدل۷۱ –

-۱-۳ انتزاع ۷۲ –

-۲-۳ معیار انتخاب تست۷۴ –

-۳-۳ تکنولوژی تولید تست۷۶ –

۴ فرایند تست مربوط به تست مبتنی بر مدل۷۸ –

۵ ابزار تست۷۹ –

۶ خلاصه ۸۰ –

۵ مقایسه مدلهای مختلف بررسی شده۸۱ – جدول

بر اساس رویکرد تست ۸۱ UseCase -4 راهکار پیشنهادی مدل سازی

برای برنامه های کاربردی ۸۲ usecase 1 مدل سازی –

مبتنی بر تست ۸۴ usecase 2 مدل سازی –

۸۴ webusecase 1-2 اولویت بندی –

۸۶ webusecase 2-2 تولید نمونه تست –

بر اساس رویکرد تست: ۹۱ usecase 3 مراحل تست مدل سازی –

فصل پنجم – نتیجه و کارهای آینده

فهرست منابع

مقدمه
عملیات تست نرم افزار نقش مهمی در مهندسی نرم افزار دارد و به عنوان یک اصل برای تضمین کیفیت
است . هدف از تست نمایش تفاوت ها بین انتظارات و رفتارهای واقعی از سیستم تحت ( SQA) نرم افزار
و ارائه مرور صریحی از خصوصیات ، طراحی و SQA می باشد . تست نرم افزار عنصر اصلی از (sut) تست
تولید کد می باشد ( پرسمن، ۲۰۰۱ ) . هدف برای برنامه ریزی و تست کامل خوب، رشد نیازها و هزینه
های مشخص و نامشخص مربوط به یک خطای نرم افزار می باشد.
برنامه کاربردی است که با نوشتن قسمت های متفاوت آن در زبانهای (webapps ) برنامه کاربردی وب
ساخته می شود . صفحات وب به طور پویا تولید می شود و PHP ، ASP ، JSP گوناگون بسیاری مانند
قابل دسترسی توسط مرورگرهای وب در شبکه همچون اینترنت یا اینترانت می باشد . فلسفه اصلی برای
تست برنامه های کاربردی وب همانند تست نرم افزار می باشد . پردازش اصلی عمل برنامه کاربردی وب و
ویژگی های غیر اساسی آن با هدف پیدا کردن خطاها و در نهایت تصحیح خطاها می باشد. به هر حال
تست برنامه کاربردی وب پیچیدگی بیشتری نسبت به تست نرم افزار دارد اجزای سیستم های توزیع شده
در تعامل با برنامه کاربردی وب ایجاد شده، پیچیدگی های زیاد و اینکه آنها بر روی شبکه ای با پروتکل
های ارتباطی بسیاری قرار دارند ، استفاده از اطلاعات ، پلاتفرم های سخت افزاری ،سیستم عامل ها ،
مرورگرها و … جستجوی خطا را برای برنامه کاربردی وب نسبت به نرم افزار های معمولی سخت تر می
کند. چالش مهمی برای مهندسی وب به دلیل رشد پیچیدگی مشخص شده است، رشد پیچیدگی زمان و
هزینه مربوط به تست را افزایش داده و امروزه تجارت ها بیشتر و بیشتر بروی برنامه کاربردی وب قرار می
گیرند و بسیاری از آنها کاربران بسیاری در سرتاسر جهان دارند ، بنابراین تضمین کیفیت برنامه های
کاربردی وب برای این تجارتها اساسی هستند ، از این رو نیاز برای رویکرد تست موثر برای مدیریت
پیچیدگی و اطمینان از کیفیت برنامه های کاربردی وب احساس می شود.
تست مبتنی بر مدل ، روشی است که توانایی بهبود قابل توجه ای در کاهش هزینه ، افزایشکیفیت و
کاهش زمان تست را دارد. ایده تست مبتنی بر مدل به ۷۰ سال گذشته بر میگردد که در آن روشها از
و یا محیط آنها برای استخراج نمونه تست و همچنین تست ویژگی های کاربردی و غیر SUT رفتار مدلها
کاربردی سیستم استفاده می کند. تست مبتنی بر مدل شامل سطح های متفاوتی از انتزاع می باشد.
روابط میان مدلها و کد ، معیار انتخاب نمونه تست ، روشهای تولید نمونه تست می باشد . به تازگی تست
مبتنی بر مدل با توجه به محبوب شدن مدل سازی در توسعه نرم افزار افزایش قابل توجه ای داشته است .
، (FSM ) یک تعداد از مدلها نرم افزاری سودمند نسبت به دیگر مدلها عبارتند از : ماشین حالت محدود
نمودار حالت ، زنجیره های مارکوف ، ، X ماشین های ، ( general machine ) ماشین ها عمومی
. ( UML ) گرامرها ، جدول و درخت تصمیم ، زبان مدل سازی یکپارچه
گزارش های آزمایشات انجام شده معلوم کردن که روش تست مبتنی بر مدل به خصوص برای برنامه های
کاربردی کوچک و سیستم های جا سازی شده و رابط ها کاربری مناسب است .
تحقیق در میان رویکردهای تست مبتنی بر مدل برای برنامه های کاربردی وب پیچیده فقط آغاز شده
است و محققان بسیاری تلاش برای پیدا کردن روشی مفید برای مدل و تست برنامه های کاربردی وب
یک سابقه طولانی در FSM دارند ، تست ویژگی های کاربردی در مسیر اصلی پژوهش قرار دارد . مدل
طراحی و تست سخت افزار کامپیوتر و تغییرات مناسب آن برای تست نرم افزار دارد . محققان بسیاری بر
(Andrew , برای برنامه های کاربردی وب تمرکز کرده اند ( ۲۰۰۵ FSM روی رویکرد تست مبتنی بر
. به هرحال ، پیچیدگی برنامه کاربردی وب دلالت به بزرگ بودن ماشین حالت دارد که ساخت و نگهداری
بر اساس رویکرد تست قصد حل کردن این مشکل را UseCase آن مشکل می باشد. مدل سازی نمودار
دارد. در این رساله من قصد دارم به تست ویژگی های کاربردی برنامه کاربردی وب بپردازم. می خواهم
تایید و درستی برنامه کاربردی و تحقیق در مورد اینکه آیا به درستی ساخته شده است بپردازم. اینکه آیا
برنامه کاربردی وب درست ایجاد شده است ؟ تحقیق من بر روی بررسی و تایید برنامه کاربردی وب توسط
انجام مطالعه در مورد برنامه کاربردی وب و تست عملکردی ( کاربردی ) توسط بررسی واحد تست با مدل
براساس رویکرد تست می باشد. UseCase سازی
در ادامه مرور کلی از برنامه های کاربردی وب در فصل ۱ مشاهده خواهیم کرد . که شامل طبقه بندی
های متفاوتی از برنامه های کاربردی وب ، ویژگی ها و زیر بناهای آن پرداخته شده است . فصل ۲ بحث بر
روی مسائل درباره تضمین کیفیت برنامه کاربردی وب که ۷ روش استفاده شده به ارائه کیفیت بالای
برنامه کاربردی وب نشان داده شده است. فصل ۳ درباره اصطلاحات ، روشهای طراحی نمونه تست و
سطوح تست برنامه کاربردی وب بحث شده است. مشکلات مربرط به تست برنامه کاربردی وب در انتهای
این فصل آورده شده است. در فصل ۴ بررسی موضوع تست مبتنی بر مدل می باشد در این فصل چندین
مدل استفاده شده برای تست ، ابعاد آن و همچنین نحوه کار آن مطرح شده است. و تمرکز بر روی به
برای کاربرد وب دارد. در این فصل رویکرد را تعریف UseCase دست آوردن رویکرد تست مبتنی بر
کرده ام و در فصل ۵ آزمایش و ارزیابی این رویکرد تست را به همراه نتیجه گیری و کارهای در حال انجام
و آینده آن را قرار داده ام.

بخشی از منابع و مراجع پروژه ارایه مدلی برای تست نرم افزارهای مبتنی بر وب
۱. Roger S. Pressman, David Lowe,2009, WEB ENGINEERING: A
PRACTITIONER’S APPROACH , McGraw-Hill, ISBN 978–0–07–352329–3
۲. Web Engineering, 9th International Conference, ICWE 2009, San Sebastián,
Spain, June 24-26, 2009 Proceedings
۳. Hung Q. Nguyen, Bob Johnson, and Michael Hackett , Testing
Applications on the Web: Test Planning for Mobile and Internet-Based
Systems Second Edition , 2003,Wiley Publishing, ISBN: 0-471-20100-6 .
۴. Mingyue Jiang,Zuohua Ding , Qiwei Ge , Behavior Checking of Web
Applications after Testing, 2010 International Conference on Electronics and
Information Engineering (ICEIE 2010)
۵. Beatriz Marín, Tanja Vos, Giovanni Giachetti, Arthur Baars , Paolo Tonella
,Towards Testing Future Web Applications
۶. Hans-Peter Kriegel ,Matthias Schubert , Modeling and Testing Web-based
Applications ,
۷. Chien-Hung Liu,David C. Kung,Pei Hsia , Chih-Tung Hsu ,Structural Testing
of Web Applications
۸. Mosley, Daniel J.; Client-Server Software Testing on the Desktop and the Web,
۲۰۰۰; Prentice Hall PTR, Upper Saddle River; ISBN 0-13-183880-6
۹. K. Agrawal and James A. Whittaker, Experiences in Applying Statistical Testing
to A Real-time, Embedded Software System. In: Proceedings of the Pacific
Northwest Software Quality Conference, October
۱۹۹۳.
۱۰. M. Ajmone Marsan, G. Conte, G. Balbo, A Class of Generalized Petri Nets
for the Performance Evaluation of Multiprocessor Systems, In: ACM
Transactions on Computer Systems, Vol. 2, No. 2, Pages 93-
۱۲۲, May 1984.
۱۱. C. Alexander, S. Ishikawa, M. Silverstein, M. Jancobson, I.
۹۶
Fiksdahl-King, and S. Agnel, A Pattern Language. Oxford University Press,
New York, 1977.
۱۲. C. Alexander, The Timeless Way of Building. Oxford University
Press, New York, 1979.
۱۳. Anneliese A. Andrews, Jeff Offutt, Roger T. Alexander, Testing Web
Applications by Modeling with FSMs. In: Software Systems and Modeling.
Vol. 4, No. 3, Pages 326-345, July 2005.
۱۴. J. Andrews, L. Briand, Y. Labiche, Is Mutation An Appropriate Tool for
Testing Experiments, In: Proceedings of International Conference of Software
Engineering ICSE’05, Pages 402-411, 2005.
۱۵. Boris Beizer, Software Testing Techniques, 2nd edition, International
Thomson Computer Press, 1990.
۱۶. B. Beizer, Black-Box Testing: Techniques for Functional Testing of
Software and Systems, Wiley, 1995.
۱۷. Robert V. Binder, Testing Object-Oriented Systems: Models, Patterns, and Tools,
۱st edition, Addison-Wesley Professional, 1999.
۱۸. B. Boehm, Software Engineering Economics, Prentice-Hall, 1981
۱۹. G. Booch, J. Rumbaugh, and I. Jacobson, The Unified Modeling
Language User Guide, Addison-Wesley, 1998.
۲۰. F. Bouquet, B. Legeard, F. Peureux, E. Torreborre,Mastering Test
Generation from Smart Card Software Formal Models, In: Proceeding of
International Workshop on Construction and Analysis of Safe, Secure and
Interoperable Smart devices, Vol. 3362 of Springer LNCS, Pages 70–
۸۵, ۲۰۰۴.
۲۱. Scott O. Bradner, The Internet Standards Process — Revision 3, Internet best
current practice RFC 2026, March 1996. Available as:
http://www.ietf.org/rfc/rfc2026.txt
۲۲. M. Broy, B. Jonsson, J.-P. Katoen, M. Leucker, A. Pretschner (Eds.), Model-
Based Testing of Reactive Systems, Vol. 3472 in LNCS, Springer- Verlag Berlin
Heidelberg, 2005.
۲۳. V. Chvalovsky, Decision tables, In: Software: Practice and
Experience, Vol. 13, No. 5, Page 423-429, 1983.
۲۴. Tsun S. Chow, Testing Software Design Modeled by Finite-State Machines,
In: IEEE Transactions on Software Engineering, Vol. SE-4, No. 3, Page 391-400,
May 1978.
۲۵. David M. Cohen, Siddhartha R. Dalal, Michael L. Fredman, Gardner C.
Patton, The AETG System: An Approach to Testing Based on Combinatorial
Design, Pages 437-444, July 1997.