EESYO 目前已新建一个高级测试部门，专门对安全关键性软件进行测试。凭借我们在航空领域的优势和丰富经验，无论您的系统是属于SIL-2，SIL-3还是SIL-4，EESYO都能够协助您计划、创建、跟踪并实施针对您产品的单元测试流程。
对嵌入式软件进行的测试有两个目标。一是证明该软件满足其需求。二是能够充分证明那些可能导致失效情况的错误已经被发现并修改。
为了达到目标，我们的测试方法包含以下两个步骤：
基于需求来选择测试案例
- 正常范围内的测试案例
- 鲁棒性测试案例
测试覆盖率分析
- 基于需求的覆盖率分析
- 结构覆盖率分析- 包括语句覆盖率，决策条件覆盖率和修正的条件决策覆盖率 (MC/DC)
EESYO 能够为您提供一系列软件单元测试工具的使用经验，如IBM的Rational Test RT ，Vector Software的 VectorCAST 以及LDRA TestBed 。
