论文部分内容阅读
通过对联锁软件需求规格的分级划分,提出了一种联锁软件分级测试策略.在此基础上,给出了基于规则的联锁软件测试集自动生成系统框架,这种覆盖全部控制对象的测试集能够用于对被测软件联锁功能的完备测试以及安全防护功能的充分测试.
基于规则的联锁软件测试集自动生成
【摘 要】
：
通过对联锁软件需求规格的分级划分,提出了一种联锁软件分级测试策略.在此基础上,给出了基于规则的联锁软件测试集自动生成系统框架,这种覆盖全部控制对象的测试集能够用于对
【机 构】
：
同济大学电子与信息学院
【出 处】
：
计算机工程
【发表日期】
：
2002年1期
【基金项目】
：
铁道部科技发展基金
其他文献
多人会话系统是一个多对多的网络会话系统.登录到服务器的每一个会员可在本地建立一个或多个会议室,将其他会员加入会议室后,便可对会议室的任何一个会员会话.也可实现对会议
世界经济一体化为我国工程建设领域带来了发展机遇,使得我国工程造价与世界接轨,工程计价模式从定额计价转向工程量清单计价。由于传统工程造价方法耗时较长,估算精度低,难以
目的通过对正常成人、咽喉部恶性肿瘤患者术前及其全喉切除术后食管发音的多维嗓音分析及发声空气动力学检测结果进行比较研究,了解全喉切除术前后患者嗓音变化情况,探讨食管发音的嗓音及发声空气动力学相关指标特点,旨在帮助食管发音患者了解自身发音方式,指导患者食管发声重建及康复训练,提高其生活质量。方法收集60例正常成人和60例喉癌患者术前及其全喉切除术后食管发音的多维嗓音分析及发声空气动力学检测结果,所有喉
自由基是人体生命活动中多种生化反应的中间代谢产物,对于维持机体的正常生命活动具有重要作用。然而,过量的自由基能通过氧化作用来攻击其所遇到的任何分子,从而对细胞造成
为了解我市城区中小学贫血情况及原因,作者对2006年至2010年连续5年检测的中小学生Hb资料进行了统计分析,分析情况如下.1资料与方法
To understand the city primary and se
今年夏季炎热,中署事件明显增多,我院6-8份共收治16例中署患者,其中重症10例,死亡3例,为提高大家对该病的救治水平,早期发现影响预后的因素、减小死亡及致残,现将临床资料报
1.首先在氮气氛保护下对低温石油焦进行不同温度碳化处理,通过真密度、BET、SEM图谱表征各材料的微观结构,并对不同温度处理下的材料进行充放电性能测试,进而探究微观结构与
提出了一种用多代理技术和基于协商的策略解决虚拟企业调度冲突的方法.首先介绍了虚拟企业中敏捷调度的特性及调度冲突的产生，分类及解决方法，并描述了调度、计划、协商、监督
“文化是一个国家、一个民族的灵魂”。文化的传承对于民族精神的建立至关重要,高校文化育人工作成效会对青年学子的思想价值观念产生直接影响,甚至关乎一代青年的成长成才。高等农业院校具有其独特的专业特性,在国家大力支持“三农”事业,特别是在乡村振兴战略中提出了“加快建设知识型、技能型、创新型农业经营者队伍”新要求的背景下,高等农业院校必须要高度重视文化建设,探索一套具有农耕文化特性的文化育人体系,努力培育
拉日铁路年楚河特大桥主桥采用（60＋148＋60）mV形刚构加钢管混凝土拱组合结构，桥型结构新颖，详细介绍该桥型的设计特点，对主桥进行静力及动力分析，对承载能力、抗震、车桥动力响应等方