img

تفاصيل البطاقة الفهرسية

  1. الصفحة الرئيسية
  2. بحث متقدم
  3. تفاصيل البطاقة الفهرسية

Using Formal Specifications to Support Testing

مقال من تأليف: Zedan, Hussein ; Kapoor, Kalpesh ; Bogdanov, Kirill ; Krause, Paul ; Bowen, Jonathan P. ; Cleaveland, Rance ; Simons, Anthony J. H. ; Vilkomir, Sergiy ; Dick, Jeremy ; Woodward, Martin R. ; Gheorghe, Marian ; Hierons,Robert M. , ; Ttgen, Gerald Lu¨ ; Derrick,John , ; Harman,Mark, ;

ملخص: Formal methods and testing are two important approaches that assist in the development of high-quality software.While traditionally these approaches have been seen as rivals, in recent years a new consensus has developed in which they are seen as complementary. This article reviews the state of the art regarding ways in which the presence of a formal specification can be used to assist testing.


لغة: إنجليزية