问软件工程术语--“不一致”和“不完整”到底是什么意思

EN

不一致性和不完备性都是来自形式逻辑的术语，在形式逻辑中，它们用于描述逻辑系统。

完整的定义取决于确切的上下文，但inconsistency通常意味着“对于某些X，你可以同时证明X和!X"，而incompleteness的意思类似于”对于某些X，你不能证明X和!X“。

因此，对于规范，我将“不一致”理解为“无法实现，因为它在某种程度上是自相矛盾的”，而“不完整”则意味着“指定不足--对于某些输入，输出没有明确定义”。

问题标题表示软件工程。但主体规定了软件设计。这两个术语不是等价的。

关于不一致和不完整，有许多领域可以应用它们。仅举几个例子：

不完备性：

无法编译、可解释、不可执行的

• of
• of implementation -算法可能不完整，无法正确处理可能出现的情况；
• of

-软件不包括客户订购的或team中计划的所有功能

不一致

在交互方面，sort for list接受两个iterators)

• of设计的用户界面-在一个对话框中，用户应该点击ENTER接受接受，但在另一个对话框中，OK按钮被显示为图形用户界面的外观和感觉(

• of

• of

• of graphical user interface )-不同的窗口具有完全不同的外观；或命令行界面--一个选项被指定为BSD值，另一个选项为- -v = value

• of licensed想象Visual Studio产品在BSD上获得许可，但.NET框架在GPL上:-)

在数据库系统中，一致事务是指在执行过程中不违反任何完整性约束的事务。如果事务使数据库处于非法状态，则会中止该事务并报告错误。

在算法中，完整性的概念是指算法找到解决方案的能力，如果存在解决方案，如果不存在，则报告没有解决方案。

在计算复杂性理论中，在给定的约简类型下，对于复杂性类C，问题P是完备的，如果P在C中，则C中的每个问题都使用该约简来约简为P。例如，在多项式时间下，NP -完全类中的每个问题对于NP类都是完全的，多项式时间，多个一约简。

在软件测试中，完备性以调用图(软件项之间)和控制图(每个软件项内部)的功能验证为目标。完备性的概念出现在知识库理论中。

你可以继续这样的定义……也许可以让问题变得不那么模糊？

如果我有糟糕的一天，我会链接到"Goedels不完全性定理“，因为它肯定会成为主题;)