Exact Investment Portfolio Stress-Testing Risk Management Software