The author reviews the importance of software testing, software verification and validation. Many software life cycle models propose that verification and validation is something which is done before testing; in the V...
详细信息
The author reviews the importance of software testing, software verification and validation. Many software life cycle models propose that verification and validation is something which is done before testing; in the V-model, V&V is done on the left hand side and testing on the right hand side. The author shows how one can exploit the full power of the V-model.< >
Summary form only given as follows. The me too method of system design centres on formal specification with validation by testing, by execution of a prototype. The language and tools are in use in industry, and for un...
详细信息
Summary form only given as follows. The me too method of system design centres on formal specification with validation by testing, by execution of a prototype. The language and tools are in use in industry, and for undergraduate and postgraduate teaching in Universities and Polytechnics in Britain and North America. me too has been used to specify and prototype a variety of applications including retail systems, expert system shells, a personal time management system, networking and communications applications, a CAFS-style database system, part of GKS, and an automated teller machine. me too belongs to the category of constructive, model-based specification languages, and is comparable to the executable subset of VDM or Z. The me too language has has its formal basis functional programming (lambda calculus) and set theory. The language is executable and an animation tool, which runs on PCs and workstations, is available. This paper introduces the use of the me too method, language and tools. The me too notation is introduced and illustrated by examples, and a simple specification is developed to demonstrate the use of the method and tools.< >
In the context of electromagnetics programs, verification is the checking of input data and validation is the checking of output results. These divide into several sections which partially correspond to the IEEE/ANSI ...
详细信息
In the context of electromagnetics programs, verification is the checking of input data and validation is the checking of output results. These divide into several sections which partially correspond to the IEEE/ANSI definitions as follows (IEEE/ANSI terms in brackets): checking data entry for correct type and range (not allowed for in IEEE/ANSI); checking the program specification (error); checking the documentation (defect); checking for bugs (fault); and checking the algorithms (error). The author considers these and points out some of the problems which arise in attempting to verify or validate an electromagnetic program.< >
Concurrent systems are inherently more difficult to analyze and visualize than sequential programs. The difficulty of producing correct concurrent programs is mirrored in maintenance as difficulty in extracting a corr...
详细信息
Concurrent systems are inherently more difficult to analyze and visualize than sequential programs. The difficulty of producing correct concurrent programs is mirrored in maintenance as difficulty in extracting a correct high-level model of task interactions and predicting the effect of a modification to portions of a system. We advocate a methodology that combines static analysis of an abstract model with dynamic analysis of source code. While the abstract model is is amenable to exhaustive analysis, dynamic analysis is capable checking richer classes of specifications, and moreover provides a check on the correctness of simplifications and assumptions inherent in abstract models. We illustrate this approach by combining two tools, the PAL system for compositional reachability analyses and the FORESEE analysis tool for temporal analysis of runtime traces, applied to a simulation scenario.< >
Control software was written for the distributed control system (DCS) installed in the Yue Yang coal fired power station in Beijing Province, China. The software was rigorously tested using state of the art technology...
详细信息
Control software was written for the distributed control system (DCS) installed in the Yue Yang coal fired power station in Beijing Province, China. The software was rigorously tested using state of the art technology. The author describes the control system, software test methods, test facilities, the simulator, and the test procedure.< >
In early 1985 it was suggested that the development and validation of 3-D eddy current codes would benefit from certain benchmark problems that could be used to validate the codes. A series of workshops was proposed i...
详细信息
In early 1985 it was suggested that the development and validation of 3-D eddy current codes would benefit from certain benchmark problems that could be used to validate the codes. A series of workshops was proposed in which the solution of problems by different methods and codes could be compared. A brief description is given of the workshop and the results obtained.< >
In any component-based software engineering effort, the issues of locating, evaluating and determining compatibility between components are highly important. Also, the knowledge gained during integration is not easily...
详细信息
In any component-based software engineering effort, the issues of locating, evaluating and determining compatibility between components are highly important. Also, the knowledge gained during integration is not easily managed or shared. The goal of the STEP2002 Workshop on COTS integration and evaluation was to continue the effort to define a reference architecture for a system to codify component integration knowledge. The system can then evaluate ensembles of components against a manifest of desired components and interactions, and rank these ensembles based upon ease of integration.
Empirical studies carried out to help understand the problems of software maintenance are widely held to be of value. A view perhaps less widely recognised within the software engineering domain is that experiments sh...
详细信息
Empirical studies carried out to help understand the problems of software maintenance are widely held to be of value. A view perhaps less widely recognised within the software engineering domain is that experiments should be replicated both internally and externally to validate the results and build up a cohesive body of knowledge. This paper presents the external replication findings of an experiment which tested the benefits to maintenance of using modular code against nonmodular (monolithic) code. The results of our replication were strikingly different from those of the original which showed that a modular program could be maintained significantly faster than an equivalent monolithic version. An inductive analysis, undertaken to investigate the reasons for this, uncovered evidence of an ability effect and the suggestion that the experiment may have been too artificial.< >
The authors discuss software metrication, looking particularly at the CSSE approach. They uncover a property, global structure, which captures all the structural properties of the control flow of a program. They show ...
详细信息
The authors discuss software metrication, looking particularly at the CSSE approach. They uncover a property, global structure, which captures all the structural properties of the control flow of a program. They show that structure will correlate to process data and to the number of bugs discovered after compilation. They apply metrics to the Kindra software tool.< >
暂无评论