论文部分内容阅读
将UML协作图与状态图结合起来，以此为模型，用于集成测试用例的生成．首先以协作图为依据确定集成测试的对象，对状态图进行组合，形成组合状态图，并给出组合状态图的形式化定义，以及对组合状态图进行展开，然后用于集成测试用例的生成，在覆盖所有的测试需求的前提下，生成的测试用例较少．
基于UML的数据采集测试用例生成研究
【摘 要】
：
将UML协作图与状态图结合起来，以此为模型，用于集成测试用例的生成．首先以协作图为依据确定集成测试的对象，对状态图进行组合，形成组合状态图，并给出组合状态图的形式化定义，以及对
【机 构】
：
重庆大学计算机学院,海南大学信息科学技术学院,海南电网海口供电公司
【出 处】
：
海南大学学报：自然科学版
【发表日期】
：
2008年1期
【基金项目】
：
海南省教育厅高校科研项目（Hjkj200603）
其他文献
目前,配网中应用的10 kV弹簧型真空断路器正逐步被永磁型弹簧型真空断路器所取代,而将换下来的弹簧型真空断路器用作小分支的保护断路器,既物尽其用,又节约投资。但因弹簧型
江苏省泰兴市农机局暨农机监理所在市政府领导下，从2006年开始。按照江苏省农机局、安监局关于开展“创建平安农机，促进新农村建设”活动的通知精神，精心组织，广泛发动，强化配合，扎
断路器控制回路短路，是指控制回路电源熔断器熔断或空气断路器跳闸（保护装置电源和控制回路电源分立设置时）。控制回路熔断器熔断后，跳闸位置继电器、合闸位置继电器触点同时失磁
近年来，散热已经成为电子器件的一个重要课题，其中热界面材料受到人们的广泛重视。为了进一步改进热界面材料的性能，采用分子动力学方法计算了碳纳米管与石墨烯复合结构——石墨
宏观环境风险因素通过与企业内部风险因素的的共振影响企业的生产经营。形成这种内外共振的必要条件就是内、外两个风险因素具有相同的频率。共振的振幅巨大对企业的破坏力企
指出了网络信息资源是开展教学科研的主要信息源，分析了网络医学资源的开发现状，提出了立足本校实际搞好网络医学资源开发利用的措施。
利用矩阵的奇异值分解和矩阵对的商奇异值分解，讨论了子矩阵约束下反对称正交反对称矩阵的反问题，给出了其有解的充分必要条件及在有解条件下的通解表达式，并得到了此问题的最佳
对双曲型方程ut＋αux=0构造一族含双参数的有效分组显式并行算法（GER，GEL，AGE）．当θ≤0，θ1≥1时，稳定性条件一般为0〈r≤min｜1/1-θ,1/θ1-1｜．其局部截断误差一般为o（τ＋^h），特别当取θ＋θ1=