Testing — a challenge to method and tool developers
Testing — a challenge to method and tool developers
- Author(s): Martyn A. Ould
- DOI: 10.1049/sej.1991.0008
For access to this article, please select a purchase option:
Buy article PDF
Buy Knowledge Pack
IET members benefit from discounts to all IET publications and free access to E&T Magazine. If you are an IET member, log in to your account and the discounts will automatically be applied.
Thank you
Your recommendation has been sent to your librarian.
- Author(s): Martyn A. Ould 1
-
-
View affiliations
-
Affiliations:
1: Praxis plc, Bath, UK
-
Affiliations:
1: Praxis plc, Bath, UK
- Source:
Volume 6, Issue 2,
March 1991,
p.
59 – 64
DOI: 10.1049/sej.1991.0008 , Print ISSN 0268-6961, Online ISSN 2053-910X
- « Previous Article
- Table of contents
- Next Article »
The paper looks at the requirements for testing in Defence Standard 00–55, compares those requirements with what is possible today, and sets a challenge for methods and tools developers if the situation is to be improved.
Inspec keywords: conformance testing; military computing; software reliability; safety
Other keywords:
Subjects: Military administration; Software engineering techniques
References
-
-
1)
- C.B. Jones . (1990) , Systematic software development using VDM.
-
2)
- D. Gries . (1981) , The science of programming.
-
3)
- N.G. Leveson , J.L. Stolzy . Safety analysis using Petri nets. IEEE Trans. , 3 , 386 - 397
-
4)
- Salter, K.G.: `Methodology for decomposing systems requirements into data processing requirements', Proc. 2nd Int. Conf. on Software Engineering, 1976, IEEE Computer Society Press, p. 91–101.
-
5)
- B.P. Phillips , S.G. Howe , B.K. Daniels . (1987) Verification — the practical problems, Achieving safety and reliability with computer systems.
-
6)
- P. Ward , S. Mellor . (1985) , Structured development for real-time systems.
-
7)
- `Requirements for the procurement of safety critical software in defence equipment', Interim Defence Standard 00–55, May 1989.
-
8)
- E.W. Dijkstra . (1976) , A discipline of programming.
-
9)
- T.S. Chow . Testing software design modelled by finite-state machines. IEEE Trans. , 178 - 187
-
10)
- G.J. Myers . (1979) , The art of software testing.
-
11)
- P.A.V. Hall . (1988) , Software engineering public domain standards.
-
12)
- Knott, R.D., Krause, P.J.: `Library system — an example of the rapid prototyping of a Z specification in Prolog', SE/065, Deliverable Report, 1988.
-
13)
- J.M. Spivey . (1989) , The Z notation — a reference manual.
-
14)
- M.A. Ould , C. Unwin . (1988) , Testing in software development.
-
1)