Dempster shafer theory software engineering

Subsequently, shafer reinterpreted the upper and lower probabilities of the reliability function and created the mathematical theory of evidence. It can eliminate the uncertainty and ambiguity caused by randomness during the decisionmaking process. Dempstershafer evidence theory approach to structural. The dempstershafer theory is a mathematical theory of evidence, which allows one to combine evidences from different sources and arrive at a belief function by taking into account all the available evidences. In this context, we propose to use belief functions in dempster shafer ds theory 9, 10, 11 to model the. By modeling this unreliability using dempstershafer theory, we managed to. Software defect prediction, dempstershafer evidence theory, information fusion, software engineering. In particular, we explored the use of the new techniques to control an autonomous network of marine assets that would be used to monitor a number of marine phenomena. Most accurate prediction models require extensive testing e.

A methodology for the analysis and design of uncertain engineering systems in the presence of multiple sources of evidence based on dempstershafer theory dst is presented. The initial work introducing dempstershafer ds theory is found in dempster 1967 and shafer 1976. By bridging fuzzy logic and probabilistic reasoning, the theory of belief functions has become a primary tool for knowledge representation and uncertainty reasoning in expert systems. The current research projects embrace the following areas. Reasoning under uncertainty for shill detection in online auction using dempster shafer theory 3 being an honest bidder. This paper examines software defect prediction and aims to improve prediction results using information fusion technique. While probability theory takes it as given that something either is or isnt true, dempstershafer theory allows for more nebulous states of a. Department of electrical engineering and computer science. Based on the dempster shafer evidence theory ds evidence theory, the discernment frame is formed, the maximum and minimum values of the network degree and strength are determined. Special issue on the dempstershafer theory of evidence. Most computer models for engineering applications are. A python library for performing calculations in the dempster shafer theory of evidence. We conclude by recapitulating the main results and providing a perspective for future research.

Theoretical aspects of software engineering in 2014, explore presented research, speakers and authors of tase 2014. This is a potentially valuable tool for the evaluation of risk and reliability in engineering applications when it is not possible to obtain a precise measurement from experiments, or when knowledge is obtained. Then, the ds evidence theory is employed to combine the individual. Dempster shafer theory ai cse 8th sem linkedin slideshare. Glenn shafer is an american mathematician and statistician. Dempster shafer ds belief theory provides a convenient framework for the development of powerful data fusion engines by allowing for a convenient representation of a wide variety of data imperfections. Among many theoretical advances, the most noticeable are the theory of linear belief functions,4 the theory of transferable beliefs,5 and the theory of hints. Its capability to assign uncertainty or ignorance to propositions is a powerful tool for dealing with a large range of problems that otherwise would seem intractable. Sep 25, 2015 the grading method for classified protection of information system based on analytic hierarchy process and dempster shafer theory abstract. Dempstershafer theory, with an example given of fusion using the cornerstone of the theory known as dempster s rule.

It outlines the scope of software engineering, including lifecycle models, software process, teams, tools, testing, planning, and estimating. Information fusion with dempstershafer evidence theory for software. In attempting to adopt dempstershafer theory in engineering practice, the dempstershafer decision theory, i. First, the damage basic probability assignment bpa function of substructures using each data set measured from the monitored structure is calculated. Department of electronic and information engineering, tongji university, shanghai, china correspondence ning jia, department of electronic and information engineering, no. Dempster shafer theory of evidence, belief interval representations for uncertainty, evidence accumulation and propagation 2 lectures knowledgebased decision systems, utility theory, utility functions, decision networks, decisiontheoretic knowledge systems, sequential decision problems, value iteration 3 lectures. Reliability and safety engineering ajit kumar verma springer. This is a potentially valuable tool for the evaluation of risk and reliability in engineering applications when it is not possible to obtain a precise.

Exploring the combination of dempstershafer theory and neural. Previous work used a doublytruncated normal distribution or a dempstershafer theorybased belief mass to represent confidence in the evidence nodes, but we argue that a beta distribution is more appropriate. Dempster shafer theory is one of the main tools for reasoning about data obtained from multiple sources, subject to uncertain information. The dempster shafer theory dst is a mathematical theory of evidence. Introduction most computer models for engineering applications are developed to help assess a design or regulatory requirement. Software quality and reliability prediction using dempster shafer.

The theory of belief functions, also referred to as evidence theory or dempstershafer theory dst, is a general framework for reasoning with uncertainty, with understood connections to other frameworks such as probability, possibility and imprecise probability theories. And then the appealing dempstershafer theory of evidence ds theory is applied to fuse these features, due to the fact that ds theory is better than the classical bayesian approach in handling the information with lack of prior probabilities. Sep 03, 2014 fault localization with partially reliable test results using dempster shafer theory abstract. On the use and the performance of software reliability. This paper starts with the grading standard of classified protection of information system, and comes up with the grading method based on analytic hierarchy process and dempster shafer theory for classified. Information fusion with dempstershafer evidence theory for. Results indicate that the prediction results can be improved using dempster shafer evidence theory for information fusion. This theory is being released because of following reason. Based on the dempstershafer evidence theory ds evidence theory, the discernment frame is formed, the maximum and minimum values of the network degree and strength are determined. Including a tutorial introduction to the dempstershafer theory, the differences between. As a more flexible mathematical tool, dempstershafer theory not only combines with other mathematical frameworks 1518, but also combines with. Tree analysis in an early design stage using the dempstershafer theory of.

Dempstershafer theory based shipship collision probability. Dempstershafer theory, evidence, uncertainty, expert assessment, event tress analysis, fault tree analysis abstract. Software quality and reliability prediction using dempster. It is well known that considerable amount of computational information is acquired during the iterative process of optimization. Dst is an evidence theory, it combines all possible outcomes of the problem. Dempstershafer theory and neural network are effective and efficient strategies to. Safety case confidence propagation based on dempstershafer.

Advances in the dempstershafer theory of evidence guide books. Since each piece of evidence involves uncertainties, it is appropriate to employ some formal reasoning technique 7, 8. The grading method for classified protection of information. Classic works of the dempstershafer theory of belief. Reliability and safety engineering springer series in. This page provides and gathers information about software tools related to. Keywords fmea, dempstershafer theory, aggregating group responses, incomplete information and uncertainty 1. Vying with the bayes theory is the dempstershafer theory, that deals with measures of belief as opposed to probability.

Software quality and reliability prediction using dempstershafer. Software defect prediction, dempstershafer evidence theory, information fusion, software engineering 1. And then the appealing dempster shafer theory of evidence ds theory is applied to fuse these features, due to the fact that ds theory is better than the classical bayesian approach in handling the information with lack of prior probabilities. Fault localization with partially reliable test results using. Previous studies based their research on the precondition that test results are conveniently acquired and 100% correct, which does not happen in the real world. Dempstershafer ds belief theory provides a convenient framework for the development of powerful data fusion engines by allowing for a convenient representation of a wide variety of data imperfections. The bayes set is a special case of the dempstershafer set, where all non. The authors present reliability terminology in various engineering fields, viz. A verified matlab toolbox for the dempstershafer theory.

Semigroup structure of singleton dempstershafer evidence. Information fusion with dempstershafer evidence theory for software defect prediction aytunc paksoya, mehmet gokturka agebze institute of technology, istanbul street no. The dempstershafter theory is wellknown for its usefulness to express uncertain judgments of experts. First, the software complex network model is constructed according to the execution process of the software. Dempster in 1967 and his student glenn shafer in 1976. Dempster 1968 and glenn shafer 1976, but the kind of reasoning the theory uses can be found as far back as the seventeenth century. Shafer, born on november 21, 1946, grew up on a farm.

Reasoning under uncertainty for shill detection in online auction using dempstershafer theory 3 being an honest bidder. On the use and the performance of software reliability growth. This course is an introduction to software engineering, and it covers the systematic development of software products. It is based on dempsters original work dempster, 1967 on the. The dempstershafer theory of evidence has a systematic theoretical knowledge.

Support for normalized as well as unnormalized belief functions different montecarlo algorithms for combining belief functions various methods related to the generalized bayesian theorem measures of uncertainty methods for constructing belief functions from data. Bayesian theory is only concerned about single evidences. Dempstershafer theory of evidence, and secondorder probability analysis. In practical engineering applications, dempster shafer evidence theory is widely used in multisource information fusion owing to its effectiveness in data fusion.

Dec 11, 2018 in this video i will explain you about dempster shafer theory in artificial intelligence and how you have to solve the plaussibility case. Introduction one of the aims of software engineering activities is, cost effective development of high quality software systems 1, that is in the narrowest sense can be expressed as defect rate of final product 2. Farmer, phd professor of computer science computer. A new failure mode and effects analysis model using. Yager r 2019 generalized dempstershafer structures, ieee transactions on fuzzy systems, 27. Dempster in the context of statistical inference, the theory was later developed by glenn. He combines these methods with techniques capable of dealing with uncertainty bayesian systems, and dempster shafer s evidence theory.

In this study, the dempstershafer ds evidence theorybased approach for structural damage detection is presented. Compared with bayesian theory, the dempstershafer theory of evidence feels closer to our human perception and reasoning processes. Knowledgesystem engineering electrical and computer. In this video i will explain you about dempster shafer theory in artificial intelligence and how you have to solve the plaussibility case. Is there any graphical software tool for implementing dempster. Then, the ds evidence theory is employed to combine the individual damage bpas in order to reach the final. Reliability and safety engineering ajit kumar verma. This book brings together a collection of classic research papers on the dempstershafer theory of belief functions. Dempstershafer evidence theory approach to structural damage. Results indicate that the prediction results can be improved using dempstershafer evidence theory for information fusion. These activities focus on introduction of human aspects to software systems, and development of more humanaware and humanlike systems.

Representation of confidence in assurance case evidence. Theoretical aspects of software engineering tase 2014. Is there any graphical software tool for implementing dempstershafer theory. A comparative assessment of dempstershafer and bayesian. Verma is a professor technical safety, atom, stordhaugesund university college, haugesund, norway since march 2012 and has been a professor since feb 2001 and senior hag scale professor since jan 20 with the department ofelectrical engineering at iit bombay with a research focus in reliability and safety engineering he has been on leave from iit bombay since march 2012.

Over the last three decades, bayesian theory has been widely adopted in civil engineering for dealing with uncertainty and for purposes of decision making under uncertainty. Dempster shafer theory is a generalization of the bayesian theory of subjective probability. Apr 01, 2002 dempster shafer theory does not require an assumption regarding the probability of the individual constituents of the set or interval. A new methodology, based on a modified dempstershafer ds theory, is proposed for solving multicriteria design optimization problems. Download citation dempster shafer theory in the analysis and design of uncertain engineering systems a methodology for the analysis and design of uncertain engineering systems in the presence. Shatz, and haiping xu, reasoning under uncertainty for shill detection in online auctions using dempstershafer theory, to appear in international journal of software engineering and knowledge engineering ijseke. In attempting to adopt dempster shafer theory in engineering practice, the dempster shafer decision theory, i. The application of this new decision theory is demonstrated through a water resources engineering design example. Dst can be used when it is not possible to obtain a precise estimation of system response due to the presence of multiple uncertain input parameters.

He is a university professor and board of governors professor at rutgers university early life and education. Constructing probability boxes and dempstershafer structures. The dempster shafer theory of evidence here, ds theory, for brevity, sometimes called evidential reasoning cf. Red explored the application of the dempster shafer theorem of evidence and developed it to model decisionmaking in intelligence analysis and other assessments. Learn about our master of science in software engineering program. Reliability and safety engineering presents an overview of the basic concepts, together with simple and practical illustrations. Information fusion with dempstershafer evidence theory. Dempster shafer theory does not require an assumption regarding the probability of the individual constituents of the set or interval. A new failure mode and effects analysis model using dempster. Toward efficient computation of the dempstershafer belief.

Therefore, exploring the combination of dempster shafer theory and neural network can potentially improve the performance and bring new opportunities for trust and distrust prediction. Exploring the combination of dempstershafer theory and. Combination of evidence in dempstershafer theory technical. However the bayesian approach is not without criticisms. Fundamentals in this section, we describe the fundamentals of the dempstershafer theory and interval methods brie. A modified dempstershafer theory for multicriteria. One major concern has been that information or knowledge, no matter how weak or sparse, must necessarily be represented by conventional, precisely specified. Previous work used a doublytruncated normal distribution or a dempster shafer theory based belief mass to represent confidence in the evidence nodes, but we argue that a beta distribution is more appropriate.

The dempstershafer theory of evidence springerlink. Dempstershafer theory is one of the main tools for reasoning about data obtained from multiple sources, subject to uncertain information. Dempstershafer theory is based on the nonclassical idea of mass as opposed to the wellunderstood probabilities of bayes theory. In this work abstract algebraic properties of the dempster shafer set of mass assignments are investigated and compared with the properties of the bayes set of probabilities. A python library for performing calculations in the dempstershafer theory of evidence. Software quality and reliability prediction using dempstershafer theory lan guo dissertation submitted to the college of engineering and mineral resources at west virginia university in partial ful. Software quality and reliability prediction using dempstershafer theory lan guo as software systems are increasingly deployed in mission critical applications, accurate quality and reliability predictions are becoming a necessity. Fault localization with partially reliable test results using dempstershafer theory abstract. The dempstershafer theory of evidence here, ds theory, for brevity, sometimes called evidential reasoning cf. Imprecise probability and decision in civil engineering. Belief functions base degrees of belief or confidence, or trust for one question on the probabilities for a related question. This paper starts with the grading standard of classified protection of information system, and comes up with the grading method based on analytic hierarchy process and dempstershafer theory for classified protection of information system. Most accurate prediction models require extensive testing effort, implying increased cost and slowing down the development life cycle.

Fault localization with partially reliable test results. Software defect prediction, dempster shafer evidence theory, information fusion, software engineering 1. Examples of each of the methods as applied to a simple engineering model will be provided. Shatz, and haiping xu, reasoning under uncertainty for shill detection in online auctions using dempster shafer theory, to appear in international journal of software engineering and knowledge engineering ijseke.

We developed two novel statistical models based on dempstershafer theory, which provide accurate predictions from relatively small data sets of direct and indirect software reliability and quality predictors. We developed two novel statistical models based on dempster shafer theory, which provide accurate predictions from relatively small data sets of direct and indirect software reliability and quality predictors. As a more flexible mathematical tool, dempstershafer theory not only combines with. Dempstershafer theory does not require an assumption regarding the probability of the individual constituents of the set or interval. Fault localization is a critical procedure in software development process. Dempstershafer theory in the analysis and design of. Introduction one of the aims of software engineering activities is, cost effective development of high quality software systems 1, that is in the narrowest sense can. Support for normalized as well as unnormalized belief functions different montecarlo algorithms for combining belief functions various methods related to the generalized bayesian theorem measures of uncertainty methods for constructing belief functions from data both python 2. We proposed a multilevel evaluation index mechanism which is used to classified protection level of information system the. In practical engineering applications, dempstershafer evidence theory is widely used in multisource information fusion owing to its effectiveness in data fusion. A novel algorithm for identifying key function nodes in. The dempstershafer theory owes its name to work by a. The bayes set is a special case of the dempster shafer set, where all non.

In this work abstract algebraic properties of the dempstershafer set of mass assignments are investigated and compared with the properties of the bayes set of probabilities. The theory came to the attention of ai researchers in the early 1980s, when they were trying to adapt probability theory to expert systems. May 01, 2007 this book brings together a collection of classic research papers on the dempster shafer theory of belief functions. By modeling this unreliability using dempster shafer theory, we managed to. In this context, we propose to use belief functions in dempstershafer ds theory 9, 10, 11 to model the. In this paper, we study predicting trust and distrust based on dempster shafer theory and neural network.

Fundamentals of the dempstershafer theory and its applications to system safety and reliability modelling. Thus, we believe that a distribution best captures a human opinion such as confidence. An introduction to bayesian and dempstershafer data fusion. Advances in the dempstershafer theory of evidence guide. Dempstershafer multifeature fusion for pedestrian detection. By bridging fuzzy logic and probabilistic reasoning, the theory of belief functions has become a primary tool for knowledge representation and uncertainty reasoning in. International journal of reliability, quality and safety engineeringvol.

571 526 230 535 742 362 430 1429 1212 1074 869 665 1295 1373 18 1174 283 94 709 1371 914 786 587 691 543 1420 1276 530 1028