A Pragmatic Evaluation of the Enhanced MC/DC Coverage Criterion for the Testing of Safety-Critical Software
碩士 === 國立清華大學 === 資訊工程學系 === 94 === With the size of test suites growing, the cost time of software regression testing becomes longer. In practice, finding an effective method to reduce the size of test suites is important. Modified condition/decision coverage (MC/DC) criterion is an effectual verif...
Main Authors: | Jun-Ru Chang, 張君儒 |
---|---|
Other Authors: | Chin-Yu Huang |
Format: | Others |
Language: | en_US |
Published: |
2006
|
Online Access: | http://ndltd.ncl.edu.tw/handle/41966202395160442641 |
Similar Items
-
Safety-critical software testing in airborne systems : the modified condition/decision coverage criterion
by: Dupuy, Arnaud (Arnaud Guillaume), 1973-
Published: (2005) -
Improving the Development of Safety Critical Software : Automated Test Case Generation for MC/DC Coverage using Incremental SAT-Based Model Checking
by: Holm, Oscar
Published: (2019) -
Test Case Generation Based on MC/DC Coverage
by: Pei-Shan Wang, et al. -
Design and Analysis of High-Efficient and Cost-Effective Software Testing Methods
by: Chang, Jun-Ru, et al.
Published: (2011) -
Automatic MC/DC Test Pattern Generation
by: Veskoukis, Damianos
Published: (2018)