Real time logic (RTL) was introduced as a formalism for reasoning about the relative and absolute timing properties of computational tasks of discrete real-time systems. Extended real time logic (ERTL) is a formalism ...
详细信息
Real time logic (RTL) was introduced as a formalism for reasoning about the relative and absolute timing properties of computational tasks of discrete real-time systems. Extended real time logic (ERTL) is a formalism for the modelling and analysis of relative and absolute timing properties of hybrid systems (systems that combine continuous variables and discrete event dynamics). The extensions provided by ERTL enable the modelling of system behaviour ranging from activities of the physical entities that form part of the environment of a computing system, to the temporal ordering of the computational tasks of the computing system itself thus providing a formal notation that can be used in all stages of software development.
In this paper we describe an implementation of some kinds of parallel genetic algorithms on the PVM,Parallel Virtual Machine, a portable parallel environment. We give details of a genetic algorithm running On many sma...
详细信息
In this paper we describe an implementation of some kinds of parallel genetic algorithms on the PVM,Parallel Virtual Machine, a portable parallel environment. We give details of a genetic algorithm running On many small subpopulations with an occasional identification and exchange of their useful information among subpopulations by means of message-passing functions of PVM. In this work, experiments were done to compare the parallel genetic algorithm and traditional sequential genetic algorithms.
Despite significant progress in the last 15 years, implementing a successful measurement program for software development is still a challenging undertaking. Most problems are not of theoretical but of methodological ...
详细信息
software development organizations are beginning to recognize that measurement is a prerequisite for systematic process improvement, and have started to measure their products and processes in order to understand, ana...
详细信息
All software projects are experiments in the sense of the scientific method because the outcomes are not known in advance, theories and hypotheses may be tested in the project empirically, and data must be collected a...
详细信息
All software projects are experiments in the sense of the scientific method because the outcomes are not known in advance, theories and hypotheses may be tested in the project empirically, and data must be collected and analyzed. Empirical data allows us to characterize projects, gauge improvements in an environment, and reason about the value of new technologies. The paper discusses our ideas about practical support for collecting empirical data using a process-sensitive softwareengineering environment.
Cause-Effect Graphing (CEG) is used to derive test cases from a given natural language specification to validate its corresponding implementation. This paper surveys some known drawbacks to CEG analysis and shows how ...
详细信息
Cause-Effect Graphing (CEG) is used to derive test cases from a given natural language specification to validate its corresponding implementation. This paper surveys some known drawbacks to CEG analysis and shows how these can be overcome. It also shows how the CEG technique can be used to derive discriminating customer-directed scenarios (use-cases) for validating requirements.
Recognizing faces is a difficult problem due to the generally similar shape of faces combined with the considerable variability in images of the same face under different viewing conditions. In this paper we consider ...
详细信息
We describe techniques for specifying the requirements of real-world interface chips, using as a test target a processor interface unit (PIU). The PIU modeling problem is explained, and current interpreter specificati...
详细信息
Domain based testing (DBT) is a test generation method based on two concepts from software reuse, domain analysis and domain modeling. We applied DBT to command-based systems where the domain model represents the synt...
详细信息
Domain based testing (DBT) is a test generation method based on two concepts from software reuse, domain analysis and domain modeling. We applied DBT to command-based systems where the domain model represents the syntax and semantics of the command language. The domain model drives the generation of test cases. The test generation process consists of three stages: scripting; command template generation; and parameter value selection. Because it is based on ideas from software reuse, DBT also provides a good structure for test case reuse. Production use of the DBT tool Sleuth to generate system tests for an automated robot tape library confirms that DBT provides a wide variety of test case reuse scenarios.< >
暂无评论