| dbo:abstract |
Modified condition/decision coverage (MC/DC) is a code coverage criterion used in software testing. (en) La modified condition / decision coverage (MC/DC - couverture condition / décision modifiée) est utilisée par la norme DO-178B afin d'assurer qu'un logiciel aéronautique de DAL A (niveau logiciel le plus élevé de cette norme : conséquences catastrophiques en cas de dysfonctionnement) est testé de manière adéquate. Pour définir cette méthode de test nous avons besoin de quelques définitions : ConditionUne condition est une expression booléenne atomique (ne contenant pas d'opérateur booléen).DécisionUne décision est une expression booléenne composée de Conditions et éventuellement d'opérateurs booléens. Une décision sans opérateur booléen est aussi une condition. Par exemple la décision (A or B) and (A or C) comporte 4 conditions. Cette méthode de test impose les règles suivantes : 1. * Chaque décision teste toutes les sorties possibles ; 2. * Chaque condition dans une décision prend toutes les sorties possibles ; 3. * Chaque point d'entrée et de sortie est passé ; 4. * Il est démontré que chaque condition dans une décision affecte indépendamment la sortie de la décision. En pratique, on démontre ce point 4 en trouvant des cas de test qui font changer le résultat en changeant une seule condition à la fois. Attention, les décisions ne sont pas uniquement celles qui apparaissent dans les branchement conditionnels mais aussi celles qui apparaissent dans les expressions booléennes en général. Par exemple, le programme : D:= (A or B) and (A or C)if (D) then … doit être testé comme : if ((A or B) and (A or C)) then Pour l'exemple précédent, la couverture échouera à cause de la répétition de la condition A.Car lorsqu'une condition apparaît plusieurs fois dans une décision : (A or B) and (A or C), il n'est pas possible de modifier le résultat de la première instance de A sans modifier la deuxième, car il s'agit de la même condition. Dans un cas d'échec, cela signifie que la condition doit être reformulée.Pour l'exemple précédent, l'expression booléenne serait à simplifier sous la forme suivante qui évite d'évaluer plusieurs fois la même condition : (A or (B and C)) Il existe trois variantes de MC/DC. (fr) Modified Condition / Decision Coverage (MCDC), is een softwaretesttechniek waarbij met relatief weinig moeite veel getest wordt. (nl) 修改條件/判斷覆蓋（Modified condition/decision coverage）簡稱MC/DC，在软件测试中有關代碼覆蓋率的準則。 依照修改條件/判斷覆蓋的準則，測試過程中需要滿足以下所有條件。 * 每一個判斷的所有可能結果都出現過 * 每一個判斷中所有條件的所有可能結果都出現過 * 每一個進入點及結束點都執行過 * 判斷中每一個條件都可以獨立影響判斷的結果 各條件的獨立影響可以用每一次只改變一個條件來證明。 飛航軟體開發指南及中指定會影響飛機起飛及降落安全性的軟體（A等級軟體），需滿足修改條件/判斷覆蓋的代碼覆蓋測試。在功能安全標準IEC 61508 part 3 的附錄B中，有關SIL 4的說明，以及汽車安全標準ISO 26262第6章的ASIL D，都高度建議使用MC/DC。 (zh) |
| dbo:wikiPageExternalLink |
http://www.tc.faa.gov/its/worldpac/techrpt/ar01-18.pdf https://web.archive.org/web/20200501012151/https:/www.faa.gov/aircraft/air_cert/design_approvals/air_software/cast/cast_papers/media/cast-10.pdf |
| dbo:wikiPageID |
11205258 (xsd:integer) |
| dbo:wikiPageLength |
9060 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID |
1123101528 (xsd:integer) |
| dbo:wikiPageWikiLink |
dbr:Elementary_comparison_testing dbr:Boolean_algebra_(logic) dbr:Jonathan_Bowen dbc:Software_testing dbr:DO-178B dbr:DO-178C dbr:Boolean_operator_(computer_programming) dbr:Code_coverage dbr:Test_case dbr:Automotive_Safety_Integrity_Level dbr:Software_testing dbr:Sergiy_Vilkomir dbr:Software dbr:ISO_26262 dbr:Safety_integrity_level dbr:Safety-critical_system dbr:Expression_(programming) |
| dbp:wikiPageUsesTemplate |
dbt:Citation_needed dbt:Disputed_section dbt:Reflist |
| dcterms:subject |
dbc:Software_testing |
| gold:hypernym |
dbr:Criterion |
| rdfs:comment |
Modified condition/decision coverage (MC/DC) is a code coverage criterion used in software testing. (en) Modified Condition / Decision Coverage (MCDC), is een softwaretesttechniek waarbij met relatief weinig moeite veel getest wordt. (nl) 修改條件/判斷覆蓋（Modified condition/decision coverage）簡稱MC/DC，在软件测试中有關代碼覆蓋率的準則。 依照修改條件/判斷覆蓋的準則，測試過程中需要滿足以下所有條件。 * 每一個判斷的所有可能結果都出現過 * 每一個判斷中所有條件的所有可能結果都出現過 * 每一個進入點及結束點都執行過 * 判斷中每一個條件都可以獨立影響判斷的結果 各條件的獨立影響可以用每一次只改變一個條件來證明。 飛航軟體開發指南及中指定會影響飛機起飛及降落安全性的軟體（A等級軟體），需滿足修改條件/判斷覆蓋的代碼覆蓋測試。在功能安全標準IEC 61508 part 3 的附錄B中，有關SIL 4的說明，以及汽車安全標準ISO 26262第6章的ASIL D，都高度建議使用MC/DC。 (zh) La modified condition / decision coverage (MC/DC - couverture condition / décision modifiée) est utilisée par la norme DO-178B afin d'assurer qu'un logiciel aéronautique de DAL A (niveau logiciel le plus élevé de cette norme : conséquences catastrophiques en cas de dysfonctionnement) est testé de manière adéquate. Pour définir cette méthode de test nous avons besoin de quelques définitions : Par exemple la décision (A or B) and (A or C) comporte 4 conditions. Cette méthode de test impose les règles suivantes : Par exemple, le programme : D:= (A or B) and (A or C)if (D) then … (A or (B and C)) (fr) |
| rdfs:label |
MC/DC (fr) Modified condition/decision coverage (en) Modified Condition Decision Coverage (nl) 修改條件判斷覆蓋 (zh) |
| owl:sameAs |
freebase:Modified condition/decision coverage wikidata:Modified condition/decision coverage dbpedia-fr:Modified condition/decision coverage dbpedia-nl:Modified condition/decision coverage dbpedia-zh:Modified condition/decision coverage https://global.dbpedia.org/id/22gaF |
| prov:wasDerivedFrom |
wikipedia-en:Modified_condition/decision_coverage?oldid=1123101528&ns=0 |
| foaf:isPrimaryTopicOf |
wikipedia-en:Modified_condition/decision_coverage |
| is dbo:wikiPageRedirects of |
dbr:Reinforced_condition/decision_coverage dbr:Modified_Condition/Decision_Coverage dbr:RC/DC dbr:MC/DC dbr:MCDC_testing |
| is dbo:wikiPageWikiLink of |
dbr:Elementary_comparison_testing dbr:Reinforced_condition/decision_coverage dbr:Linear_code_sequence_and_jump dbr:DO-178B dbr:DO-178C dbr:Parasoft_C/C++test dbr:Java_code_coverage_tools dbr:Sergiy_Vilkomir dbr:White-box_testing dbr:Modified_Condition/Decision_Coverage dbr:RC/DC dbr:MC/DC dbr:MCDC_testing |
| is foaf:primaryTopic of |
wikipedia-en:Modified_condition/decision_coverage |