论文部分内容阅读
为了从活动图中获取系统测试的场景，提出了一个输入输出活动图（IOAD）模型，给出了模型的形式语义定义。在此基础上依据测试覆盖准则，遍历输入输出活动图得到所需的测试场景。为了提高测试效率，给测试场景设置优先级，根据测试情况以及测试场景之间的相似度动态调整测试场景的优先级。
基于输入输出活动图的系统测试场景研究
【摘 要】
：
为了从活动图中获取系统测试的场景，提出了一个输入输出活动图（IOAD）模型，给出了模型的形式语义定义。在此基础上依据测试覆盖准则，遍历输入输出活动图得到所需的测试场景。为了提
【机 构】
：
江西方兴科技有限公司
【出 处】
：
大众科技
【发表日期】
：
2011年8期
其他文献
文章介绍广西互联网视听节目监管系统的主要架构和特点,从系统的总体框架、系统逻辑结构和硬件结构全面介绍了采用C/S与B/S系统混合结构的互联网视听节目监管系统。为提高信
本文对熔模铸造用模料进行了本构关系的研究,利用毛细管流变仪对模料进行流变性能的测试,根据幂律粘度模型计算出了模料粘度的本构方程,并绘出了模料的流变曲线.
文章结合党的群众路线教育实践活动与以往的各类学习教育活动在参与对象上的不同,提出了践行群众路线的大众化概念,并论证了大众化的一些基本内涵,从把群众满意不满意作为评价活动成效的重要依据出发,指出了教育实践活动大众化必须把握好的若干基本问题。
研究了超声波对蔗汁中胶体絮凝分离效果，考察了超声功率、超声时间以及温度对胶体絮凝沉降的影响，并通过L16（45）安排正交实验，获得超声作用最佳条件：超声功率170W、超声时间2min、
利用UG软件设计与制造DISA线模具.在翻制模具模块时,采用数控加工的泡沫模样代替传统的木模,大大缩短了模具的设计与制造周期,同时提高了模具的精确度,降低了成本.
通过新荣水库主坝坝体防渗加固工程的设计与施工的实践,提出充填灌浆在病险水库坝体防渗加固中具有较好的防渗效果,达到除险加固的目的。