Applicability of modified condition/decision coverage to software testing
Applicability of modified condition/decision coverage to software testing
- Author(s): John Joseph Chilenski and Steven P. Miller
- DOI: 10.1049/sej.1994.0025
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): John Joseph Chilenski 1 and Steven P. Miller 2
-
-
View affiliations
-
Affiliations:
1: Boeing Commercial Airplane Group, Seattle, USA
2: Collins Commercial Avionics, Rockwell International, Cedar Rapids, USA
-
Affiliations:
1: Boeing Commercial Airplane Group, Seattle, USA
- Source:
Volume 9, Issue 5,
September 1994,
p.
193 – 200
DOI: 10.1049/sej.1994.0025 , Print ISSN 0268-6961, Online ISSN 2053-910X
- « Previous Article
- Table of contents
- Next Article »
Modified condition/decision coverage is a structural coverage criterion requiring that each condition within a decision is shown by execution to independently and correctly affect the outcome of the decision. This criterion was developed to help meet the need for extensive testing of complex Boolean expressions in safety-critical applications. The paper describes the modified condition/decision coverage criterion, its properties and areas for further work.
Inspec keywords: software reliability; safety; real-time systems; program testing; program verification
Other keywords:
Subjects: Software engineering techniques; Diagnostic, testing, debugging and evaluating systems
References
-
-
1)
- Tai, K-C., Su, H-K.: `Test generation for Boolean expressions', Proc. 11th Int. Symp. on Computer Software and Applications (COMPSAC '87), October 1987, Tokyo, Japan, p. 278–283, ISSN 0730-3157.
-
2)
- G.J. Myers . (1979) , The art of software testing.
-
3)
- `Software considerations in airborne systems and equipment certification', Document RTCA/DO-178B, December 1992.
-
4)
- W. Howden . Theoretical and empirical studies of program testing. IEEE Trans. , 4 , 162 - 169
-
5)
- C. Youngblut , B. Brykezynski , J. Salasin , K. Gordon , R. Meeson . (1989) , SDS software testing and evaluation: a review of the state-of-the-art in software testing and evaluation with recommended R&D tasks.
-
6)
- E.J. McLlusky . (1986) , Logic design principles.
-
7)
- `Reference manual for the Ada programming language', ANSI/MIL-STD-1815A-1983, February 1983.
-
8)
- L.A. Clark , A. Posgurski , D.J. Richardson , S.J. Zeil . A formal evaluation of data flow path selection criteria. IEEE Trans. , 11 , 1318 - 1332
-
9)
- B. Beizer . (1990) , Software testing techniques.
-
10)
- K.A. Foster . Sensitive test data for logic expressions. ACM SIGSOFT Softw. Eng. Notes , 2 , 120 - 125
-
11)
- S. Rapps , E. Weyuker . Selecting software test data using data flow information. IEEE Trans. , 4 , 367 - 375
-
12)
- S. Ntafos . A comparison of some structural testing strategies. IEEE Trans. , 6 , 868 - 874
-
13)
- Hoffman, D.: `Hardware testing and software ICs', Proc. Pacific Northwest Software Quality Conf., September 1989, , p. 234–244.
-
14)
- G. Booch . (1987) , Software components with Ada.
-
15)
- W. Howden . Functional program testing. IEEE Trans. , 2 , 162 - 169
-
16)
- V. Basili , R. Selby . Comparing the effectiveness of software testing strategies. IEEE Trans. , 12 , 1278 - 1296
-
17)
- Weyuker, E.J., Weiss, S.N., Hamlet, D.: `Comparison of program testing strategies', Proc. Symp. on Testing, Analysis, and Verification (TAV4), October 1991, Victoria, British Columbia, p. 1–10.
-
18)
- Z. Kohavi . (1978) , Switching theory and finite automata theory.
-
19)
- D. Gries . (1981) , The science of programming.
-
20)
- Hamlet, R.: `Theoretical comparison of testing methods', Proc. Third Symp. on Testing, Analysis, and Verification, December 1989, Key West, Florida, p. 28–37.
-
21)
- B.W. Kernighan , P.J. Plauger . (1981) , Software tools in Pascal.
-
1)