由于DEM能将控制流、数据流和时间有效地集成为一体，故提出的检测方法能检测嵌入式实时系统的软件需求的一致性和完全性。
Because DEM can integrate with control flow, data flow and time, the checking method can check consistency and completeness of software requirements for embedded real-time systems software.
其优点是它能进行没有冗余的、一致性的测试用例的选择，在不改变故障检测能力的同时缩短测试时间。
Its advantage is that the testing time is reduced while the fault detection ability is not changed since non-redundant and consistent test cases are selected.
应用推荐