A New Approach to Early Software Reliability Prediction Based on a Formal Specification of System

سال انتشار: 1385
نوع سند: مقاله کنفرانسی
زبان: انگلیسی
مشاهده: 3,029

متن کامل این مقاله منتشر نشده است و فقط به صورت چکیده یا چکیده مبسوط در پایگاه موجود می باشد.
توضیح: معمولا کلیه مقالاتی که کمتر از ۵ صفحه باشند در پایگاه سیویلیکا اصل مقاله (فول تکست) محسوب نمی شوند و فقط کاربران عضو بدون کسر اعتبار می توانند فایل آنها را دریافت نمایند.

استخراج به نرم افزارهای پژوهشی:

لینک ثابت به این مقاله:

شناسه ملی سند علمی:

ACCSI12_205

تاریخ نمایه سازی: 23 دی 1386

چکیده مقاله:

Prediction of reliability in early phases of software development is one of the discussions which has been attracting more and more attentions during the recent three decades. Techniques and models are mostly used at the test phase; there are only a few models that are employed at early phase of software development. Early prediction, however, is very important for better prognosis and management of risks. In this paper we propose an approach for software reliability early prediction based on software behavior. The major difference between our approach and those of others is the fact that we use a formal method, called Viewcharts [1], to specify the behavior of software systems.

نویسندگان

Hooshmand Alipour

Faculty of Electrical, Computer and IT Engineering, Islamic Azad University Qazvin branch, Qazin, Iran

Ayaz Isazadeh

Department of Computer science, Tabriz University, Tabriz, Iran

Eslam Nazemi

Department of Computer Engineering, Faculty of Electrical & Computer Engineering, Shahid Beheshti University, Tehran, Iran

مراجع و منابع این مقاله:

لیست زیر مراجع و منابع استفاده شده در این مقاله را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود مقاله لینک شده اند :
  • views for software requirements Behavioral؛، [1] Ayaz Isazadeh engineering}, PHD ...
  • Standard Glossary of Software Engineering Terminology, STD-729-1 991, 1991; ANSI/IEEE. ...
  • S. Yamada, M. Ohba, and S. Osaki. *S-shaped reliability growth ...
  • H. Pham and X. Zhamg, ،An NHPP software reliability model ...
  • Meng-Lai Yin, Craig L. Hyde and Larry E. Janes, ، ...
  • Wen-Li Wang, Dai Pan and Mei-Hwa Chen, ، Architecture- based ...
  • Wen-Li Wang and Mei-Hwa Chen, ، «H eterogeneous Software Reliability ...
  • A visual formalism for complex :Statecharts؛، [8] D. Harel, systems', ...
  • نمایش کامل مراجع