Modified condition decision coverage - PDFSEARCH.IO - Document Search Engine

Modified condition decision coverage
Results: 11

#	Item
1	Product Overview Software Technology LDRAcover™ Structural coverage analysis for optimal test effectiveness Add to Reading List Source URL: www.coressentinc.com Language: English - Date: 2013-08-16 12:03:00 Software engineering Code coverage DO-178B Modified condition/decision coverage LDRA Testbed Reliability engineering ISO Test plan Liverpool Data Research Associates Software testing Software development Evaluation
2	Object and Source Coverage for Critical Applications with the C OUVERTURE Open Analysis Framework Matteo Bordin, Cyrille Comar, Tristan Gingold, ´ ome ˆ Jer Add to Reading List Source URL: www.adacore.com Language: English - Date: 2011-08-29 18:34:45 Computer programming Software metrics Code coverage Modified condition/decision coverage Conditional DO-248B Control flow Gcov C Software engineering Software testing Computing
3	Formalization and Comparison of MCDC and Object Branch Coverage Criteria Cyrille Comar, Jerome Guitton, Olivier Hainque, Thomas Quinot AdaCore, 46 rue d’Amsterdam, FPARIS (France) {comar, guitton, hainque, quino Add to Reading List Source URL: www.adacore.com Language: English - Date: 2012-03-18 14:24:37 Binary decision diagram Model checking Software metrics Software engineering Modified condition/decision coverage Code coverage Mathematics Formal methods Software testing Boolean algebra Diagrams
4	Product Overview Software Technology LDRAcover™ Structural coverage analysis for optimal test effectiveness Add to Reading List Source URL: www.ldra.com Language: English - Date: 2015-03-26 09:28:08 Software engineering Code coverage DO-178B Modified condition/decision coverage LDRA Testbed Reliability engineering ISO Test plan Liverpool Data Research Associates Software testing Software development Evaluation
5	Product Overview Software Technology LDRAcover™ Structural coverage analysis for optimal test effectiveness Add to Reading List Source URL: www.ldra.com Language: English - Date: 2015-03-26 09:28:14 Software engineering Code coverage DO-178B Modified condition/decision coverage LDRA Testbed Reliability engineering ISO Test plan Liverpool Data Research Associates Software testing Software development Evaluation
6	Product Overview Software Technology LDRAcover™ Structural coverage analysis for optimal test effectiveness Add to Reading List Source URL: www.ldra.com Language: English - Date: 2015-03-26 09:28:15 Software engineering Code coverage DO-178B Modified condition/decision coverage LDRA Testbed Reliability engineering ISO Test plan Liverpool Data Research Associates Software testing Software development Evaluation
7	Product Overview Software Technology LDRAcover™ Structural coverage analysis for optimal test effectiveness Add to Reading List Source URL: www.ldra.com Language: English - Date: 2015-03-26 09:28:00 Software engineering Code coverage DO-178B Modified condition/decision coverage LDRA Testbed Reliability engineering ISO Test plan Liverpool Data Research Associates Software testing Software development Evaluation
8	TBsafe® - Modified Condition / Decision Coverage (MC/DC) Software Technology Add to Reading List Source URL: www.ldra.com Language: English - Date: 2014-12-04 11:36:20 Computing LDRA Testbed Computer programming Propositional calculus Software metrics Logical disjunction Boolean data type Conditional Relational operator Software testing Boolean algebra Software engineering
9	Observable Modified Condition/Decision Coverage Michael Whalen, Gregory Gay, Dongjiang You Mats P.E. Heimdahl Department of Computer Science and Engineering University of Minnesota, USA Add to Reading List Source URL: www.greggay.com Language: English - Date: 2013-04-15 11:45:12 Electronics Modified condition/decision coverage Code coverage Fault coverage Mutation testing Test case Observability Oracle Database Control theory Software testing Software Electronic engineering
10	PDF Document Add to Reading List Source URL: shemesh.larc.nasa.gov Language: English - Date: 2001-06-05 11:24:59 Embedded systems Software requirements Electronics Software Safety Code coverage DO-178B Modified condition/decision coverage DO-254 Software testing Software development Avionics