【摘 要】
：
软件系统开发完成后,验证其是否完成了软件设计说明书的所有功能并且与设计算法一致,是软件测试的一项重要工作.通过人工遍历分析源代码来完成实现与设计的一致性验证是复杂费力的,并且需要测试人员具备丰富的编程经验和较强的算法分析能力.论文提出了一种基于函数调用路径的软件实现自动验证方法.从设计文档和源代码两个方面出发,分别分析其函数调用关系,提取函数调用路径,生成功能簇模型.其中文档方面通过人工理解设计文
【机 构】
：
北京信息科技大学计算机开放系统实验室,北京100101
论文部分内容阅读
软件系统开发完成后,验证其是否完成了软件设计说明书的所有功能并且与设计算法一致,是软件测试的一项重要工作.通过人工遍历分析源代码来完成实现与设计的一致性验证是复杂费力的,并且需要测试人员具备丰富的编程经验和较强的算法分析能力.论文提出了一种基于函数调用路径的软件实现自动验证方法.从设计文档和源代码两个方面出发,分别分析其函数调用关系,提取函数调用路径,生成功能簇模型.其中文档方面通过人工理解设计文档,确定函数调用关系,然后自动生成标准功能簇模型;源代码方面通过静态分析,自动获取函数调用关系,提取功能
其他文献
CPI连续企高,虽然购房置业相对更能抵御通货膨胀,但是政策轰炸下的房价已经明显进入了下行通道,此时的购房者更应理性抉择。在通货膨胀大背景下,楼市调控更是逆水行舟不进则
从Hi-Fi到AV,是家庭娱乐设施的一大飞跃。由于科技进步,AV系统已从“旧时王谢堂前燕,飞入寻常百姓家”。可是对于媒体铺天盖地的广告,VCD、CVD、“3.0家庭影院”,对欲购置AV
民族三弦与戏曲三弦有着悠久的历史文化,民族音乐从内心深处打动着我们,这也是民族音乐能够陶冶情操的原因,二者都有着无可替代的艺术价值,在学习中健全了人格,以情感来感动
随着人们对软件安全问题关注度的不断提升,漏洞挖掘技术逐渐成为业内重点的研究内容.但传统的漏洞挖掘技术耗时长耗工大,更重要的是不能全面的探测出软件中的漏洞,所以一种简
软件的高复杂性是其可靠性难以精确评估的主要原因,传统模型在不同环境下、不同类型的软件系统的预测能力差别极大,使得软件可靠性模型选择极其困难.基于核函数的软件可靠性
变径清管技术是非常规管道完整性管理的关键技术.依据管道情况对清管器进行有针对性的设计,使之满足管道清管单位运行条件,并在实际清管过程中进行应用,清理能力达到内检测运
随着科技在不断的发展和提高,以牺牲环境为代价的传统建筑模式已经不再是主流,发展绿色建筑成为了当今的火热话题,而设施管理在绿色建筑中又起到十分重要的作用.全文简要分析
1 定干宜采用低主干 ( 50ｃｍ)、留多主枝 ( 3～ 4个 )的整形方法。剪除春梢 ,促发早夏梢 ,使树型紧凑。适合密植栽培 ,计划密植以每 666 7ｍ2 植 30～ 4 0株为宜 ,稀植每 666 7ｍ2 植 1
寒冬腊月,一般人都喜欢用热水洗漱,其实,冬天以冷水洗脸、温水刷牙、热水烫脚对健康更为有益。冷水洗脸每日晨起和午睡后用冷水洗脸,可使面部和鼻腔内的血管收缩,等冷水的刺
COPY REDUCTION 缩小复印COPY REDUCTION MODE ON/OFF 缩小复印模式开/关CHECK CASSETTEE 纸张在供纸盘附近被卡住CHECK COVER 上盖被打开
COPY REDUCTION COPY REDUCTION