软件测试解决问题方法

为以下程序设计测试用例，要求分别满足判定覆盖、条件覆盖、判定 /条件覆盖。
int func(int a,b,c)
{
int k=1;
if ( (a>0) || (b<0) || (a+c>0) )
k=k+a;
else k=k+b;
if (c>0) k=k+c; return k;｝