SLAM-project

Uit Wikipedia, de vrije encyclopedie
Ga naar: navigatie, zoeken

Het SLAM-project, dat opgestart is door Microsoft Research, richtte zich op het controleren van veiligheid van software door middel van "model checking"-technieken. Het is in Ocaml geïmplementeerd, en het is gebruikt om veel bugs te vinden in stuurapparaten voor Windows. Het is verspreid als onderdeel van de Microsoft Windows Driver Foundation development kit als de Static Driver Verifier (SDV).

SLAM gebruikt een techniek genaamd counterexample-guided abstraction refinement, die gebruikmaakt van steeds betere modellen van het programma dat wordt getest.

SLAM was oorspronkelijk een afkorting, maar de mensen van Microsoft vonden het te omslachtig om deze uit te leggen. Ze hebben toch de voorkeur gegeven aan het idee van de bugs in een programma te 'slammen", aldus een medewerker van Microsoft.[1] Het stond waarschijnlijk voor "Software, Languages, Analysis, and Modeling."[2] Microsoft heeft sinds deze uitspraak SLAM hergebruikt als "Social Location Annotation Mobile".[3]

Referenties[bewerken]

  1. Ball, Thomas; Cook, Byron; Levin, Vladimir; and Rajamani, Sriram K.; SLAM and Static Driver Verifier: Technology Transfer of Formal Methods inside Microsoft; Lecture Notes in Computer Science (LNCS), Vol. 2999: Boiten, Eerke A.; Derrick, John; and Smith, Graeme; eds.; Fourth International Conference on Integrated Formal Methods (IFM 2004), 4–7 April 2004, Canterbury, GB, Springer, Berlin/Heidelberg, pp. 1–20
  2. Microsoft Windows Hardware Developer Central; Glossary of Acronyms for PC and Server Technologies; 2007 February 26
  3. Mondok, Matt; Microsoft's Slam: stay in touch with, stalk your friends; Ars Technica, 2006 October 10

Externe link[bewerken]