【摘 要】
:
本文对软件测试的系统状态进行分析,提出了系统位态与预期位态的概念,并分析了它们间的差异,利用这一差异的模糊性,建立了参数值与位态的作用关系,证明了模糊集交集的模糊推
论文部分内容阅读
本文对软件测试的系统状态进行分析,提出了系统位态与预期位态的概念,并分析了它们间的差异,利用这一差异的模糊性,建立了参数值与位态的作用关系,证明了模糊集交集的模糊推理的两个定理,从而推得软件测试的'必选用例'及其构成法,采用'必选用例'在保证测试质量的前提下,大大减少了测试用例的个数,最后把作用关系看作模糊变换,利用它的算法检查测试结果,既科学又方便.
其他文献
本文充分利用了Eclat算法的概念格理论和等价类划分方法,将约束条件融入基于垂直数据分布的关联规则挖掘算法中.提出了一种新的反单调和单调约束条件下关联规则的挖掘算法,分
本文研究了当前计算机网络中进行重要数据事故灾备时存在速度慢、可靠性低等问题,提出利用信息学编码理论中的线性纠错码LECC来改善此状况.线性纠错码方法对数据进行分块冗余
文化算法源于对人类社会多层面进化的模拟,为进化算法提供了一个新的计算框架.和其他进化算法相比,文化算法概念清晰,更能准确地反映社会的进化过程,并在一些领域取得了成功
本文提出一种基于本体的非结构化知识管理系统框架.在该框架中,知识库由知识体和应用本体两部分组成,可解决知识的重用和共享问题.知识检索可以通过知识地图导航和自动检索两
通过分析目前高校系资料室设置存在的一些弊端,就如何改革系资料室的管理体制,从四个方面进行了论述。
全面系统地了解石油信息资源并加以充分应用是发展石油科技的基础,随着光盘和网络技术的迅速发展,从光盘和Internet网上获取信息资源业已成为获取信息的主要途径。本文论述了
软件测试是软件工程领域中重要组成部分.随着软件规模的不断扩大,测试工作的复杂性也不断升高,而改善、提高软件易测试性则是降低测试复杂性的有效手段.为达到这一目标,首先
各种视频压缩编码标准都是根据人们在不同领域中对声像数据的要求所制定的,并且随着人们的需求不断地发展。目前,视频压缩编码研究主要分为两个方向:一是基于传统的DCT 混合编码方案;另一个是基于第二代图像编码技术而提出的基于对象的编码方案。其中,基于对象的编码方法不仅能满足进一步获得更大的图像数据压缩比的要求,而且能够实现人机对话的功能,所以,我们认为它将是未来视频压缩编码的发展方向。本文对基于对象的编