简介：通过GQM范式,分析软件测试过程要因,定义软件测试有效性度量的目标,确定了主要关注的问题,根据测试过程活动选择和定义了测试有效性度量指标体系,弥补了软件测试有效性可见性差的不足,为选择评价方法以及可量化地评判提供了有效的技术支撑。
简介：基于在软件开发过程中有很多静态缺陷函数检测方法与工具都具有局限性,且对软件开发后期的黑盒测试关联不大,文中提出了一种在软件开发早期运用的静态缺陷函数检测框架,该框架不仅可以解决静态分析工具误报的问题,还可以为后期的安全性黑盒测试提供数据流约束,为自动生成数据流提供有效支持。
简介：高校图书馆中书刊丢失损毁等不文明现象时有发生，维护图书馆书刊资料的完好不受损失，是广大图书馆工作人员与读者共同的义务与责任。本文提出可通过对入学新生进行网络宣传，积极开发电子期刊、电子图书数据库，利用实时监测的技术手段等方法有效遏制图书恶意丢失和损毁等不文明现象。
软件测试有效性度量指标体系研究
一种有效的静态缺陷函数检测框架
有效利用网络技术 遏制图书馆不文明现象
