APPLICABILITY OF MODIFIED CONDITION DECISION COVERAGE TO SOFTWARE TESTING

被引：249
|
作者：
CHILENSKI, JJ
MILLER, SP
机构：
[1] BOEING COMMERCIAL AIRPLANE GRP,SEATTLE,WA 98124
[2] ROCKWELL INT CORP,COLLINS COMMERCIAL AVION,CEDAR RAPIDS,IA 52498
来源：
SOFTWARE ENGINEERING JOURNAL | 1994年 / 9卷 / 05期
关键词：
D O I：
10.1049/sej.1994.0025
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
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.
引用
收藏
页码：193 / 200
页数：8
相关论文
共 50 条
  • [31] Software reliability model considering both testing effort and testing coverage
    Li, Hai-Feng
    Wang, Shuan-Qi
    Liu, Chang
    Zheng, Jun
    Li, Zhen
    Ruan Jian Xue Bao/Journal of Software, 2013, 24 (04): : 749 - 760
  • [32] Software Reliability Modelling Considering both Testing Effort and Testing Coverage
    Liu Chang
    Liu Yuan
    Ren Zhanyong
    Li Haifeng
    PROCEEDINGS OF THE 2015 INTERNATIONAL SYMPOSIUM ON COMPUTERS & INFORMATICS, 2015, 13 : 130 - 135
  • [33] SOFTWARE RATES COVERAGE OF SELF-TESTING SCHEMES
    SCHINDLER, M
    ELECTRONIC DESIGN, 1986, 34 (16) : 27 - 27
  • [34] Modeling the Role of Testing Coverage in the Software Reliability Assessment
    Kumar, Sudeep
    Aggarwal, Anu G.
    Gupta, Ritu
    INTERNATIONAL JOURNAL OF MATHEMATICAL ENGINEERING AND MANAGEMENT SCIENCES, 2023, 8 (03) : 504 - 513
  • [35] Axiomatic assessment of logic coverage software testing criteria
    Liu, Ling
    Miao, Huai-Kou
    Ruan Jian Xue Bao/Journal of Software, 2004, 15 (09): : 1301 - 1310
  • [36] NHPP software reliability and cost models with testing coverage
    Pham, H
    Zhang, XM
    EUROPEAN JOURNAL OF OPERATIONAL RESEARCH, 2003, 145 (02) : 443 - 454
  • [37] Coverage Criteria for Behavioural Testing of Software Product Lines
    Devroey, Xavier
    Perrouin, Gilles
    Legay, Axel
    Cordy, Maxime
    Schobbens, Pierre-Yves
    Heymans, Patrick
    LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION: TECHNOLOGIES FOR MASTERING CHANGE, PT I, 2014, 8802 : 336 - 350
  • [38] Relation Coverage: A New Paradigm for Hardware/Software Testing
    Hazott, Christoph
    Grosse, Daniel
    IEEE EUROPEAN TEST SYMPOSIUM, ETS 2024, 2024,
  • [39] TEST CRITERIA AND COVERAGE MEASURES FOR SOFTWARE INTEGRATION TESTING
    SPILLNER, A
    SOFTWARE QUALITY JOURNAL, 1995, 4 (04) : 275 - 286
  • [40] Special issue on automation of software testing: improving practical applicability
    Christof Budnik
    Gordon Fraser
    Francesca Lonetti
    Hong Zhu
    Software Quality Journal, 2018, 26 : 1415 - 1419
12345