论文部分内容阅读
提出了一种反应式系统选择性测试方法 .该方法根据描述待测系统的UMLStatecharts模型和描述系统功能属性的时序逻辑公式生成有针对性的测试序列 .据此实现了一个面向性质的测试工具 .实验表明 ,该方法可以将测试资源集中于用户关注的系统行为 .经扩展后 ,该方法可用于实时系统 .
反应式系统面向性质测试的方法框架
【摘 要】
：
提出了一种反应式系统选择性测试方法 .该方法根据描述待测系统的UMLStatecharts模型和描述系统功能属性的时序逻辑公式生成有针对性的测试序列 .据此实现了一个面向性质的测试工具 .实验表明 ,该方法可以将测试资源集中于用户关注的系统行为 .经扩展后 ,该方法可用于实时系统 .
【机 构】
：
国防科技大学计算机学院,国防科技大学计算机学院
【出 处】
：
电子学报
【发表日期】
：
2004年S1期
【基金项目】
：
国家自然科学基金 (No .60 2 330 2 0 ,No.90 1 0 4 0 0 7,No .60 30 30 1 3) ,,国家 863项目 (No .2 0 0 1AA1 1 32 0 2 ,No.2 0 0 1AA1 1 31 90 ) ,,武汉大学软件工程国家重点实验室开放基金 (No .SKLSE0 3 - 0 8) ,,国防科技大学计算机学院基金“基于构件的软件开发
其他文献
提供移动用户准确的定位业务是未来无线通信发展的必然趋势.但是由于非视线(NLOS)传播的存在,无线定位始终是一个难点.本文先介绍视线(LOS)传播时的定位方法,然后提出NLOS消
目的探讨超声弹性成像和二维超声诊断局灶性亚急性甲状腺炎（SAT）结节的声像图特征及其诊断价值。方法选取35例疑为SAT的患者（42个结节），分别进行二维超声和弹性成像检查，记录各项主
DRR(Dual Round-Robin)算法[6]是一种公平、高效、可扩展性强、硬件实现简单的crossbar控制算法.为了进一步改善算法的时延性能和公平性,文中提出了多重迭代DRR算法,即iDRR算
合同管理制,已成为工程建设中的一项重要制度。工程建设合同是建筑企业进行工程承包的主要法律形式,也是进行工程施工的法律依据,是企业走上市场的桥梁和纽带。订立和履行工
本文提出一种改进的局部网格共形FDTD技术(MLC-FDTD)来分析波导宽边缝隙天线,包括辐射纵缝和辐射组合斜缝.MLC-FDTD不仅解决了局部网格共形技术的不稳定性因素,还针对缝隙边
1996年，天津市社科院教授郝麦收在儿子郝丁中专毕业后与其签订《亲子双向自立协议》。郝麦收说服妻子“狠心”把“见到人多就害怕”的20岁的儿子推到了社会大舞台。协议规定了
本文首先提出了虚拟信源概念和基于虚拟信源构建数据压缩方法的思想,设立了0与1的字符长串的通用虚拟信源Y,然后用神经网络建立了虚拟信源Y的模型,又用该模型和一个取整函数
Tucson, Ariz-Lasertel Has Signed a 15-year Contract for Supplying Laser Diodes Arrays for Military A
目的应用动脉弹性新参数评价2型糖尿病患者颈动脉段硬化差异的初步研究。方法 2型糖尿病患者88例（DM组）,对照组70例。应用超声射频技术获取受检者左、右侧颈动脉顺应系数（CC）和脉
普遍认为,XML将会取代Html成为数据表示和数据交换的主流标准.由于在线信息变化频繁,XML文档变化检测成为Internet查询系统、搜索引擎以及连续查询系统的关键技术.先前的研究