首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   2篇
  国内免费   1篇
  完全免费   2篇
  自动化技术   5篇
  2010年   2篇
  2006年   1篇
  2000年   2篇
排序方式: 共有5条查询结果,搜索用时 46 毫秒
1
1.
软件集成测试的群体协同工作模式及其特性   总被引:5,自引:0,他引:5  
该文论述了在大型软件的集成测试中开发组和测试组之间的协同工作方式及其对软件产品质量和开发效率的影响.文章着重讨论了集成测试的基本测试过程、必需的测试任务、测试人员的职责、其他各类相关人员的角色及其相互之间的各种关系。并通过采用标准建模语言UML(unified modeling language)给出了这种协同工作方式的可视化模型.文章还重点研究了软件问题报告的生命周期概念及其在软件质量保证过程中的作用.最后,通过实际案例的分析,说明了这种协同工作模式的一些特点.  相似文献
2.
软件缺陷发现时序过程的叠加双阻尼振荡模型   总被引:2,自引:0,他引:2       下载免费PDF全文
何智涛  晏海华  刘超 《软件学报》2010,21(12):2999-3010
在软件测试实践中,被测软件通常要经历多轮次的测试和修改过程.由于受到被测软件的缺陷分布、迭代式的开发与测试过程、测试者发现缺陷的能力等诸多非确定性因素的影响,使得软件缺陷发现的时序过程呈现出相应的周期性、随机振荡性和阻尼衰减等时序特征.通过对以软件缺陷发现为目标、测试过程管理规范的软件测试过程基本特征和关键影响因素的深入分析,提出了一种描述软件缺陷发现时序过程特征的叠加双阻尼振荡模型(accumulative bi-damped oscillation model,简称ABDOM).采用从两个真实软件测试项目中采集的缺陷发现过程数据,检验了ABDOM模型的有效性,定义了ABDOM模型的适用范围,并对ABDOM模型的应用进行了初步讨论.  相似文献
3.
人工智能理论危机暴露了经典数理逻辑的局限性,各种非经典数理逻辑的大量涌现表明,第2次数理逻辑革命已经丌始.为了使各种逻辑能在统一的泛逻辑学框架内协调一致地发展,为人工智能提供新的逻辑理论基础,提出了第2次数理逻辑革命的总纲领:实现部分辨证逻辑的数学化,建立可包容各种不确定性、矛盾和演化的柔性逻辑学;根据总纲领和逻辑学4要素,提出了革命的若干具体纲领,并指出当前最重要的任务是建立柔性命题逻辑学,它是建立整个柔性逻辑学的基石,根据纲领建立了柔性命题逻辑学,表明它可包容或生成各种命题逻辑。  相似文献
4.
任务是Ada语言支持并发程序设计的基础,它提供了一种进程同步和通信的良好机制.但也存在一类被动的、专为其他任务服务的服务性任务.服务性任务的存在增加了系统的负担,降低了系统的性能.如果能将服务性任务变换为保护对象,则可以明显地提高系统的性能,减少维护的费用.该文提出了一种在源程序级将Ada83服务性任务变换为Ada95保护对象的方法.先给出服务性任务应满足的条件、识别和表示服务性任务的方法,最后讨论此方法的可行性.与其他方法相比,此方法具有假设条件少、识别和变换效率高以及容易验证等特点.  相似文献
5.
康托尔是用数学方法系统研究实无穷概念的第一人,为此他创立了集合论,为现代数学奠定了重要的理论基础,但其中的连续统假设和层次实无穷观又给数学带来了许多问题.130多年来不断有人怀疑连续统假设,但一直没有找到解决这个问题的有效办法.文章首先在图灵机基础上提出完全编码算法和完全译码算法,揭示了无穷编码的不变性(ICI原理),证明了实数可数、连续统假设不成立,实现了实无穷概念的重新统一,从根本上解决了希尔伯特第一问题.然后进一步证明所有的无穷集都可通过自然数集变换出来,自然数集是所有无穷集的数学模型.最后讨论了有关无穷的数学哲学问题.无穷概念的统一奠定了实无穷理论的基础,对数学、物理、逻辑、哲学和其他许多学科都将产生广泛而深远的影响.  相似文献
1
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号