基于UML状态图的软件测试充分性准则研究

文中详细讨论了一组基于UML状态图的软件测试充分性准则。在软件测试时,还没有测试充分性准则明确定义循环应该被执行多少次,而循环只被执行一次是很不充分的。针对这种情况,在现有测试准则的基础上提出了两种扩展的基于UML状态图测试的充分性准则：ZOT-R循环覆盖准则和全ZOT-R路径覆盖准则,丰富并完善了现有的测试准则体系。并且通过结合一个具体实例给出了这些覆盖准则在具体测试实践中的应用方法,探讨了这些覆盖准则之间的包含关系。     

软件可靠性测试充分性研究

在阐述了软件测试充分性的定义和软件测试充分性准则的定义、分类和作用的基础上，形式化分析了软件正确性测试充分性和软件可靠性测试充分性的目的和实质，重点研究了软件可靠性测试的充分性，将软件可靠性测试充分性准则分为软件可靠性增长测试充分性准则和软件可靠性验证测试充分性准则，给出将测试充分性准则用于可靠性测试流程的模型。     

基于JaCoCo动态覆盖率测试的分析与应用

动态覆盖率测试是目前常用的一种测试技术,利用它能直观的从代码层面判断测试完整性和充分性,从而最大程度的发现软件问题。本文针对Java语言的动态覆盖率测试工具JaCoCo进行实践应用,给出具体的测试过程,并分析对测试充分性和完整性的影响。     

线性独立路径覆盖率的软件测试充分性判别方法

软件测试充分性判别准则是决定一个软件系统是否已经被充分测试的停止准则,而充分性判别准则的关键是它的揭错能力。对充分性判别准则进行了形式化描述,并且讨论了充分性判别准则的性质及准则之间的比较方法。为了给保障软件测试充分性提供理论依据,提出了一个软件测试充分性的度量准则。     

浮力调节软件的单元测试技术研究

为了提高嵌入式软件的单元测试效率,同时能达到很好的测试效果,针对嵌入式软件制定单元测试充分性准则和单元测试策略,并使用测试工具对嵌入式软件进行单元测试具有实际意义;以浮力调节软件为例,通过研究基于控制流的单元测试充分性准则,结合浮力调节软件的单元测试需求,提出了针对浮力调节软件的单元测试充分性准则;同时,考虑到圈复杂度和函数节点数对函数正确实现的影响,制定了基于优先级的单元测试策略;利用自动化单元测试工具Testbed搭建了浮力调节软件动态测试环境,通过代码覆盖率分析,帮助创建测试用例以达到单元测试充分性要求,从而实现了浮力调节软件单元测试自动化;在自动化测试工具的帮助下,结合单元测试充分性准则和单元测试策略,最终实现严格而高效的单元测试。     

关于泛型程序的覆盖度量方法的探讨

白盒测试是检验程序正确性的重要方法.代码的覆盖度量是保证白盒测试的充分性的主要准则.现今,泛型编程技术已经在程序设计中占据了重要地位,而泛型程序设计的特点,则给传统白盒测试中的代码覆盖度量法则带来了新的挑战.针对泛型技术的特点,该文提出了一种增强的覆盖度量方法,该方法可用于泛型程序的白盒测试.     

关于泛型程序的覆盖度量方法的探讨

白盒测试是检验程序正确性的重要方法。代码的覆盖度量是保证白盒测试的充分性的主要准则。现今，泛型编程技术已经在程序设计中占据了重要地位，而泛型程序设计的特点，则给传统白盒测试中的代码覆盖度量法则带来了新的挑战。针对泛型技术的特点，该提出了一种增强的覆盖度量方法，该方法可用于泛型程序的白盒测试。     

软件测试充分性研究

软件测试充分性准则是决定一个软件系统能否被充分测试的规则,而测试充分性的关键问题是其检测故障的能力。该文首先给出测试充分性准则的形式化描述,然后讨论了软件测试充分性的性质,最后给出了两种理想的测试数据生成方案,并提出了测试充分性度量方法。     

一种基于模型的测试充分性评估方法

测试充分性评估通常采用覆盖率的方法来评估测试对软件特征的覆盖充分程度。如今,传统的充分性评估方法难以满足复杂软件的测试评估需求。首先,代码覆盖准则难以准确验证软件需求;其次,软件测试还需考虑软件不同特征对系统测试充分性的不同影响。对此,提出一种基于接口的建模方法和基于该模型的综合覆盖充分性评估方法。该方法根据软件接口说明,对系统功能进行特征抽取、建模,并对接口模型的测试用例进行不同层级的充分性评估,对评佑结果进行归一化处理,得到系统的综合测试充分性。通过案例表明,这种评佑方法能够反映功能的测试充分性,对测试用例的设计和优化有一定指导意义。     

基于可靠性增长模型的软件可靠性增长测试充分性准则

结合软件可靠性增长模型,扩充了基于可信度度量的软件可靠性增长测试充分性问题度量准则,提出了关于可靠性增长测试充分性问题新的度量准则：可靠性测试只有同时满足可靠性增量指标要求、可信度要求和每单位测试资源发现的故障数要求方可终止。然后,以一个真实数据集为例,应用所提出度量准则求出了测试应该停止的时间。实验证明,这样的度量准则,使得终止条件更加严格,可靠性测试更加充分,为可靠性测试充分性问题的解决提供了新的思路。     

Perceptually optimized 3D graphics

The author uses models of visual perception to remove nonperceptible components of a 3D computer graphics scene and optimize the system's performance. He considers how much detail can be removed from the scene without the user noticing, and how much added benefit these optimizations actually bring     

Learning to Be Thoughtless: Social Norms and Individual Computation

This paper extends the literature on the evolution of norms with anagent-based modelcapturing a phenomenon that has been essentially ignored, namely thatindividual thought – orcomputing – is often inversely related to the strength of a social norm.Once a norm isentrenched, we conform thoughtlessly. In this model, agents learn how tobehave (what normto adopt), but – under a strategy I term Best Reply to Adaptive SampleEvidence – they also learnhow much to think about how to behave. How much they are thinking affects howthey behave,which – given how others behave – affects how much they think. Inshort, there is feedbackbetween the social (inter-agent) and internal (intra-agent) dynamics. Inaddition, we generate thestylized facts regarding the spatio-temporal evolution of norms: localconformity, global diversity,and punctuated equilibria.     

谈呼伦贝尔学院计算机专业英语课程教学改革

该篇文章根据伦贝尔学院计算机专业学生的实际情况,针对计算机专业英语这门课程如何开课,如何授课,如何与专业结合,如何更好的达到教学效果这些问题提出了进行改革的必要性,改革的方法,改革的预期结果,改革的展望等问题。     

用Photoshop CS3创造动感美

自然界中的万物都是有生命的,而生命的存在状态各异。如何用摄影作品来表现,值得摄影爱好者们认真思考。为了表现出动感．该文借助于摄影作品的前期拍摄和后期处理相结合的创作手法,通过典型实例,详细介绍了在Photoshop CS3中如何实现“动感十足”的制作,创造动感关。对提高学习计算机科学与技术的应用,解决实际问题,促进摄影艺术发展的现实意义。     

The state of the art of distributed databases

Distributed database is an exciting concept since it combines the functional advantages of an integrated database with the economic advantages of a distributed implementation. However, a potential implementor may well ask how much expensive special purpose software must be produced locally or otherwise added to realise a distributed database or, in other words, how much support for the distributed database concept is currently available from manufacturers or software vendors. This paper outlines the requirements of distributed database systems and attempts to survey the present level of support.     

Power generation and heat sink improvement characteristics of recooling cycle for thermal cracked hydrocarbon fueled scramjet

In order to further investigate how much fuel heat sink could be increased and how much power generation could be obtained by using recooling cycle for a regeneratively cooled scramjet,the energy conversion from heat to electricity and the fuel heat sink increase in recooling cycle are experimentally investigated for fuel conversion rate and components of gas cracked fuel products at different fuel temperatures.The results indicate that the total fuel heat sink(i.e.,physical+chemical+recooling) of a recooli...     

The compleat requirements analyste [requirements analysis]

Recently a requirements analyst told me that be was far too busy to read anything except technical books and articles; after all, isn't that how we improve our skill? But requirements are concerned with much more than technical solutions, and building successful products depends on being able to broadly view the world and the people in it. You can improve your ability to communicate by reading as much as you can about diverse subjects. The author explains how this exogenous attitude enhances our systems requirements skills.     

基于时间特性的流媒体缓存

前缀缓存是用来减少互联网上传输量与响应延迟的技术。在前缀缓存技术中，对所有文件固定每次缓存分配空间大小。该文将根据流媒体缓存机理，提出了节省时间比率的概念来表征流媒体缓存系统的播放保障能力，依据时间特性提出了因码率而异的缓存保存方法，来减少固定大小缓存保存方式带来的时间差异量。     

Apple Macintosh's energy consumption

Much of a portable computer's utility depends on how long it can run off the battery. We measure Apple Macintosh's current power consumption (and how much of that power goes to each system component) using built-in measuring tools     

BP神经网络在水质参数预测中的应用

介绍了如何使用BP神经网络在已经有大量历史数据的基础上来预测未来的水质参数和如何使用函数来实现BP算法来预测未来水质参数的程序。