SwePub
Sök i SwePub databas

  Utökad sökning

Träfflista för sökning "id:"swepub:oai:DiVA.org:uu-257241" "

Sökning: id:"swepub:oai:DiVA.org:uu-257241"

  • Resultat 1-1 av 1
Sortera/gruppera träfflistan
   
NumreringReferensOmslagsbildHitta
1.
  • Meinke, Karl, et al. (författare)
  • Model-based testing and model inference
  • 2012
  • Ingår i: Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change. - Berlin, Heidelberg : Springer. - 9783642340253 ; , s. 440-443
  • Konferensbidrag (refereegranskat)abstract
    • Model-based software testing is well established, and can be traced back to Moore's "Gedanken experiments" on finite state machines from 1956 [10]. The best known approaches involve the use of models (such as UML interaction diagrams or state machines) as the basis for selecting test inputs that seek to explore the core functionality of the system. Outputs from the test executions can subsequently be checked against the model.
  •  
Skapa referenser, mejla, bekava och länka
  • Resultat 1-1 av 1
Typ av publikation
konferensbidrag (1)
Typ av innehåll
refereegranskat (1)
Författare/redaktör
Meinke, Karl (1)
Walkinshaw, N. (1)
Lärosäte
Kungliga Tekniska Högskolan (1)
Språk
Svenska (1)
Forskningsämne (UKÄ/SCB)
Medicin och hälsovetenskap (1)
År
1978 (1)

Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.

 
pil uppåt Stäng

Kopiera och spara länken för att återkomma till aktuell vy