Volgens Gerard Holzmann, maker van de SPIN model checker, is de betrouwbaarheid van Vista zo laag dat klanten uit wanhoop XP blijven gebruiken of overstappen op open source besturingssystemen zoals Linux. Holzmann: “Voor een zware gebruiker is Vista gewoon niet acceptabel: het is te groot en complex.”
Gerard Holzmann, maker van de SPIN model checker, een softwaretool voor het controleren van de betrouwbaarheid van gedistribueerde softwaresystemen: "De omvang van de Vistacode heeft de magische grens gepasseerd waar voorbij het mogelijk is een systeem echt betrouwbaar te maken. Bovendien gebruikt Vista buitensporige hoeveelheden geheugen en laat weinig over voor de gebruiker. Een gewone gebruiker merkt daar misschien niet zoveel van, maar voor een zware gebruiker is Vista gewoon niet acceptabel: het is te groot en complex."
Ontwikkelaars mijden Vista
"Microsoft is aan het ontdekken dat ze een grens bereikt hebben: veel klanten blijven XP gebruiken in plaats van over te stappen. Dat is nog niet eerder op deze schaal gebeurd, voor zover ik weet. Linux wint enorm aan kracht en ik denk dat we op een keerpunt zijn aangekomen: gebruikers keren commerciële besturingssystemen de rug toe en adopteren open source besturingssystemen. Open source producten zijn betrouwbaarder. In de eerste plaats omdat ze kleiner zijn, verder omdat ze op een meer open manier ondersteund worden door een erg grote gebruikersgemeenschap. Open source software is transparanter: je hoeft niet meer blindelings te geloven in de software die iemand anders aan je verkoopt zonder je te vertellen hoe het werkt."
Eerder deze maand bleek al dat slechts 8 procent van de Noord-Amerikaanse ontwikkelaars applicaties schrijft voor besturingssysteem Windows Vista. Het grootste deel van de programmeurs schrijft nog steeds applicaties voor Windows XP.
Verificatie van softwaresystemen
Gerard Holzmann deed zijn uitspraken aan Computable na afloop van een lezing die hij vrijdag 23 mei bij het CWI gaf ter ere van het vijfentwintig bestaan van de SEN2 groep. Deze groep houdt zich sinds 1982 bezig met het ontwikkelen van algebraïsche technieken voor de specificatie en verificatie van softwaresystemen.
Gerard Holzmann
Gerard Holzmann promoveerde in 1979 als informaticus in Delft. Tussen 1980 en 2003 maakte hij binnen Bell Labs deel uit van de Computing Science Research groep, waarbinnen onder andere de programmeertalen C en C++ ontwikkeld werden. Holzmann werkte er tien jaar aan de SPIN model checker, een softwaretool voor het controleren van de betrouwbaarheid van gedistribueerde softwaresystemen. Hiervoor ontving hij in in 2002 de Software System Award van de Amerikaanse Association for Computing Machinery. Vanaf 2003 werkt Holzmann bij het Jet Propulsion Laboratory van NASA aan het verbeteren van de betrouwbaarheid van de software voor ruimtevaartuigen.
@Paurum:
Inderdaad! En wie A zegt moet ook B zeggen. Dus als je Vista niks vindt, wees dan ook een vent en ga terug naar DOS 4.01 WP. Dat waren pas tijden!
(Dit is een poging tot humor.)
Ik denk meer aan een Commodore 64, lekker veel herrie, veel spel en geen virussen! 😎
@Jaap:
Dat de user en de admin rollen strikt van elkaar gescheiden zijn, noem ik vooruitgang. Tenzij je van mening bent dat je in Unix ook altijd als root ingelogd moet zijn.
Ik gebruik Vista dagelijks op mijn werk, geen problemen maar het enige dat ik doe is netten, mailen en office dingetjes.
een vriend van me die 16 uur per dag spelletjes speelt houdt dit ook 16 uur vol op vista, het draait dus goed. Deze noob vriend heeft wel een probleem met zijn updates, er staan er nu zo’n 25 klaar die niet automatisch geinstalleerd worden. Hij zou ze ??n voor ??n met de hand moeten doen maar omdat het een noob is ziet hij daar het nut niet van in.
Vista is dus niet veiliger.
Dan heeft je vriend de updates in ieder geval klaar staan. Bij mij werkt Windows Update helemaal niet meer dus heb ik WU maar gedeinstalleerd, ik kon er echt helemaal niets mee!
@Mark
Die noob zou natuurlijk zijn updates automatisch kunnen laten installeren, dat kun je gewoon instellen….
@(j)Aap
Jij legt dus nu precies uit waarom het juist wel belangrijk is dat er zo’n Admin-feature aanwezig is om setup tegen te houden… Setup is namelijk 1 van de gevaarlijkste bestandsnamen (als het al niet de gevaarlijkste is) die ooit bedacht is…
In XP was dat juist de setup-block-feature die het grootste gemis was… Ikzelf heb dit meerdere malen als feature-request bij Microsoft ingediend en ben er dan ook best wel trots op dat mijn request is ingewilligd… Mijn gebruikers kunnen dus nu niet meer luckraak een setup installeren maar moeten, zoals normaal, setup eerst hernoemen… Daarna loopt het als een zonnetje..
@Mark
Je kunt natuurlijk ook gebruik maken van een VBS script met impersonation, of nog beter kijk eens naar softgrid. krijg je voor 10 euri extra bij Vista als je een SA hebt…..en nee dit is geen reclame
Ik heb zelf een mediamarkt laptop aangeschaft en ondervindt de hele tijd problemen met Vista. De bluetooth kan geen contact krijgen met het internet, waardoor office niet meer kan booten. Kan iemand mij helpen de website van de ombudsman wordt tegengehouden door de firewall heb ik het idee. Het is allemaal gekomen toen ik de wireless GPS kaart heb geupdate met liveupdate.
@VistaVlerk
Dat die admin functionaliteit in Vista anders is geregeld is alleen niet door Microsoft aan de ‘gewone’ gebruiker duidelijk gemaakt. Zelf vind ik het een stuk veiliger, maar ook lastiger. Een gewone gebruiker die een pc met Vista erop koopt wil daarop ook nog wel wat software plaatsen. Als dat software is die of wat ouder is, maar wel geschikt voor Vista, of het is een pakket dat niet helemaal aan de Vista normen voldoet (daar kom je dus later achter), kunnen problemen optreden. Soms is het zo dat het allemaal prima lijkt te draaien en dan toch werkt er iets niet zoals het moet.
Zelf heb ik na installatie van Corel Paintshop Pro X2 (Systeemvereisten: Microsoft? Windows Vista? of Windows? XP, met de meest recente servicepacks ge?nstalleerd) dat Windows Verkenner af en toe blijft hangen en opnieuw opstart. Ik kreeg dit probleem direct na installatie van PSP X2. Op een XP machine heb ik dat probleem niet.
Toch zou ik Vista niet meer willen missen, al was het maar vanwege een aantal technische verbeteringen die het gebruik van de pc veel aangenamer maken.