【摘 要】
：
将有限的测试资源有效用于软件可靠性测试中具有十分重要的意义。传统方法生成的测试用例中存在大量冗余信息，测试效率低下。本文首先通过引入Markov使用模型生成测试用例
【机 构】
：
大连理工大学嵌入式系统工程系,大连 116620
【出 处】
：
第四届信息安全漏洞分析与风险评估大会
论文部分内容阅读
将有限的测试资源有效用于软件可靠性测试中具有十分重要的意义。传统方法生成的测试用例中存在大量冗余信息，测试效率低下。本文首先通过引入Markov使用模型生成测试用例集，然后运用遗传算法对原始测试用例集进行优化求解，减小测试用例容量。最后，在作者所在实验室开发的virtualsparc2.0仿真平台上进行测试，测试结果表明本文设计生成的测试用例符合系统实际应用情况，能够提高15％左右的测试效率。
其他文献
锂电时代来到但仍有人未做好准备rn张民生表示,2020年对于锂电之于工业车辆而言,可以说是更加迈进的一年,锂电技术的进一步成熟、产品价格的愈发亲民,对于锂电设备的大众化将
本文重点阐述了目前多数中国企业推动营销创新模式过程中存在的一些问题。进而提出了新的解决方案、新的战略思维以及办法。
科室建设与医院的政策扶持分不开的，同时临床要明确科室的发展的主攻方向，本院针灸科在慢性疼痛的针灸治疗和脑源性疾病的防治研究在临床和机制研究处于国内领先水平，针灸特
近年来,国务院国资委陆续出台了系列指引及实施意见,指导中央企业开展全面风险管理、内部控制、合规管理等工作.电网企业贯彻国资委要求,持续开展相关探索与实践,但随着各个
森林是我国重要的自然资源,对人类生活发展具有直接影响.近年来,随着我国工业化生产水平的不断提升,对生态环境的破坏较为严重,森林资源也呈逐年下降趋势.林业建设能够扩大森
本文结合近年来国外发表的有关针刺治疗偏头痛的高质量循证医学证据，并结合笔者所从事的针刺治疗偏头痛临床体会，提出了针刺治疗偏头痛试验设计中需要注意的问题和处理方法
电厂经济作为我国经济的一部分,是较为关键的一项,其对人民日常生活与城市建设都有着巨大的影响.基于此,本文重点分析了电厂隐患的由来和表现,主要是:管理意识淡薄、素质较低
本文通过大耳白兔实验得知脑震荡后齿突均发生移位，且延髓下部及上颈髓水肿较明显，频度亦高，说明脑外伤均伴发颈外伤。枕寰枢椎的解剖位置改变是脑艇荡的主要发病机制，PCS的
近年来,人类活动加剧了生态环境的破坏,为了缓解生态危机,人们逐步意识到林业在环境保护与生态恢复方面的重要作用,因此积极开展各种植树造林工作.但是,盲目的林业规划与造林
任哲1983年生于山东淄博。2005年毕业于中国人民大学艺术学院获学士学位。现任职于中国美术馆展览部。中国博物馆学会会员。
Ren Zhe was born in Shandong Zibo in 1983. 2