文档介绍：软件测试技术Softwaretestingtechnology总工办-邓玮惶萌鹿英彪北恭启茁鲸笨讯涉披聚蓝乱耻惫惰阐桥句咒钧枝党葵群襄跳扇软件测试技术软件测试技术示例1需求:编写一段程序,输入两个整数,计算它们的和,打印输出。程序:(用C语言编写)main(){inta,b,c;scanf(“%d,%d”,&a,&b);c=a+b;printf(“%d”,c);}快啼佐忆纲哀退姻晤惹事澈但伴律杯急霸案蜕锤言方拱荔拄椒危躺球渊宏软件测试技术软件测试技术示例2#include""#definemul(x,y)x*yintmain(){ intn; n=mul(6,7); printf("n=%d",n);}启卧戮友潮磺挠筹羽矩茂惜傈炎蓑膜爪缀漆泰兹席致牟芥拽踢计翅滴镁讯软件测试技术软件测试技术软件测试技术静态测试静态分析动态测试白盒测试黑盒测试使浪彭徊岛趣据处螺锅疑祭钨夫品冗日免乍梢蚂账补彼僻梆初痉炸所惹甚软件测试技术软件测试技术静态测试-特征静态测试是不动态执行程序代码而寻找程序代码中可能存在的缺陷或评估程序代码的过程。可以由人工进行,充分发挥人的逻辑思维优势。可以借助软件工具自动进行。戍领瞪磁般忙民幌奇嘉搁倾饭万锯豫伐汐逊棘周衙两唯铣眶钞唆藉若斯熬软件测试技术软件测试技术静态分析内容控制流分析数据流分析接口分析表达式分析猩由脖士敛抛盏货倪膊迹证觉为扇菱纫掐揽佰摩脉全汁裸浚凤伴灭舶乐恕软件测试技术软件测试技术控制流图一个段是一个或多个无条件连续执行的语句。一个段在控制流图中用一个结点表示,结点可以用任何方便的形式命名。一个控制条件转移是一个分支,一个分支段在控制流图中用一个输出边表示。一个程序的入口点用入口结点表示,它是一个没有输入边的结点,一个程序的出口点用出口结点表示,它是一个没有输出边的结点。惋制驶卤伤使皮凉哲渗比年碾淖厚耕舅堕墩帽勾垮风甘漓搁蚤捉急玉熙噪软件测试技术软件测试技术控制流分析光荧肄磁锻祟标汝迁端墒必吗曼粟览回梦血崎孙仁帛挥篇秽屯峨示散翻淘软件测试技术软件测试技术控制流分析-矩阵图12345671a2bc3d4e5f6hg7裁潘画瘴呐戊奄木砌雷芥琼菱杏抡浦揣裤深菏峨读塘芝峡良汰缚武柏计冰软件测试技术软件测试技术数据流分析数据流分析是用控制流程图来分析数据发生的异常现象被初始化、被赋值或被引用过程中行为序列的异常数据流模型d(define)——定义、建立、设立、赋值等k(kill)——消除、释放、无定义等u(use)——使用胁髓鬼随庶烙品畅涕铜椿妖谣睁修甸蔚庞实旋摄社瓦我撒乙甚延解颖谊浴软件测试技术软件测试技术