Andere Kunden interessierten sich auch für
![Non Co-Operative Detection of LPI/Lpd Signals Via Cyclic Spectral Analysis]( "Non Co-Operative Detection of LPI/Lpd Signals Via Cyclic Spectral Analysis")
Non Co-Operative Detection of LPI/Lpd Signals Via Cyclic Spectral Analysis63,99 €![Generating Executable Persistent Data Storage/Retrieval Code from Object-Oriented Specifications]( "Generating Executable Persistent Data Storage/Retrieval Code from Object-Oriented Specifications")
Generating Executable Persistent Data Storage/Retrieval Code from Object-Oriented Specifications63,99 €![An Investigation of Shock Wave Physics via Hybrid CFD-BGK Solution Methods for Nonequilibrium Flows]( "An Investigation of Shock Wave Physics via Hybrid CFD-BGK Solution Methods for Nonequilibrium Flows")
An Investigation of Shock Wave Physics via Hybrid CFD-BGK Solution Methods for Nonequilibrium Flows63,99 €![Assembly, Integration, and Test Methods for Operationally Responsive Space Satellites]( "Assembly, Integration, and Test Methods for Operationally Responsive Space Satellites")
Assembly, Integration, and Test Methods for Operationally Responsive Space Satellites63,99 €![Concept processing and generating approach as for written discourse]( "Concept processing and generating approach as for written discourse")
Concept processing and generating approach as for written discourse44,99 €![TEACHING AND LEARNING LEGAL ENGLISH VIA AI]( "TEACHING AND LEARNING LEGAL ENGLISH VIA AI")
TEACHING AND LEARNING LEGAL ENGLISH VIA AI39,99 €![Preparing a pre-requisite test in algebra. Construction and tryout]( "Preparing a pre-requisite test in algebra. Construction and tryout")
Preparing a pre-requisite test in algebra. Construction and tryout44,99 €
Testing can be used during the software development process to maintain fidelity between evolving specifications, program designs, and code implementations. We use a form of specification-based testing that employs the use of an automated theorem prover to generate test templates. A similar approach was developed using a model checker on state-intensive systems. This method applies to systems with functional rather than state-based behaviors. This approach allows for the use of incomplete specifications to aid in generation of tests for potential failure cases. We illustrate the technique on the cannonical triangle testing problem and discuss its use on analysis of a spacecraft scheduling system.
Hinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden.
Hinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden.