【摘 要】
:
软件可靠性分析、测试及评估工具(SRATE)是一个集软件可靠性分析、测试及评估于一体的软件工具。该工具支持多种测试策略下的软件自动化测试及评估试验,包括随机测试策略、自
【基金项目】
:
国家863高科技研究发展计划资助项目(编号:2001AA113192)
论文部分内容阅读
软件可靠性分析、测试及评估工具(SRATE)是一个集软件可靠性分析、测试及评估于一体的软件工具。该工具支持多种测试策略下的软件自动化测试及评估试验,包括随机测试策略、自适应测试策略等。该工具还集成了包括欧洲航天局的space软件、浙大CAD&CG国家重点实验室的Intra3D构件库在内的多个典型被测对象。根据工具接口要求可以方便的添加新的测试策略和测试对象。具有自动化程度高、通用性强、配置灵活、易于扩展的特点,是进行软件可靠性分析研究工作的有力工具。
其他文献
“分布式领导”这一术语产生于20世纪90年代中后期,它突破了单向的、静态的、线性的领导观念,从多向的、动态的、流动的角度再造了学校领导。本文分析了分布式领导的内涵及其
宋真宗亲自策划了天书迷信的造神活动 ,为粉饰太平、掩盖社会矛盾制造借口 ,这种自欺欺人的活动开创了北宋历史上的先例 ,使人们丧失了进取精神 ,消磨了人们的意志 ,助长了迷
<正>张掖市近日出台文件,全面推行河长制工作。目前,张掖市已经成立了市全面推行河长制工作领导小组,研究审定该市河长制工作方案和督导检查、监督考核制度,协调解决推行河长
<正>溃疡性结肠炎是消化内科常见疾病,也是一种难于治愈,极易复发的疾病。根据近年流行病学和发病机制的研究,人们认识到黏膜免疫系统对抗侵袭性肠内抗原的适用性反应是溃疡
为对丙种球蛋白辅助治疗老年重症肺炎的临床疗效进行评价,将65例应用丙种球蛋白治疗与67例未使用丙种球蛋白治疗的老年重症肺炎病例进行比较,包括临床症状、体征、实验室检查
英语教学的目的是培养学生的语言表达能力和交际能力。在英语教学中,这种能力的培养要通过"互动"这一使用语言的过程来实现。这也正是互动理论在教学中所强调的内容,即语言的
在太阳能集热管烤消过程中,通过对感应炉温度的精确控制来提高烤消的质量,提高产品的合格率。控制系统以三菱FX2N系列的PLC为核心,由光传感器、可控硅移相触发器、FX2N系列数
目的:通过阻断哺乳动物雷帕霉素靶蛋白(mammalian target of rapamycin mTOR)信号通路对糖尿病肾病(diabetic nephropathy DN)大鼠足细胞Ezrin、α-SMA蛋白及外周血Th17/Treg
中华民族是一个重视教育的民族。思想道德教育被看作是中国传统的正统教育,直到今天,仍然受到重视。新时期,青少年的道德建设取得了很大进展,他们的道德状况主流是积极、进步、向善的。但是,由于社会生活的复杂性、生活环境的多样性,有些青少年的价值观和行为方式出现了一些问题,也出现了诸多不知耻的现象,其中最主要的原因是家庭知耻教育的缺失。家庭是人类受教育最开始的地方,家庭教育是一切教育之本,是孩子的第一所“学
制造执行系统是制造企业信息集成系统的关键使能技术,而制造执行系统的功能设计是设计一个高质量制造执行系统的基础。该文基于制造执行系统的活动模型,设计制造执行系统的功