【摘 要】
:
针对故障模式判决软件测试用例设计的特点,提出了一种利用故障树分析原理(FTA)和软件测试用例设计等价类划分方法进行故障模式判决软件测试用例设计的新方法。该方法运用FTA原
论文部分内容阅读
针对故障模式判决软件测试用例设计的特点,提出了一种利用故障树分析原理(FTA)和软件测试用例设计等价类划分方法进行故障模式判决软件测试用例设计的新方法。该方法运用FTA原理进行测试用例设计,根据故障判决模式画出故障树,将该树作为测试用例设计树,然后运用故障树原理获得该树的最小割集,将此最小割集作软件测试用例的设计的依据。利用该方法进行测试用例设计保证了测试的充分性、测试用例分布的合理性,同时依据此方法设计的测试用例辅助生成软件,也极大地提高了软件测试自动化水平。
其他文献
【正】 关于辛亥革命评价的文章很多,但鲜有从它与改造国民性思潮的关系角度去考察,而这种考察恰恰是必要的,因为革命的发起和结果都与改造国民性问题有密切联系,透过这些联
文化旅游作为最具活力的新兴产业,其现代化发展对于整个社会经济的产业现代化具有示范意义。本文以重庆市渝中区为例,在厘清产业现代化内涵的基础上,对当前文化旅游产业现状
肿瘤患者经放疗后出现口干渴,是临床常见的副反应之一。此乃体液不足,属祖国医学中阴液亏耗范畴,究其原因可能系放疗或化疗后,肿瘤细胞和部分正常细胞坏死释放毒素等所致。患
本报讯 (通讯员 杨文星)开远市把杂交复合优势从生物产业移植到旅游产业,使长期备受冷落的开远旅游产业开发呈现出柳暗花明的灿烂前景。$$ 开远是工业城市,没有排他性旅游
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”$ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’#陈川个美食
Back to yield
<正> 我院老中医王弞,行医近40载,临床经验丰富,辨证准确,治内科杂症,独具匠心,兹整理验案二则,介绍如下:一、痰郁互结案李某,女,39岁,1977年5月11日初诊。患者心悸失眠,头昏
目的:比较普芦卡必利和伊托必利分别联合生物反馈治疗老年功能性便秘的疗效和安全性。方法:选择68例功能性便秘患者,随机均分为治疗组和对照组。治疗组34例,予普芦卡必利2mg/次
通过包裹体、铸体薄片、带有能谱仪的扫描电镜技术对鄂尔多斯盆地延长组长8 砂岩中的绿泥石膜进行分析测试,研究其形成机制和过程及其与物性的关系.研究表明: 绿泥石膜具有双
深入研究我国生态文明的建设路径,揭示了以习近平总书记为核心的党中央遵循生态文明建设规律,运用供给主导型、中间扩展型、需求诱致型建设路径建设生态文明的生动历程。在此
【摘要】 低年级孩子积累的字词少,说话表达过于口语化,缺乏条理和逻辑,导致说话时说不准、说不通、说不完整,词不达意,言不成句。更有很多孩子平时不敢说、不愿意说,有一定的心理障碍。学生活动的主要场所是学校和家庭,在学校中应以教师语言、教材内容、教学环节、学校活动为抓手教会孩子“说话”,在家庭中也要从亲子交流、亲子阅读、亲子活动这三个方面发展“说话”,辅以良好的社会语言文化环境,相信一定能让低年级的孩