Ontology based Specifications for Software Reliability Advancement
نویسندگان
چکیده
منابع مشابه
Ontology based Specifications for Software Reliability Advancement
Presently, achieving highly reliable software from the customer's perspective is a demanding job for all software engineers and reliability engineers. Consequently, reliability may be defined by the user's requirements. In addition, specifications are the basis for software development. Therefore, all means applicable ought to substantiate the specifications concerning requirements. T...
متن کاملMeasure Software Requirement Specifications by Ontology Reasoning
Requirements Engineering (RE) is essential to a software project. As the result of RE process, software Requirement Specifications (SRS) should be consistent, correct and complete. However, the acquisition, specification and evolution of requirements from different stakeholders or sources usually leads to incomplete, ambiguous, and faulty requirements. This may become an incalculable risk for t...
متن کامل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. Thi...
متن کاملAn improved framework for evaluating the reliability of component-based software from UML specifications
Early assessment of software quality attributes, such as reliability and performance is receiving wide attention in the research community. Specifying software in UML notations gives a boost to these efforts since UML artifacts are often representative of software in the very early stages of the development life cycle, and they continue to be used throughout the development process. In this pap...
متن کاملSoftware Reliability Estimations through Usage Analysis of Specifications and Designs
This paper presents a method proposal for estimation of software reliability before the implementation phase. The method is based upon that a formal specification technique is used and that it is possible to develop a tool performing dynamic analysis, i.e. locating semantic faults in the design. The analysis is performed with both applying a usage profile as input as well as doing a full analys...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal of Computer Applications
سال: 2012
ISSN: 0975-8887
DOI: 10.5120/6163-8571