代码/需求行为差异检测

为解决软件开发后期（维护/演化）程序代码与需求模型不一致的问题,本文面向逆向需求工程,重点研究检测变更代码与原始需求模型之间行为差异的算法：首先沿用模型/代码转换技术,分析模型/代码比较原理,设计比早期连续型单向串行检测算法快2N倍（N为路径数）的离散型双向并行检测算法。然后采用该算法开发图形化需求/代码比较工具RCCT,并将其集成进综合需求建模系统（RMTS）,使动画建模、特性检测、模型转换、需求/代码差异检测等功能融为一体。最后,通过电子转账案例演示该工具的使用方法,并编写测试程序证明离散型双向并行算法不但比原始算法高效,而且更加可靠。     

飞轮通用测试软件平台的设计与实现

针对原有飞轮测试设备复用性差、维护成本高、难以保证多套产品同步自动测试的问题,设计开发了针对多型号飞轮的通用自动化测试系统;通过深入分析,提炼出多个产品在测试过程中功能的一致性和接口的差异性,采用分层架构、抽象工厂的设计模式以及配置文件的方法,解决了测试软件的通用性问题;提出了基于测试流程表的自动测试解决方案,能够适应多种测试流程的要求,扩展性强;采用混合多线程并行处理架构,解决了资源冲突,完善了多台飞轮的并行测试;该测试软件已在多型号飞轮的批产任务中使用,稳定可靠、适应性强,提高了设备使用率三倍以上,大大提升了飞轮批产测试效率。     

一个基于两区间八边形约束的抽象域

抽象解释静态程序分析技术用来发现运行时错误,保证程序正确性,已经被成功应用到工业界。抽象域是抽象解释理论中的一个重要方面,然而大部分已存在的数值抽象域无法表示程序的非凸性质,抽象域的这种凸性限制很多时候会影响数值分析的精度,甚至带来更多误报。基于两区间八边形约束,提出了一个新的数值抽象域,其约束形式为x±y∈[a,b]∪[c,d],其中x和y表示变量取值,a,b,c,d∈R。该抽象域的域元素是用两区间八边形约束表示,因此可以表达某类非凸性质,表达能力强于经典的八边形抽象域,并且相对于八边形抽象域,域操作的计算复杂度并没有提高太多。     

数据库应用程序执行过程抽象

本文对数据库应用的执行流程进行了一个抽象,指出数据库应用流程通常都具有的几个步骤,从而使数据库应用程序的开发过程中可以更加有效的进行设计和实现。     

模拟自然形态的儿童包装设计

面对儿童包装市场呈现千篇一律使用卡通形象这一现象,本文提出运用模拟自然形态这一新的设计手法在儿童包装设计的外部造型以及内部结构封面。     

基于COM的嵌入式系统通用硬件抽象层框架设计

随着嵌入式系统的飞速发展,各种嵌入式处理器以及片上系统(System on Chip,SoC)应用于各种设备,从传感器、手机、PDA等到笔记本电脑.嵌入式系统的广泛应用促进了嵌入式软件,特别是嵌入式操作系统的发展,但嵌入式系统硬件体系结构的多样性又给嵌入式软件、嵌入式操作系统的开发、维护带来了极大的不便.文中针对硬件平台依赖性制约嵌入式操作系统发展问题,提出了一种应用COM技术开发的硬件抽象层设计,实现嵌入式操作系统跨硬件平台移植.     

OMR抽象模型

在计算机领域反映现实世界中的事物,离不开有效模型的支持。这个模型一方面是现实世界中具体事物的抽象,另一方面又便于计算机实现。提出的OMR模型反映了现实世界的运行规律,用对象、消息和关系三要素对现实事物进行抽象和描述,是辅助计算机实现的有效工具。为了从形式化和数学化的角度描述OMR模型,又探讨了对象内Petri网和对象间Petri网,从而使OMR模型进一步丰满。     

一种证明程序正确性的方法

介绍一种证明程序正确性的方法,并和Floyed_Hoare公理学方法作了一些比较.为了形象的描述该方法,建立了一个抽象模型及一个程序实例,然后相对于这一模型并结合程序,给出了程序正确性的定义及其证明方法.     

黑格尔在汉普顿：克利福德·罗斯关于摄影与世界的冥想

＂静止＂的飓风、＂凝固＂的流动,这些在现实生活中无法实现的体验通过摄影技术成为可能,艺术家通过《飓风》这样的作品将不可视的真实转向可视的抽象。作者将罗斯的摄影作品与黑格尔的逻辑对照起来看,发现虽然摄影的本意是描述我们周围的世界,但它却具有倾向于抽象的本质。     

聚焦关注区域的网络模拟方法

为降低大规模网络模拟的计算开销并保证模拟的真实性,提出了一种聚焦关注区域的网络模拟方法.该方法将所要模拟的网络拓扑分为关注区域及非关注区域2个部分,并对关注区域采用离散事件模拟技术以保证真实性,对非关注区域采用"拓扑-流量"联合抽象模拟技术以降低计算开销.分析了"拓扑-流量"联合抽象模拟技术的模拟真实性.基于NS2的实验结果表明,当聚焦系数为4时,相对于传统的网络模拟技术,该方法能降低模拟计算开销85%以上,而关注区域模拟结果的平均误差在2%左右.