【摘 要】
：
从软件测试的技术与过程、持续的软件测试、软件测试的充分性准则等方面简要介绍软件测试的基本思想 ;讨论软件测试中的若干问题 ,包括面向路径的测试数据自动生成、测试预言
【机 构】
：
北京大学信息科学技术学院软件研究所,酒泉卫星发射中心,昆明理工大学信息工程与自动化学院
【基金项目】
：
国家“八六三”高技术研究发展计划(2001AA113070);国家自然科学基金(60373003);国家重点基础研究发展规划(973计划)(2002CB31200003);中国博士后科学基金(2003034077)资助项目
论文部分内容阅读
从软件测试的技术与过程、持续的软件测试、软件测试的充分性准则等方面简要介绍软件测试的基本思想 ;讨论软件测试中的若干问题 ,包括面向路径的测试数据自动生成、测试预言、期望结果的自动生成、回归测试等 ;并且探讨软件测试的发展趋势 ,包括构件测试、软件的易测试性与基于合约的构件易测试性设计和WebServices测试等。
其他文献
和谐的师生关系决定着教育质量。文章针对班主任德育管理中师生关系失谐的现状，呼唤智慧型班主任，即用脑思考教育，用心品味学生，用情感染学生，真正获得学生认可、信服乃至佩服，从失
在功率器件的制造中,广泛采用横向与纵向高压MOS管,利用其轻掺杂的漏端结构,完成耐压任务,达到应用于高压电路的目的。功率器件由于其较低的阈值电压与较高的击穿电压,可以用
目的探讨小腿穿动脉的体表分布特点及角形穿支筋膜皮瓣修复小腿中小面积缺损的临床效果。提高治疗小腿缺损恢复的功能疗效，扩大穿支皮瓣的应用范围,减少手术并发症的发生,同时
在新课程标准下要全面培养学生的科学素养,而引入化学史知识、加强化学史教育正是落实科学素养教育的有效途径。教科书是最基本、最重要的课程资源,是教师教学的主要依据。新
本文分析我国证券登记结算系统的风险和证券登记模式优化。总结论是:中国的证券结算体系在运行和组织机构层次经过了多次规范整合,已经基本符合国际标准,而在风险控制管理层
学理通说认为,证明评价模式经历了神示证据制度、法定证据制度和现代自由心证证据制度三个阶段。历史轮回,当事实审理法官重新获得事实认定的权力和自由之后,自由心证因其在
基于对管理信息系统中用户权限管理实现方法的研究,首先,分析现代企业用户权限多样性。然后,给出应用系统用户与数据库用户统一权限管理方法,其中包括功能模块与数据库实体相
P21活化激酶(P21-activated kinases,PAK)参与多种重要的细胞生命活动,如细胞骨架重构、细胞迁移、细胞周期调控以及细胞的凋亡或生存。在神经系统中,PAK可能与大脑发育、神
背景：脑卒中发病率一直居高不下，其高致残率和高致死率给人类健康和生活带来巨大影响，给社会带来沉重的经济负担。目前，还没有有效的药物和方法预防及治疗脑卒中。缺血预处理诱导
髓过氧化物酶(Myeloperoxidase,MPO)存在于髓系细胞中,是白细胞分泌的一种酶,催化形成多种活性氧化剂。MPO除参与防御反应外,还参与了氧化-炎症反应。血管炎症是指炎症细胞的