【摘 要】
：
测试充分性评估通常采用覆盖率的方法来评估测试对软件特征的覆盖充分程度。如今，传统的充分性评估方法难以满足复杂软件的测试评估需求。首先，代码覆盖准则难以准确验证软件需
【机 构】
：
清华大学计算机科学与技术系,解放军总医院第一附属医院计算机中心,北京大学软件与微电子学院
【基金项目】
：
航空科学基金自主项目(20091958005)资助
论文部分内容阅读
测试充分性评估通常采用覆盖率的方法来评估测试对软件特征的覆盖充分程度。如今，传统的充分性评估方法难以满足复杂软件的测试评估需求。首先，代码覆盖准则难以准确验证软件需求；其次，软件测试还需考虑软件不同特征对系统测试充分性的不同影响。对此，提出一种基于接口的建模方法和基于该模型的综合覆盖充分性评估方法。该方法根据软件接口说明，对系统功能进行特征抽取、建模，并对接口模型的测试用例进行不同层级的充分性评估，对评估结果进行归一化处理，得到系统的综合测试充分性。通过案例表明，这种评估方法能够反映功能的测试充分性，对测
其他文献
作为一名高中生物教师，一直都在困惑，上课时发言的学生不多，一个问题提出后，很少出现“一石激起千层浪”的效果。经过长期教学摸索，尝试把竞争引入课堂，实行“优胜劣进”，很好的改变
MOOK类出版物的市场成功,为我国传统出版业的发展提供了宝贵经验。故该文拟通过对具体MOOK案例的分析,为我国传统纸质出版的发展方向提出一些浅陋的建议。
昆明景成大厦塔楼57层,高268.8m,基坑深27.35m.在深基坑监测数据进行判断处理,土方开挖模拟,内支撑设计优化,超高层施工平面布置,进度管理设计深化.施工工况模拟等方面应用BI
现代医学的发展呼唤医学人文精神的回归,加强医学人文教育成为必然。从师资队伍建设、课程体系设置、教学方法与评价三个方面对中美医学院校的医学人文教育现状进行比较,根据
目的研究对慢性阻塞性肺疾病（COPD）所致严重呼吸衰竭患者实施有创与无创序贯性机械通气治疗的临床疗效。方法 73例COPD所致严重呼吸衰竭患者,依据治疗模式不同分为对照组（37例）和
国有企业领导班子肩负党的重托和人民信任,在企业发展中具有关键作用,是企业内部核心的人才资源,在很大程度上决定了一家企业经营好坏。
北京大兴国际机场指廊工程项目钢结构施工中,将钢结构深化Tekla Structure模型导入BIM平台中,使模型形成基本3D信息模型,并将进度计划、清单类型、资源属性等信息与之链接,形
血栓栓塞是心房颤动（atrial fibrillation,AF）的严重并发症,可引起脑梗塞、肾动脉栓塞、肠系膜血管栓塞等严重并发症,是导致AF患者死亡、伤残的主要原因之一。流行病学研究结果
随着我国社会整体环境的变化,特别是现代传媒手段的快速发展,传统文化遇到了前所未有的挑战。考虑到市场的点播率等诸多因素,社会优势资源与传统文化类电视节目渐行渐远,而既
目的：研究高原军人的焦虑、抑郁特点及其相关因素。方法：采用焦虑自评量表（SAS）、抑郁自评量表（SDS）对高原地区700名军人进行现场测试，与焦虑量表（SAS）、抑郁量表（SDS）中国常模比较因子