核实验证

需求错误和遗漏是最难以识别,修复代价最为高昂的问题。UniqueSoft采用业界领先的技术,对需求的完整性进行定义、标准化并作进一步的核实,同时验证客户需求的准确性。早期反馈能给产品设计团队带来产品开发的信心—— 在写任何代码之前修复一个问题的成本,比在开发中修复低得多。

典型的核实与验证包括以下内容:

  • 一致性:在任意系统状态下,系统在可能的行为中执行一个非确定性的选择。
  • 完整性:在终止除外的所有系统状态,系统可以执行一些行为。
  • 判断要求是否匹配案列。
  • 判断重要的(特定领域的)系统的动态性能不被违反。
  • 安全条件:在所有的系统状态,该属性为true(或false)
  • 活跃度条件:该属性将在一些系统状态下最终成为ture(或false)

在所有这些情况下,该系统不仅检测到这样的情况发生,还能从需求追溯到问题来更正任何发现的问题。

你知道吗?

过去20年的研究表明,手写代码中的需求错误占所有错误的比例占高达25%,而使用代码生成技术时则高达50% 。