Matches in SemOpenAlex for { <https://semopenalex.org/work/W2162304429> ?p ?o ?g. }
Showing items 1 to 53 of
53
with 100 items per page.
- W2162304429 abstract "Cleanroom software engineering requires statistical testing by an independent agent for the purpose of certifying software quality. Statistical software testing is a formal process that involves sampling from the intended usage environment and the precise measurement of properties of random variables inherent in such a statistical experiment. The first step in conducting a statistical test is to determine the usage distribution for the software in its intended environment. This distribution is the basis for a random generator of test sequences for the software. In order to achieve this distribution, a usage analysis is performed using the software specification and any available usage information. The usage analysis consists of a top down, structural investigation of the specification document that establishes a set of usage states and defines an ordering on this set. The paper describes in detail the usage analysis and inference procedure including various computations on the ensuing Markov chains. Stopping criteria are developed and a discrete software reliability model is presented.< <ETX xmlns:mml=http://www.w3.org/1998/Math/MathML xmlns:xlink=http://www.w3.org/1999/xlink>></ETX>" @default.
- W2162304429 created "2016-06-24" @default.
- W2162304429 creator A5042406406 @default.
- W2162304429 creator A5065993737 @default.
- W2162304429 date "1992-01-01" @default.
- W2162304429 modified "2023-10-09" @default.
- W2162304429 title "Statistical testing for cleanroom software engineering" @default.
- W2162304429 cites W1981416932 @default.
- W2162304429 cites W2075978670 @default.
- W2162304429 cites W2158535304 @default.
- W2162304429 doi "https://doi.org/10.1109/hicss.1992.183256" @default.
- W2162304429 hasPublicationYear "1992" @default.
- W2162304429 type Work @default.
- W2162304429 sameAs 2162304429 @default.
- W2162304429 citedByCount "23" @default.
- W2162304429 countsByYear W21623044292013 @default.
- W2162304429 countsByYear W21623044292014 @default.
- W2162304429 countsByYear W21623044292016 @default.
- W2162304429 countsByYear W21623044292017 @default.
- W2162304429 countsByYear W21623044292018 @default.
- W2162304429 countsByYear W21623044292023 @default.
- W2162304429 crossrefType "proceedings-article" @default.
- W2162304429 hasAuthorship W2162304429A5042406406 @default.
- W2162304429 hasAuthorship W2162304429A5065993737 @default.
- W2162304429 hasConcept C115903868 @default.
- W2162304429 hasConcept C117447612 @default.
- W2162304429 hasConcept C199360897 @default.
- W2162304429 hasConcept C2777904410 @default.
- W2162304429 hasConcept C41008148 @default.
- W2162304429 hasConcept C529173508 @default.
- W2162304429 hasConceptScore W2162304429C115903868 @default.
- W2162304429 hasConceptScore W2162304429C117447612 @default.
- W2162304429 hasConceptScore W2162304429C199360897 @default.
- W2162304429 hasConceptScore W2162304429C2777904410 @default.
- W2162304429 hasConceptScore W2162304429C41008148 @default.
- W2162304429 hasConceptScore W2162304429C529173508 @default.
- W2162304429 hasLocation W21623044291 @default.
- W2162304429 hasOpenAccess W2162304429 @default.
- W2162304429 hasPrimaryLocation W21623044291 @default.
- W2162304429 hasRelatedWork W2081787263 @default.
- W2162304429 hasRelatedWork W2211158793 @default.
- W2162304429 hasRelatedWork W2212955619 @default.
- W2162304429 hasRelatedWork W2290299503 @default.
- W2162304429 hasRelatedWork W2476117260 @default.
- W2162304429 hasRelatedWork W2770531922 @default.
- W2162304429 hasRelatedWork W3029851195 @default.
- W2162304429 hasRelatedWork W3118244000 @default.
- W2162304429 hasRelatedWork W3124296310 @default.
- W2162304429 hasRelatedWork W4321354308 @default.
- W2162304429 isParatext "false" @default.
- W2162304429 isRetracted "false" @default.
- W2162304429 magId "2162304429" @default.
- W2162304429 workType "article" @default.