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(_at_)mitre(_dot_)org <
xsl-list-service(_at_)lists(_dot_)mulberrytech(_dot_)com> 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.
--~----------------------------------------------------------------
XSL-List info and archive: http://www.mulberrytech.com/xsl/xsl-list
EasyUnsubscribe: http://lists.mulberrytech.com/unsub/xsl-list/1167547
or by email: xsl-list-unsub(_at_)lists(_dot_)mulberrytech(_dot_)com
--~--