【摘 要】
：
针对舰船嵌入式软件手动测试的弊端,首先从业务逻辑、接口类型等方面总结了舰船嵌入式软件的特点,从测试用例的建模、形式化转换以及用例的解析3个方面提出了测试用例自动驱
论文部分内容阅读
针对舰船嵌入式软件手动测试的弊端,首先从业务逻辑、接口类型等方面总结了舰船嵌入式软件的特点,从测试用例的建模、形式化转换以及用例的解析3个方面提出了测试用例自动驱动方案,在此基础上,根据舰船嵌入式软件的业务逻辑,研究了测试用例建模方法,包括测试用例数据模型、行为模型和测试用例模型特性,给出了测试用例自动驱动方法,并且以上述方法为基础对测试用例自动驱动平台进行了设计,给出了平台硬件组成和软件设计方案;最后,利用测试用例驱动平台对某软件进行了测试应用验证,验证结果表明利用测试用例驱动平台可以显著提高测试效率.
其他文献
溃疡性结肠炎是由多种病因引起的、发病机制尚不明确的、国际公认的难治病之一,成为近年研究的热点。目前西医、中医治疗该病均取得了较大的进步,但还没得出一个公认、统一、
近年来为有效缓解和解决岩溶缺水地区部分场镇和相对集中农户人畜饮水困难、改善饮水质量,溶洞取水项目逐渐增多。为提高溶洞内施工安全管理水平,完善安全管理保障措施,以重
引言随着互联网大潮的涌入,各种新技术、新应用、新业态不断改变着人们的生活方式,进而影响我们的行为习惯。今年是我国全功能接入互联网第25年,创造出来的奇迹让世界震惊。
广为人知的“天价乌木案”的判决结果已尘埃落定,然而随着判决结果的作出,该案却引发了各路学者对天价乌木所有权归属更为深刻的讨论与关注。由于我国并未对天价乌木的所有权
目的分析中医在防治留置导尿管伴随性感染方面的研究状况,为今后的研究提供依据和方向。方法以“中医OR中药”AND“感染”AND“尿管”为检索词,在中国生物医学文献数据库(CBM
为进一步培养社会组织承接政府公共服务和社会公共事务的能力,江苏省扬州市民政局确定2017年为社会组织的“能力提升年”。“能力提升年”将重点加强枢纽型组织指导网络建设,
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
毛泽东在青年时代就树立了救国救民、改造社会的人生理想，他的人生理想经历了从崇拜圣贤英雄到教育救国、从探索真理到社会革命的转变过程。毛泽东早年深受家乡文化的影响与熏
柳州官塘大桥为主跨457m中承式钢箱拱桥,拱肋采用单箱单室钢箱截面,为拱肋内倾角度10°的提篮式拱桥。为了研究大跨径提篮式钢箱拱桥的稳定特性,采用ANSYS有限元分析软件