pymcdc 0.1.3

MC/DC analizer for Python

pymcdc

A Python package to analyze and verify MC/DC (Modified Condition/Decision Coverage) criteria.

V 0.1.1 - add option --cover to manually set requeriment as covered/not covered

V 0.1.2 - allows source file and test file to be in different directories

Installation

pip install pymcdc

🚀 How to Use

python -m pymcdc foo.py

Analyzes the file foo.py and displays the condition combinations that must be satisfied for each decision.

python -m pymcdc --run foo.py

Executes foo.py and shows which MC/DC combinations were covered.

python -m pymcdc --run --append foo.py

Cumulatively runs foo.py and displays the MC/DC combinations covered across multiple runs.

python -m pymcdc --unittest test_foo.py foo.py
python -m pymcdc --unittest tests/test_foo.py src/foo.py

Runs foo.py using the test cases defined in test_foo.py.
The --unittest argument can be used multiple times. The --append option is also supported here.

python -m pymcdc --cover +5 5 1 -18 5 3 foo.py

Sets requirement 1 of decision (5,5) as covered and requirement 3 of decision (18,5) as not covered.

🔍 Example

python3 -m pymcdc bissexto.py

Line number: (5, 5)
Decision: a < 1 or a > 9999
Combinations to be covered: 
    | Result.   a < 1    a > 9999   Cover. 
-------------------------------------------
  1 |  False    False     False     False  
  2 |   True    True      False     False  
  3 |   True    False      True     False  

Run time: 0.00070 

python3 -m pymcdc --run bissexto.py

Line number: (5, 5)
Decision: a < 1 or a > 9999
Combinations to be covered: 
    | Result.   a < 1    a > 9999   Cover. 
-------------------------------------------
  1 |  False    False     False      True  
  2 |   True    True      False     False  
  3 |   True    False      True      True 

python3 -m pymcdc --unittest test_bissexto.py bissexto.py

Running tests...
.
----------------------------------------------------------------------
Ran 1 test in 0.000s

OK

Line number: (5, 5)
Decision: a < 1 or a > 9999
Combinations to be covered: 
    | Result.   a < 1    a > 9999   Cover. 
-------------------------------------------
  1 |  False    False     False     False  
  2 |   True    True      False     False  
  3 |   True    False      True      True  

📝 Notes

1. The number of MC/DC requirements for a decision with n conditions is not always n+1. It can be slightly larger due to limitations in the computation algorithm.
2. For decisions with more than 15 conditions, the analysis may take a few minutes. This is only done once when using the --append option.

👤 Author

Marcio Delamaro

📄 License

MIT

🤝 Contributions

Feel free to open issues or submit pull requests!