Software testing based on formal specifications: a theory and a tool
نویسندگان
چکیده
منابع مشابه
Software testing based on formal specifications: a theory and a tool
This paper addresses the problem of constructing test data sets from formal specifications. Starting from a notion of an ideal exhaustive test data set which is derived from the notion of satisfaction of the formal specification, it is shown how to select by refinements a practicable test set, i.e. computable, not rejecting correct programs (unbiased), and accepting only correct programs (valid...
متن کاملA Framework for Testing Object-Oriented Software Using Formal Specifications
In this paper we develop a framework for semi-automated generation of test cases for object oriented programs from formal speci-cations. We use Object-Z as the formal speciication language. We have designed and prototyped a test system called OZTEST. It understands the characteristics of object-oriented speciications including inheritance. OZTEST maps the speciication to a corresponding impleme...
متن کاملtask-based language teaching in iran: a mixed study through constructing and validating a new questionnaire based on theoretical, sociocultural, and educational frameworks
جنبه های گوناگونی از زندگی در ایران را از جمله سبک زندگی، علم و امکانات فنی و تکنولوژیکی می توان کم یا بیش وارداتی در نظر گرفت. زبان انگلیسی و روش تدریس آن نیز از این قاعده مثتسنی نیست. با این حال گاهی سوال پیش می آید که آیا یک روش خاص با زیر ساخت های نظری، فرهنگی اجتماعی و آموزشی جامعه ایرانی سازگاری دارد یا خیر. این تحقیق بر اساس روش های ترکیبی انجام شده است.پرسش نامه ای نیز برای زبان آموزان ...
Test Selection for Specification-Based Unit Testing of Object-Oriented Software based on Formal Specifications
ion in CO-OPN/2 is provided by two kinds of sorts: algebraic sorts and class types. Not all entities in a CO-OPN/2 system are objects, some of them are merely algebraic values, without identity. Thus CO-OPN/2 stands in the class of hybrid object-oriented specification languages. Sorts provide services, called functions for algebraic sorts, and methods for objects. Methods are special transition...
متن کاملFormal Specifications Guide Development and Testing of Software Components
Formal specifications provide many benefits to software developers. It has long been recognized that formal methods are required in safety critical applications, where it may even be necessary to perform formal proofs of correctness to increase confidence in the reliability of the system. However, not all uses of formal methods require the same level of detail, or even formality. We can design ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Software Engineering Journal
سال: 1991
ISSN: 0268-6961
DOI: 10.1049/sej.1991.0040