关于可应用测试数据充分性准则复杂性的注记

来源 :计算机学报 | 被引量 : 0次 | 上传用户：ikkonen

【摘要】

：

软件测试充分性准则的复杂性分析对于测试效率的分析和比较具有重要意义，对于测试充分性准则使用具有指导意义，Ｗｅｙｕｋｅｒ于１９８４年提出了Ｒａｐｐｓ－Ｗｅｙｕｋｅｒ的ａｌｌ－ｕｓｅｓ，ａｌｌ－ｐ－ｕｓｅｓ／ｓｏｍｅ－ｃ－ｕｓｅｓ，ａｌｌ－ｃ－ｕｓｅｓ．ｓｏｍｅ－ｐ－ｕｓｅｓ和ａｌｌ－ｐ－ｕｓｅｓ准则的复杂性上界，于１９８８年又提出可应用数据流测试准则

【作者】

：

暴建民王申科

【机构】

：

中国科学院计算技术研究所CAD开放研究实验室,中国建设银行科技部

【出处】

：

计算机学报

【发表日期】

：

1999年4期

【关键词】

：

软件测试软件可靠性数据流测试准则软件开发 Software testing software reliability data flow test

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

其他文献

并行分布式计算机样机的监测测试

介绍了一个基于联机实时监测的方案，它采用了作者研制的ＭＳ－１监测系统。该系统是一个具有同步实时时钟的分布式监测系统，采用事件驱动的软硬件混合监测方式，联机实时监测软件ＯＭ把监测系

期刊

并行分布计算机样机监测测试计算机Online monitor hybrid monitor eventdriven parallel and d

基于图像的室内虚拟环境的研究

基于图像的建模和绘制技术，提出了一个构造室内虚拟环境的完整方案，用户只需要输入少数照片，即可重建室内场景的全景图像．方案主要包括以下几步：首先由用户交互确定图像中的匹配象素，通过运动分析算法恢复整个场景的几何结构；然后，将原始图像变换至平面的参数坐标系，抽取纹理图像，并在参数空间对纹理图像进行拼接；最后生成场景的全景图像．算法对拍摄条件和设备没有苛刻要求，运算量较小，有较强的稳定性．

期刊

虚拟环境射影几何纹理图像变换虚拟现实Virtual environment imagebased rendering structure from

友情强档3.1操作演示

期刊

OUTLOOK安装信息管理软件个人信息管理

基于辛空间的具有仲裁的认证码的构造

具有仲裁的认证码既要防止敌手的欺骗，又要防止收方和发方的互相欺骗。该文给出一种由辛几何构造具有仲裁的认证码的方法，并计算了有关参数，分析了各种攻击成功的概率。

期刊

辛空间仲裁认证码保密通信Authentication codes with arbitration symplectic spacesclassic

基于并行B^＋—树的并行Join算法的设计,分析与实现

Ｂ＾＋－树是一种有效的数据库存储结构，被普遍应用于各种关系数据库系统。把Ｂ＾＋－树并行化，使之用于并行数据库系统显然是一项很有意义的重要工作。本文研究了适用于并行数据库的并行Ｂ＾＋－树存储

期刊