Subject: Re: [xsl] Is there an XSLT/XPath processor good enough to use in life-critical applications? From: "Dimitre Novatchev dnovatchev@xxxxxxxxx" <xsl-list-service@xxxxxxxxxxxxxxxxxxxxxx> Date: Fri, 15 Nov 2019 17:55:39 -0000 |
This question can be asked about any programming language and the correct answer would be that this depends on the discipline of testing the software. I am not sure if programs of reasonable size (as used for significant everyday applications) can be proven correct -- e.g. using a system as Alloy. Even if "proven" correct, there can always be error in the upper level -- the specification of the system to the correctness prover. Cheers, Dimitre On Fri, Nov 15, 2019 at 4:09 AM Costello, Roger L. costello@xxxxxxxxx < xsl-list-service@xxxxxxxxxxxxxxxxxxxxxx> wrote: > Hi Folks, > > Are you using XSLT/XPath in a life-critical application such as > controlling a nuclear power plant or controlling an aircraft flight system? > > Can an XSLT/XPath processor be relied on to always return the correct > results when given a valid XSLT/XPath program and a well-formed XML > document? Is it possible to quantify or bound the correctness of an > XSLT/XPath processor? Is there an XSLT/XPath processor that limits the > probability of getting an incorrect result to 10**(-9)? > > /Roger > > -- Cheers, Dimitre Novatchev --------------------------------------- Truly great madness cannot be achieved without significant intelligence. --------------------------------------- To invent, you need a good imagination and a pile of junk ------------------------------------- Never fight an inanimate object ------------------------------------- To avoid situations in which you might make mistakes may be the biggest mistake of all ------------------------------------ Quality means doing it right when no one is looking. ------------------------------------- You've achieved success in your field when you don't know whether what you're doing is work or play ------------------------------------- To achieve the impossible dream, try going to sleep. ------------------------------------- Facts do not cease to exist because they are ignored. ------------------------------------- Typing monkeys will write all Shakespeare's works in 200yrs.Will they write all patents, too? :) ------------------------------------- Sanity is madness put to good use. ------------------------------------- I finally figured out the only reason to be alive is to enjoy it.
Current Thread |
---|
|
<- Previous | Index | Next -> |
---|---|---|
Re: [xsl] Is there an XSLT/XPath pr, Eliot Kimber ekimber | Thread | Re: [xsl] Is there an XSLT/XPath pr, Michael Kay mike@xxx |
Re: [xsl] Is there an XSLT/XPath pr, John Lumley john@xxx | Date | Re: [xsl] Is there an XSLT/XPath pr, Liam R. E. Quin liam |
Month |