你工作在一个设计…你确定你正在构建的目的是什么?是的,你正在构建他们要求什么…或者,至少,你认为他们要求什么,但那是他们想要的东西吗?
需求可以冒险;他们是基于自然语言,我们都心知肚明,解释。Argosim表示,许多公司已经制度化的风格——句子模板,例如,确保一致,清晰、明确的表述的要求。这不是一个明确的保证,但它确实有帮助。
它并不一定帮助,然而,是下面的问题:你知道,所有的需求,其中的一些冲突或相互不一致?如果一个需求是一个密集的材料来防止辐射和另一个要求是,该材料具有浮动,这两个不可能一起工作。记住要使用正确的辐射防护为了避免任何健康风险。
有,直到最近,没有办法正式一致性检查要求和总体需求的正确性。以上两个条件(密集+浮动)是相对模糊的——你不能测试它们无法提取语义,然后模拟物理。但许多需求的功能,他们可以以更正式的方式表达,可以测试。
这可能听起来像一个可有可无的许多电子产品。我们看到太多的廉价消费品,显然还没有深思熟虑或甚至没有所有功能正常工作。这将是伟大的,但此类产品通常成本和进度要求不允许更深思熟虑的过程。
安全性至关重要的设备,然而,是一个完全不同的问题,有严格的要求,要求可追溯性。,虽然有些产品需求总是会有一定程度的模糊性,在这样的系统功能需求明确必须是可验证的。这意味着他们应该足够具体相互一致性测试和其他属性。
这就是Argosim刺激提供了。机制指定要求,测试它们的正确性和一致性,然后从他们可以用于生成测试未来的验证测试。
目前,工作流有点脱离现有的流动;理想情况下,要求将指定使用刺激——Argosim的长期愿景。目前,这是更多的协作过程。
首先,要求工程师将创建自然语言需求相同的方式是今天完成的。然后他手去验证工程师,谁将在刺激计划创建一个模型使用一个正式的语言,可以模拟。需求和假设都包含在描述。通过仿真,问题可能会被识别,然后咨询原始需求工程师讨论和修正。
如果没有发现问题,那么验证工程师可以生成测试将使用下游关闭循环,确保实现的需求匹配的目的。如果测试没有生成,或者测试集是不完整的,这仍然是一个开环的过程。
你可以找到更多关于刺激他们公告。
