Executable Specifications in Software Reliability Engineering
نویسنده
چکیده
output input valid? test ok? Figure 1. DFD of the testing scenario. is executed with a concrete test input (state). An implemented retrieve function maps the concrete input and output to its abstract representations. A precondition check validates the input and feeds it into the oracle which checks the relation to the produced output. If the postcondition evaluates to true, the test passed. This black-box technique based on formally specified oracles forms the kernel of an adapted
منابع مشابه
Specifications are (preferably) executable
In this paper I will argue for executable specifications by showing that non-executable formal specifications can be made executable on almost the same level of abstraction and without essentially changing their structure. No new algorithms have to be introduced to get executability. In many cases the combination of property-orientation and search results in specifications based on the generate...
متن کاملEnforcing Different Contracts in Hierarchical Component-Based Systems
Using different specification formalisms together is necessary to leverage better reliability on component-based systems. The ConFract system provides a contracting system for hierarchical software components, but currently, only executable assertions are supported. In this paper, we describe how TLA, taken as an instance of behavioral sequence-based formalism, was integrated in ConFract. A dom...
متن کاملFormal Software Specifications with Executable Use Cases and Coloured Petri Nets
This paper presents Executable Use Cases (EUCs), which constitute a model-based approach to requirements engineering. EUCs may be used as a supplement to Model-Driven Development (MDD) and can describe and link user-level requirements and more technical software specifications. In MDD, user-level requirements are not always explicitly described, since usually it is sufficient that one provides ...
متن کاملWeb Application Development Focused on BP Specifications*
Business Process specification can be used during the software development process for different purposes. In this paper we present a Web Engineering approach that has been extended to allow the construction of Process Driven Web Applications. In this approach, BP specifications are defined at the PIM level and are used to produce (1) the proper navigational models that support the execution of...
متن کاملReliability Assessment of Elementary COTS Software Component
For predicting the reliability of a software application composed third party software components like COTS (Commercial-Off-The-shelf) one has to heavily rely on the reliability values available which may not be always correct. As, there can be several factors which can effect the reliability values for example, the vendors may be biased, it may not be possible to select test cases to execute a...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2005