OBDD相关论文
为了有效地在规格说明层面对软件系统进行测试,A.J.Offutt[1]针对系统的状态规格说明定义了一系列覆盖准则,并阐述了如何基于系统......
在元组独立的概率数据库中根据不等式的结构特性,不等式查询语句被分为三类:路径类型、树类型和图类型,针对现有secondary-storage......
由于传统的组合电路测试方法 ,如 D算法、PODEM算法和 FAN算法等 ,在搜索过程中都不可避免地要进行反向回溯 ,因此严重地影响了算......
施工系统的可靠性评估有助于减少项目风险、优化工程目标.文章综合考虑项目质量、成本、时间和安全目标,提出基于有序二元决策图(O......
