Your browser does not support JavaScript!
http://iet.metastore.ingenta.com
1887

Applicability of modified condition/decision coverage to software testing

Applicability of modified condition/decision coverage to software testing

For access to this article, please select a purchase option:

Buy article PDF
£12.50
(plus tax if applicable)
Buy Knowledge Pack
10 articles for £75.00
(plus taxes if applicable)

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.

Learn more about IET membership 

Recommend Title Publication to library

You must fill out fields marked with: *

Librarian details
Name:*
Email:*
Your details
Name:*
Email:*
Department:*
Why are you recommending this title?
Select reason:
 
 
 
 
 
Software Engineering Journal — Recommend this title to your library

Thank you

Your recommendation has been sent to your librarian.

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.

References

    1. 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. 2)
      • G.J. Myers . (1979) , The art of software testing.
    3. 3)
      • `Software considerations in airborne systems and equipment certification', Document RTCA/DO-178B, December 1992.
    4. 4)
      • W. Howden . Theoretical and empirical studies of program testing. IEEE Trans. , 4 , 162 - 169
    5. 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. 6)
      • E.J. McLlusky . (1986) , Logic design principles.
    7. 7)
      • `Reference manual for the Ada programming language', ANSI/MIL-STD-1815A-1983, February 1983.
    8. 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. 9)
      • B. Beizer . (1990) , Software testing techniques.
    10. 10)
      • K.A. Foster . Sensitive test data for logic expressions. ACM SIGSOFT Softw. Eng. Notes , 2 , 120 - 125
    11. 11)
      • S. Rapps , E. Weyuker . Selecting software test data using data flow information. IEEE Trans. , 4 , 367 - 375
    12. 12)
      • S. Ntafos . A comparison of some structural testing strategies. IEEE Trans. , 6 , 868 - 874
    13. 13)
      • Hoffman, D.: `Hardware testing and software ICs', Proc. Pacific Northwest Software Quality Conf., September 1989, , p. 234–244.
    14. 14)
      • G. Booch . (1987) , Software components with Ada.
    15. 15)
      • W. Howden . Functional program testing. IEEE Trans. , 2 , 162 - 169
    16. 16)
      • V. Basili , R. Selby . Comparing the effectiveness of software testing strategies. IEEE Trans. , 12 , 1278 - 1296
    17. 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. 18)
      • Z. Kohavi . (1978) , Switching theory and finite automata theory.
    19. 19)
      • D. Gries . (1981) , The science of programming.
    20. 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. 21)
      • B.W. Kernighan , P.J. Plauger . (1981) , Software tools in Pascal.
http://iet.metastore.ingenta.com/content/journals/10.1049/sej.1994.0025
Loading

Related content

content/journals/10.1049/sej.1994.0025
pub_keyword,iet_inspecKeyword,pub_concept
6
6
Loading
This is a required field
Please enter a valid email address