论文部分内容阅读
提出并阐述了一种基于关键字驱动脚本的安全软件自动测试系统设计方法。使用关键字驱动脚本欲将大量有效测试案例形式化，建立测试案例专家知识库，并开发能够实现复杂测试案例自动生成、自动测试和自动结果比较的新一代安全软件自动测试系统。此系统可进一步提高铁路车站计算机联锁软件测试自动化水平和测试效率。
基于关键字驱动脚本的安全软件自动测试系统
【摘 要】
：
提出并阐述了一种基于关键字驱动脚本的安全软件自动测试系统设计方法。使用关键字驱动脚本欲将大量有效测试案例形式化，建立测试案例专家知识库，并开发能够实现复杂测试案例自
【机 构】
：
同济大学计算机科学与工程系
【出 处】
：
同济大学学报：自然科学版
【发表日期】
：
2002年6期
【基金项目】
：
铁道部科技发展基金资助项目 (2 0 0 1-X -0 0 5 )
其他文献
根据塔拉的生物、生态学特性和生长发育规律，结合各地的自然地理环境和气候特征，云南省适宜塔拉种植的区域可分为最佳适生区、一般种植区和公益林区三类。
对于具有高柔、大跨、轻质等特点的索穹顶结构来说，风力是主要的荷载。由于结构与风力的气动耦合作用，结构易产生一种失稳式振动，即 驰振。据此采用了用体型系数表达的、考虑风
介绍了电缆载流能力的IEC和日、美标准等算法要点,并就载流量的不同算法实用性、适应电缆使用多样化因IEC287不足而拓展的引荐算法、对影响载流量的主要参数值辨析选取、现行
俗话说：秋风起，谷子黄，天气渐渐凉。秋天是一年中食物最丰富的时候，也是很多地方开始吃火锅的时候。北京市延庆县井庄镇柳沟村在乡村旅游中推出了一款招牌菜——火盆砂锅，并在互联
阐述了对变压器受短路电流冲击前后用低电法实测电抗和空载电流等相关参数，以诊断绕组和铁心有无异常变化的理论依据，以及开展上述检测的实际意义。
在具有去噪声模块的DCSK（differential chacs shift keying）通信系统中，存在三种导致估值误差的因素，这三种因素分别来源于DCSK信号本身、加性信道噪声和去噪声模块。经过对上述
《新农民》报道：目前，各种假冒伪劣油品充斥市场，农机户深受其害。因此，农机户掌握一定的油料鉴别方法是非常必要的。鉴别油料可采用一看、二闻、三摸加摇的办法。
《市场报》报道：当前我国农产品产地正遭受从水体-土壤-生物-大气的全方位立体污染。人为破坏加上全球气候变化的影响，使农田受灾成灾面积不断增加，我国每年因灾害引起的粮食减
软件可靠性工程领域一直存在模型很难应用于实际的问题，不同的软件可靠性模型对同一个软件工程项目的估计差别极大，为此，探讨了软件可靠性估计的稳健方法，研究了多模型的贝叶斯自