排序方式: 共有38条查询结果,搜索用时 46 毫秒
21.
22.
23.
上下文无关文法测试充分性 总被引:1,自引:0,他引:1
讨论了文法测试的基本概念,分析了文法测试的特点、应用场景及其与一般软件测试的异同.形式化地定义了上下文无关文法的测试充分性准则,提出了一个上下文无关文法的测试充分性准则族.分析了该准则族中各准则之间的包含关系,以及这种包含关系与揭示文法所特有的2类缺陷的能力之间的关系. 计算和比较了准则族中各准则的测试集规模复杂性.为了评价文法的测试开销,定义了一个上下文无关文法的测试复杂性度量,该度量能够从测试充分性的角度反映测试一个文法的难易程度和测试开销的大小. 相似文献
24.
科学实验卫星以科学目标为任务战略导向,需要任务团队结合实际业务运行情况制定阶段实验计划.这些实验计划以任务运行数据为依据,由科学卫星任务各分系统数据分析获得的策略集合综合得到.量子科学实验卫星在轨运行期间会产生大量运行数据,如何有效利用这些数据给不同决策层提供辅助是当前面临的一大难题.目前主流方式主要借助值班日志统计和常规的数据库系统数据统计,需耗费较多时间和人力成本,对分析人员专业技能要求较高,无法满足多角度和多粒度任务研判的要求,并且该方法可扩展性差,当问题的观察角度变化时,往往需要重新组织数据统计分析.针对上述问题,本文提出一种基于数据立方体的多维数据建模和分析方法,对于不同主题,能够对数据进行多层次、多角度、多粒度统计分析,为决策提供良好支持. 相似文献
25.
针对多优先级天文观测卫星任务动态规划问题,分析了高优先级任务动态插入以及未知事件中断原任务规划方案执行的情况,研究了原任务规划方案相应的动态规划问题.在关于SVOM (Space multi-band Variable Object Monitor)卫星任务规划系统的研究中,针对单星机遇目标任务重规划问题,提出一种基于滚动优化策略的任务重规划求解方案.在每个滚动周期内,优先安排高优先级动态到达任务,回滚处理原方案中受未知事件和高优先级机遇目标影响的任务,或者删除原方案中受影响的任务.目标函数综合考虑了全年卫星任务规划总时长和机遇目标的规划总时长.仿真验证结果表明,本文设计方法对于快速响应高优先级机遇目标以及提高服务质量具有一定意义. 相似文献
26.
27.
28.
UML是面向对象的统一建模语言,是面向对象领域的重要成果.它的内容包括UML语义和UML表示法两个部分.本文简要介绍了UML语义,表示法的内容,并总结了它在某些重要领域的应用. 相似文献
29.
30.