Computational Intelligence in Software Quality Assurance by Scott Dick

By Scott Dick

Software program structures encompass us. software program is a serious part in every thing from the relations motor vehicle via electricity structures to army apparatus. As software program performs an ever-increasing function in our lives and livelihoods, the standard of that software program turns into progressively more severe. even if, our skill to carry top of the range software program has now not stored up with these expanding calls for. the commercial fallout is big; the united states economic climate by myself is wasting over US$50 billion consistent with yr because of software program disasters. This ebook offers new examine into utilizing complicated man made intelligence options to steer software program caliber advancements. The suggestions of chaos thought and information mining are delivered to endure to supply new insights into the software program improvement procedure. Written for researchers and practitioners in software program engineering and computational intelligence, this booklet is a distinct and demanding bridge among those fields.

Show description

Read Online or Download Computational Intelligence in Software Quality Assurance PDF

Similar computational mathematicsematics books

Groundwater Hydrology Conceptual and Computational Models

Groundwater is an important resource of water in the course of the global. because the variety of groundwater investigations raise, you will need to know how to enhance entire quantified conceptual versions and get pleasure from the root of analytical options or numerical equipment of modelling groundwater circulation.

Additional resources for Computational Intelligence in Software Quality Assurance

Example text

More on VDM specifications may be found in [ 1201. Z specifications are built up of schemas, which are a structured description of both the static and dynamic features of a process. The static features of a process are its inputs, outputs, and the function prototype of any operations that the process needs to carry out, which are represented as declarations. The dynamic features of a process are represented by preconditions and postconditions, using the operations of elementary set theory as well as input and output operators.

Since that time, a staggering number of papers on ANNs have been published; see the journal IEEE Transactions on Neural Networks for hrther reading. In common with other inductive learning algorithms, ANNs learn by repeatedly observing a set of input-output pairings, and developing an Sofiai-e Engineering and ArfiJicialIntelligence 33 internal representation of the underlying function. The internal representation used by ANNs is a pattern of connection weights. Each link between two nodes in an ANN has an associated weight, which is altered by the learning algorithm of the ANN.

A component library is a collection of software components that have been designed and certified for reuse. In using a component library, the starting point is to develop a specification for a component that is to be inserted into a program. Next, 28 Computational Intelligence in Software Quality Assurance a set of candidate components must be identified from the library, and each candidate must be evaluated for its suitability. Ultimately, one candidate is selected as being the best. Assuming that this candidate is reasonably close to the desired specification (otherwise the component will just be written from scratch), it will be modified as needed and then integrated into the program.

Download PDF sample

Rated 4.46 of 5 – based on 25 votes