基于黑盒测试的航天嵌入式软件用例设计方法

来源 :计算机工程与设计 | 被引量 : 0次 | 上传用户:kocis2815
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
为了提高测试用例设计的效率,简化测试用例数量,提出了基于黑盒测试的航天嵌入式软件用例设计方法。阐述了确认测试过程中实用的测试用例设计流程,提出了在设计测试输入数据的基础上加强测试逻辑设计的用例设计方法,并结合实际工程经验,给出了测试用例的总体设计思路。最后,对测试遗漏问题及其原因进行了分析,为今后进行更有效的星载软件测试提供了参考。
其他文献
学生怕写作,一听说写作文,真有点“谈作文色变”的味道。慑于老师的威严,勉强写下来。有的同学由于无米下锅,文章内容空洞,言之无物;有的网上看看,书上抄抄,千篇一律;有的毫
2012年是国产喜剧电影具有里程碑式转折的一年,在《人在囧途之泰囧》以超过十亿的票房创造了中国电影的票房神话之后,国产喜剧电影便开始在潜移默化中改变着中国电影的传统气质。近几年的国产喜剧电影在叙事思维上呈现出狂欢化的叙事逻辑,从追求启蒙审美、提倡秩序,逐渐走向狂欢化、幽默化与游戏化。在叙事形态上逐渐避弃宏大叙事,擅取复调结构交织的拼贴化镜像呈现,颠覆完整的因果线性叙事结构,甚至分拆线性时空进而重新
为了加强对外学术交流与合作,国际学术文本是深入研究的必然选择。然而,国际范围内的学术文本大多属于英文作品,给中国学者造成了一定程度的阅读障碍,由此凸显出学术文本翻译的重要性。同时,学术文本中频繁使用专业术语和复杂句式,信息密度尤为庞大,这些特征给译者的翻译工作带来诸多挑战,同时引发了笔者对此类文本的研究兴趣。本文以专著《声质的语音学描写》的节选部分为研究内容,依据纽马克的文本类型理论和交际翻译理论
<正>金水2号梨是湖北省果茶所培育的早熟梨。果面翠绿,果肉细脆,汁多味甜,贮后有香气,被誉为“南方鸭梨”。它在湖北已取代“王冠”、“二宫白”,成为主栽早熟品种;江西、湖
<正>杂交稻D297优67是一个比汕优63抗病高产、制种产量高、适应性广,带有粳型血缘中晚稻兼用杂优新组合,由福建省尤溪县管前农技站育成。至1992年,全国13个省市示范面积20万
<正>农行浙江临海市支行全面推进从严治党、从严治行各项工作落实,提高案件风险防控的有效性,自今年3月份以来,根据上级部署,结合临海实际,认真开展"查教结合学案例,筑牢防促
期刊
警惕鸡肾病变型传染性支气管炎在我省暴发流行张渊魁,康昭风(江西省农科院畜牧兽医研究所南昌330200)鸡传染性支气管炎(IB)是由传染性支气管炎病毒(IBV)引发的鸡的急性、高度接触性传染病。该病
老龄飞机的线路故障对飞机飞行安全造成了严重影响,该文有针对性地对老龄飞机线路故障的原因、检查和预防措施的重要性和方式方法上进行探讨,从而达到尽量减少线路问题导致飞
根据《经济合同法》和《农副产品购销合同条例》,签订购销合同应有以下内容:   1.产品的名称必须明确,使用地区习惯名称时,双方要意见一致。   2.产品的数量和计量单位要清楚准确,对有的产品,在签订合同时,可根据有关规定和实际情况明确规定合理损耗,超欠幅度和正负尾差等。   3.产品的种类、等级和质量,有国家标准的,按国家标准执行;无国家标准有部颁标准的,按部颁标准执行;无上述标准的,由当事人双方
奶牛业的优良牧草──皇草甘金初(江西省畜牧良种场南昌330044)皇草(kingGrass)是由象草和美洲狼尾草杂交育成的多年生禾本科牧草,在众多的禾本科牧草中,皇草可谓后起之秀,出于它产量高、品质优、柔