Verification, Validation, and Testing of Engineered Systems

Engel, Avner

doi:10.1002/9780470618851

Cited by 111 publications

(114 citation statements)

References 0 publications

Supporting

Mentioning

110

Contrasting

Unclassified

Order By: Relevance

“…The focus is set on testing itself as well as closely related tasks, thereby including design analysis, modelling and simulation, physical tests, and analysis of test data. The literature study undertaken for this paper supports earlier comments by Engel (2010) that relatively little work has been published on testing in this specific context, as well as the observation of Lévárdy et al (2004) that testing has received significantly less research attention than the associated design and analysis tasks of product development and systems engineering.…”

Section: Introductionsupporting

confidence: 65%

“…In this context, testing is typically viewed as one of several methods that can be used in support of V&V (Hoppe et al 2007) and is often the most data-intensive of those methods (Pineda and Kilicay-Ergin 2010). Complementing testing, other V&V methods include analysis, inspection of properties and simple demonstration of functionality (Engel 2010).…”

Section: Roles Of Testing In Design and Developmentmentioning

confidence: 99%

“…A prototype, defined as a "preproduction representation of some aspect of a concept or final design" (Camburn et al 2017), is required for many testing situations although prototyping can also have other purposes, such as to support design communication. For more information on research into design prototyping and its relationship to testing, the reader is referred to the literature (IEEE 1990) Testing: An activity in which a system or component is executed under specified conditions, the results are observed or recorded, and an evaluation is made of some aspect of the system or component Verification: The process of evaluating a system or component to determine whether the products of a given development phase satisfy the conditions imposed at the start of that phase Validation: The process of evaluating a system or component during or at the end of the development process to determine whether it satisfies specified requirements ISO 9000 Quality management system (Hoyle 2009) Testing: (Definition not found) Verification: a process to ensure through the provision of objective evidence that specified requirements has been fulfilled Validation: a process to confirm that resulting product is capable of fulfilling the requirements for the specified application or intended use where known Telecommunication community (Engel 2010) Testing: (1) Physical measurements taken to verify conclusions obtained from mathematical modelling and analysis. (2) Physical measurements taken for developing mathematical models Verification: (1) Comparing an activity, a process, or a product with the corresponding requirements or specifications.…”

Section: Roles Of Testing In Design and Developmentmentioning

confidence: 99%

“…To further clarify the relationship between testing, verification, validation, and quality, Table 1 summarises definitions from several sources including the IEEE standard glossary of software terminology (IEEE 1990), the ISO 9000 Quality Management System (Hoyle 2009), the telecommunications community (Engel 2010) and the modelling and simulation community (Balci 1998). This paper adopts the definition of testing from the IEEE standard glossary, which is similar to the definition of Shabi et al (2017) and those used in the case study companies discussed in Sect.…”

Section: Roles Of Testing In Design and Developmentmentioning

confidence: 99%

See 3 more Smart Citations

Testing in the incremental design and development of complex products

et al. 2018

View full text Add to dashboard Cite

Testing is an important aspect of design and development which consumes significant time and resource in many companies. However, it has received less research attention than many other activities in product development, and especially, very few publications report empirical studies of engineering testing. Such studies are needed to establish the importance of testing and inform the development of pragmatic support methods. This paper combines insights from literature study with findings from three empirical studies of testing. The case studies concern incrementally developed complex products in the automotive domain. A description of testing practice as observed in these studies is provided, confirming that testing activities are used for multiple purposes depending on the context, and are intertwined with design from start to finish of the development process, not done after it as many models depict. Descriptive process models are developed to indicate some of the key insights, and opportunities for further research are suggested.

show abstract

Section: Introductionsupporting

confidence: 65%

Section: Roles Of Testing In Design and Developmentmentioning

confidence: 99%

Section: Roles Of Testing In Design and Developmentmentioning

confidence: 99%

Section: Roles Of Testing In Design and Developmentmentioning

confidence: 99%

See 2 more Smart Citations

Testing in the incremental design and development of complex products

et al. 2018

View full text Add to dashboard Cite

show abstract

“…In the literature on ecological modeling the white-box modeling is discussed as a future opportunity [8]. Currently, this type of modeling is used and widely discussed only in engineering sciences [9][10][11][12][13]. We consider the cellular automata method developed in this study as the white box modeling.…”

Section: Uniform Cellular Automaton Applies the Same Rules Formentioning

confidence: 99%

Axiomatic cellular automata modelling as a promising way to a general theory of ecological physics

Kalmykov¹,

Kalmykov²,

Kalmykov³

2017

MOJES

View full text Add to dashboard Cite

The observed loss of biodiversity calls to create a general theory of ecological physics for better understanding of the events. Due to the inseparable mutuality of organism and environment, ecological physics should combine biophysics (physics of organisms) and environmental physics. We guess that a general theory of ecological physics should include as an abstract physical description of an ecosystem and a tool for its transparent ("white box") modelling. Such a theory should have a system of basic axioms. Here we demonstrate that logical cellular automata allow to create transparent models of ecosystems. The system of basic axioms of the general theory of ecological physics performs the role of the cellular automata rules. We believe that such a transparent mathematical modelling from the first principles is very promising not only for the ecology, but also for modelling of any complex dynamic systems. deterministic inference of white-box models. Here we introduce a physics-based semantics (ontology) of our ecosystem models. Further, we transform this semantics to a set of axiomatic cellular automata rules. An elementary object of our models is a micro ecosystem. This is the basic ideal "self-moving" object of our models. Autonomous dynamics of this object is characterized by a set of states, and the diagram of their sequential change in accordance with the principles of the extreme. Following Tansley, we consider individuals with their ''special environment, with which they form one physical system'' [1]. A microhabitat is the intrinsic part of environmental resources of one individual and it contains all necessary resources for its life. It is an intrinsic part of all environmental resources and conditions per one individual. The high-grade (''fresh'') energy flow of solar radiation provides an individual's life in a microhabitat. The flow of lowered-grade (''used-up'') energy which is produced during an individual's life goes into the cold space and also provides the conditions for an individual's life in a microhabitat. A living organism is not able to function without the heat output to a ''refrigerator''. Ultimately, the cold space performs a role of the refrigerator. A working cycle of a micro ecosystem's processes represents a closed circle, which includes occupation of a microhabitat by an individual and restoration of used resources after an individual's death. A micro eco-system, includes a single microhabitat and is able to provide a single accommodation of one individual, but it cannot provide its propagation. This is due to the fact that after an individual's death, its microhabitat goes into a regeneration (refractory) state, which is not suitable for immediate occupation. A minimal ecosystem, providing a possibility of vegetative propagation of an individual, must consist of two microhabitats. In our models vegetative propagation is carried out due to resources of an individual's microhabitat by placing a finished vegetative primordium of a descendant in a free microhabitat of an indiv...

show abstract

Creative Methods

2018

Practical Creativity and Innovation in Systems Engineering

View full text Add to dashboard Cite

Verification, Validation, and Testing of Engineered Systems

Cited by 111 publications

References 0 publications

Testing in the incremental design and development of complex products

Testing in the incremental design and development of complex products

Axiomatic cellular automata modelling as a promising way to a general theory of ecological physics

Creative Methods

Contact Info

Product

Resources

About