【摘 要】
：
目前许多文献都讨论的受控马尔科夫链软件测试模型,是通过对部分假设条件进行特殊化处理后得到的,这将导致模型的适用范围较小且偏离实际应用。依据软件控制论思想,通过一系
【机 构】
：
浙江理工大学信息电子学院,中国科学院软件研究所并行软件实验室
【基金项目】
：
浙江省自然科学基金项目(Y1100289,Y1100726,Y12F020198,Y12F020194);浙江省科技厅公益技术研究项目(2011C3005)资助
论文部分内容阅读
目前许多文献都讨论的受控马尔科夫链软件测试模型,是通过对部分假设条件进行特殊化处理后得到的,这将导致模型的适用范围较小且偏离实际应用。依据软件控制论思想,通过一系列新的制约条件的转换,提出一种改善的、测试资源约束下的受控马尔科夫链模型来消除已有模型的缺陷。同时,该模型能够在高效性、复杂性和适用性3方面达到一个平衡点。为了证明其有效,根据该模型设计了一种新的软件缺陷优化测试策略,并对该策略进行了仿真实验,将其与传统的随机测试策略进行了比较。实验结果表明,该模型具有较高的实用性和有效性。
其他文献
目的 :评价NO供体 (DETANO)抑制血管平滑肌细胞增殖的效应及其抗增殖效应与细胞周期抑制蛋白P2 7kip1的关系。方法 :将DETANO(10 -5～ 10 -3 mol·L-1)、DETA(10 -3 mol·L-1)
城市的飞速发展,使得进城务工农民越来越多,且在年龄分布上新生代己占据主体。与老一代农民工相比,他们有着自身的突出特点。这部分群体年龄普遍较小,多为未婚,其结婚生子等
“股利”自其诞生以来就受到国内外学术界的广发关注,成为学者研究和讨论的热点。而股利政策作为公司财务决策的三大核心之一,政策的制定不仅需要考虑对股东的回报,还应关注公司未来的发展。国内外学者从不同角度出发提出了不同的理论,试图探析“股利之谜”,然而依旧没有得出一致的结论。国内学者通常结合我国特殊的经济环境研究沪深上市公司的股利支付行为,实证得出股利政策影响因素却存在差异,因此,采用案例分析股利支付行
<正>《关于修改〈中华人民共和国刑事诉讼法〉的决定》单设一章对未成年人刑事案件诉讼程序专门作了规定,增设了附条件不起诉制度。同时,增加了在办理未成年人刑事案件中实行
民族旅游商品日益成为民族地区经济发展新的经济增长点,笔者通过对音寨村布依族蜡染的实地调研,应用SWOT分析方法,对布依族蜡染商品开发面临的优势、劣势、机会和挑战进行分
目的 :检测链脲佐菌素 (STZ)诱导的糖尿病 (DM)大鼠早期肾脏中肝细胞生长因子 (HGF)和P2 1的表达 ,探讨HGF在DM大鼠早期肾小球肥大中的作用。方法 :STZ诱导DM大鼠动物模型后
考虑到软件任务模块执行的不均衡性以及模块级软件可靠性增长测试的具体情况,针对Markov控制转换多模块软件,提出了一种模块级的可靠性测试资源动态优化分配方法,以减少测试
提升核心竞争力已成为高校发展过程中具有战略意义的一项抉择,高校核心竞争力的本质特征是知识性,知识管理适应了知识经济的要求,同时也适应高校———知识密集型组织提升其
裁员是企业人力资源管理中的一部分,是企业优胜劣汰、推陈出新机制的内在要求。但目前很多国内企业仅仅为应对突如其来的金融危机、减少支出而裁员,并没有考虑长期效应,也未
随着我国经济社会的蓬勃发展和科学信息化技术的不断革新,通信工程管理质量的提高对加强人与人之间的交流至关重要。由于通信工程的管理体制涉及的范围比较广泛,使得信息传递