Application Profiles and Tailor-Made Conformance Test Systems

نویسندگان

Ingo Dahn

Sascha Zimmermann

چکیده

This article examines the potential of application profiles and domain profiles as means to adapt technical specifications of data structures to particular needs. The authors argue that application profiling is better suited to increase the use of formal specifications than the creation of new specifications. The authors also describe a method to generate specific conformance test systems for machine-readable application profiles. The authors describe the respective tool set of the SchemaProf Application Profiling Tool and the Generic Test System and report on the experience of their usage in developing and introducing the IMS Common Cartridge domain profile.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

ارزیابی میزان تطابق مولفه‌های نرم افزاری سیستم های اطلاعات سلامت با معیارهای کیفیت نرم افزار

Abstract: The impacts of employing healthcare information systems in decreasing the admission and discharge time, patient transfer time, the internal clashes and clinical applications, time to get answers and refer to previous data file, increasing information and request accuracy, accelerating the communication between hospital wards, increasing patient satisfaction, providing better quality s...

متن کامل

A Declarative Profile Model for QoS negotiation

In this report we define the semantics of a language for dynamic QoS expressions which can be evaluated at run-time for conformance. We define how expressions can be constructed from atomic expressions termed ’basic profiles’ using composition operators. Two such operators are defined: The sum ( ’+’ ) which corresponds to simple conjunction and component-sum (’⊕’) which assume that the operands...

متن کامل

Habilitationsschrift Model-Based Mutation Testing: Theory and Application

In this habilitation thesis we present our research on model-based mutation testing. Mutation testing is a way of assessing and improving a test suite by checking if its test cases can detect a number of injected faults in a program. The faults are introduced by syntactically changing the source code of a program. In our work we generalise mutation testing from program testing to modelbased tes...

متن کامل

ATIFS: a testing toolset with software fault injection

This paper describes the ATIFS, a testing toolset which supports the activities of black-box tests for reactive systems, especially communication systems. In ATIFS, two types of testing are carried out: conformance testing and software fault injection. These testing types allow one to answer such questions about the system under test as: “does the system perform what is specified?”, as well as ...

متن کامل