چکیده فارسی :

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

چکیده انگلیسی:

This paper demonstrates a case study of combining two rigorous software specification and testing methods, namely sequencebased software specification and Markov chain usage-based statistical testing and their supporting tools, all developed by the University of Tennessee Software Quality Research Laboratory, and integrating them with an automated testing tool selected for the chosen application to provide fully automated statistical testing and software certification as an economical and feasible means to achieve high product quality. Working on any non-trivial real world problem requires considerable efforts be made to work out all the details needed for fully automated testing with no human intervention. At the end of this process we have the ability of running large numbers of tests, as well as an automated testing facility for low-cost, quick-turnaround testing and re-testing. Our experiences demonstrate a pathway towards lowered cost of testing and improved product quality.