【摘 要】
：
在大规模的采用面向对象技术的软件开发过程中,自动化测试能起到重要作用.面向对象的程序设计方法对软件的自动化测试提出了新的问题.例如,多态、继承和动态绑定等在过程式的
【机 构】
：
北京大学高可信软件技术教育部重点实验室,北京,100871
【出 处】
：
2007全国理论计算机科学学术年会
论文部分内容阅读
在大规模的采用面向对象技术的软件开发过程中,自动化测试能起到重要作用.面向对象的程序设计方法对软件的自动化测试提出了新的问题.例如,多态、继承和动态绑定等在过程式的程序设计中不存在的问题.提出了一种支持面向对象软件测试的自动化测试方法.其中,首先提出了一种面向对象测试模型；对一个被测软件,基于该模型描述其测试特征,并基于反射机制获得对象的结构,可自动生成测试代码；并在此基础上实现了一个微软平台上的对象测试自动化工具.
其他文献
解决实际问题需要将多方面空间信息结合进行推理,仅考虑单方面空间信息是不够的.多方面空间信息结合推理已成为定性空间推理的一个研究热点.现有拓扑与方位结合推理工作主要
形状匹配是遥感图像目标识别、字符识别、手形识别和步态识别等任务中的关键步骤之一.针对刚体识别任务中形状匹配易受方向、尺度和位置等仿射变化量影响的情况,提出了一种新
“依靠科学,战胜非典”,这不是一句简单的口号,而是我们行动的纲领。在全国万众一心抗击非典的斗争中,科学已成为我们的坚实后盾和强有力武器。党和国家领导人多次强调要依靠
为满足深海物体原位三维测量需要,提出一种激光扫描双目立体视觉成像方法。该方法基于双目立体视觉原理,采用四维光场光线表示法,建立水下双目立体成像系统的测量模型;采用激光线扫描光条作为像素匹配线索,及基于共面约束的像素匹配算法,提高水下左、右两个相机图像像素匹配精度。通过耐高压结构设计、电气和软件设计,建立起相应的工程样机。静水压力试验表明,该工程样机能够适应4 000 m深海静水压力;实验室精度试验
长输油气管道沿途运行环境复杂,传统方法中假设的标准样本与实际样本分布一致的前提遭到破坏,导致单一的识别模型在不同环境下对入侵事件识别准确率降低.为了改善识别模型偏
随着运动捕获设备的普及,大量的运动数据可以直接得到,从而使得大规模的运动数据库的建立成为可能.在此背景下,研究以检索为核心的运动捕获数据处理技术就显得十分重要了.提
针对水下成像多界面折射引起的图像非线性畸变,提出一种水下透视投影图像校正方法,将相机透过多界面拍摄的水下图像转化为空气中相机拍摄目标的透视投影图像。首先,在多层平面折射模型下,以四维光场参数化的形式对水下相机成像过程建模,通过光场的方向信息计算出水中像点与校正像点间坐标的映射关系。然后,利用两者映射关系将水下相机获取的图像转化为空气中透视投影图像。经仿真优化,物距在2～4 m的透视投影图像平均误差
我的爱机是一部E63,当时看中它的原因就是他的全键盘,发短信速度NO.1。 不过由于笔者长期不整理收件箱的缘故,导致我的短信收件箱中的短信日益增多。终于有一天,经过深思熟虑,我决定了,狠狠地把短信给清理一遍。但是一个问题又出现了,短信的数量太庞大了,如果一个一个删,就算人不累死,键盘也要光荣了。可是,天无绝人之路,我发现E63上面有一个↑键(在@键),非常像电脑键盘上的Shift键,这让我联想到
利用核函数构造数据的特征空间并在此空间采用核函数结合RA算法选取初始聚类中心,在核k-means聚类基础上,划分出大簇小簇,然后在大簇中进行异类分离以发现实验数据中以小概率
脑卒中是现代社会运动功能障碍的首要诱因.针对传统被动强化肢体运动康复训练手段单一及训练策略缺乏客观评价参数指导等关键问题, 设计了右上肢运动想象融合不同强度功能性