用充分必要条件来描述BUG

现在终于理解了为什么软件维护是整个软件生命周期里最长的内容了
但是维护过程也可以认为许多串行的不完整完整的软件开发项目
对于bug来说，如果是自己测试阶段发现的，做相应的修正就行了
但是，如果是用户发现的，特别是一些高级用户，除了修bug，还需要解释原来为什么会出现bug，不能提内部代码，要从外部功能来说明。
现在原则上都是用充分必要条件来描述问题，有时候用语言不能描述的，只能写正则表达式，只有最上面的头头是数学系毕业的，其他人还不太擅长，我有时还会把充要条件和必要条件弄混。
数学底子需要夯实一下了。