软件缺陷发现时序过程的叠加双阻尼振荡模型

在软件测试实践中,被测软件通常要经历多轮次的测试和修改过程.由于受到被测软件的缺陷分布、迭代式的开发与测试过程、测试者发现缺陷的能力等诸多非确定性因素的影响,使得软件缺陷发现的时序过程呈现出相应的周期性、随机振荡性和阻尼衰减等时序特征.通过对以软件缺陷发现为目标、测试过程管理规范的软件测试过程基本特征和关键影响因素的深入分析,提出了一种描述软件缺陷发现时序过程特征的叠加双阻尼振荡模型(accumulative bi-damped oscillation model,简称ABDOM).采用从两个真实软件测试项目中采集的缺陷发现过程数据,检验了ABDOM模型的有效性,定义了ABDOM模型的适用范围,并对ABDOM模型的应用进行了初步讨论.     

一种Ada83服务性任务向Ada95保护对象变换的方法

任务是Ada语言支持并发程序设计的基础,它提供了一种进程同步和通信的良好机制.但也存在一类被动的、专为其他任务服务的服务性任务.服务性任务的存在增加了系统的负担,降低了系统的性能.如果能将服务性任务变换为保护对象,则可以明显地提高系统的性能,减少维护的费用.该文提出了一种在源程序级将Ada83服务性任务变换为Ada95保护对象的方法.先给出服务性任务应满足的条件、识别和表示服务性任务的方法,最后讨论此方法的可行性.与其他方法相比,此方法具有假设条件少、识别和变换效率高以及容易验证等特点.     

测试成本约束下的测试用例选择寻优

在软件测试实践中,由于受到测试投入时间、投入资金和人力成本的约束,软件测试不可能以无限制投入来获取理想的软件质量。针对测试成本约束下条件下在测试用例集中如何选择测试用例以获取最优软件测试覆盖这样一个具有理论价值和现实意义的问题,提出了综合考虑测试成本、测试用例权重和测试用例相距度三要素的测试用例选择寻优新思路,给出了测试成本约束下测试用例选择寻优问题的形式化描述,提出了基于遗传算法和测试成本约束的测试用例选择寻优算法的两种基本算法,即测试用例权重优先的测试用例选择寻优算法以及集群测试用例优先的测试用例选择寻优算法,并以一个模拟测试用例集合对算法有效性进行了检验,实验结果表明两种测试用例选择寻优算法在测试覆盖效果上均显著优于随机选择算法。     

无穷概念的重新统一

康托尔是用数学方法系统研究实无穷概念的第一人,为此他创立了集合论,为现代数学奠定了重要的理论基础,但其中的连续统假设和层次实无穷观又给数学带来了许多问题.130多年来不断有人怀疑连续统假设,但一直没有找到解决这个问题的有效办法.文章首先在图灵机基础上提出完全编码算法和完全译码算法,揭示了无穷编码的不变性（ICI原理）,证明了实数可数、连续统假设不成立,实现了实无穷概念的重新统一,从根本上解决了希尔伯特第一问题.然后进一步证明所有的无穷集都可通过自然数集变换出来,自然数集是所有无穷集的数学模型.最后讨论了有关无穷的数学哲学问题.无穷概念的统一奠定了实无穷理论的基础,对数学、物理、逻辑、哲学和其他许多学科都将产生广泛而深远的影响.     

论第2次数理逻辑革命

人工智能理论危机暴露了经典数理逻辑的局限性，各种非经典数理逻辑的大量涌现表明，第2次数理逻辑革命已经丌始．为了使各种逻辑能在统一的泛逻辑学框架内协调一致地发展，为人工智能提供新的逻辑理论基础，提出了第2次数理逻辑革命的总纲领：实现部分辨证逻辑的数学化，建立可包容各种不确定性、矛盾和演化的柔性逻辑学；根据总纲领和逻辑学4要素，提出了革命的若干具体纲领，并指出当前最重要的任务是建立柔性命题逻辑学，它是建立整个柔性逻辑学的基石，根据纲领建立了柔性命题逻辑学，表明它可包容或生成各种命题逻辑。     

软件集成测试的群体协同工作模式及其特性

该文论述了在大型软件的集成测试中开发组和测试组之间的协同工作方式及其对软件产品质量和开发效率的影响．文章着重讨论了集成测试的基本测试过程、必需的测试任务、测试人员的职责、其他各类相关人员的角色及其相互之间的各种关系。并通过采用标准建模语言UML(unified modeling language)给出了这种协同工作方式的可视化模型．文章还重点研究了软件问题报告的生命周期概念及其在软件质量保证过程中的作用．最后,通过实际案例的分析,说明了这种协同工作模式的一些特点．     

有关在计算机学科教学中开展双语教学的思考

本文总结了当前计算机学科中开展双语教学的意义,针对双语教学在计算机专业教学所面临的基本问题,提出基于当前国内的教育状况,在计算机专业学科教学中开展双语教学需慎重和全面考虑。