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

Comments on the probability model for the modified condition/decision coverage method of testing software

Comments on the probability model for the modified condition/decision coverage method of testing software

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

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

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:
 
 
 
 
 
IEE Proceedings - Software — Recommend this title to your library

Thank you

Your recommendation has been sent to your librarian.

© IEE
Published

The probability model of software errors offered as a partial justification for the modified condition/decision coverage (MC/DC) method of testing software is examined. MC/DC is complex and still evolving, but a description of MC/DC adequate for a discussion of the probability model is presented. The original description of the model is presented, and the model's relationship to MC/DC is described. The model is reformulated to make it easier to understand, and it is generalised to strengthen it. The assertions about MC/DC and programming that have been made on the basis of the model are examined. Finally, some experiments are proposed to estimate the model's parameters and to test the appropriateness of the model.

Inspec keywords: program testing; binomial distribution

Other keywords: chi-square test; binomial hypothesis; error distribution; error detection; software testing; Chilensky-Miller model; software errors; modified condition/decision coverage method; probability model; programming

Subjects: Other topics in statistics; Programming support; Systems analysis and programming

References

    1. 1)
      • `Software considerations in airborne systems and equipment certification', DO-178B, 1 December 1992.
    2. 2)
      • Dupuy, A., Leveson, N.: `An empirical evaluation of the mc/dc coverage criterion on the HETE-2 satellite software', Proceedings of Digital Avionics Systems Conference, October 2000, 1, p. 1B6/1–1B6/7.
    3. 3)
      • U. Santhanam . Automating software module testing for FAA certification. ACM SIGAda Ada Lett. , 31 - 38
    4. 4)
      • Hayhurst, K.J., Veerhusen, D.S., Chilensky, J.J., Rierson, L.K.: `A practical tutorial on modified condition/decision coverage', NASA/ TM-2001-21087, May 2001, http://techreports.larc.nasa.gov/ltrs/PDF/2001/tm/NASA-2001-tm210876.pdf accessed May 2001.
    5. 5)
      • J.J. Chilensky , S.P. Miller . Application of modified condition/decision coverage to software testing. Softw. Eng. J. , 5 , 193 - 200
http://iet.metastore.ingenta.com/content/journals/10.1049/ip-sen_20030202
Loading

Related content

content/journals/10.1049/ip-sen_20030202
pub_keyword,iet_inspecKeyword,pub_concept
6
6
Loading
Print this page
This is a required field
Please enter a valid email address