“再用式”软件开发方法

笔者根据当前软件开发的现状,提出了一种在保证当前开发质量及效率的前提下,还能让以后的软件开发人员重用已开发软件资源的“再用式”软件开发方法.该方法结合了面向对象及快速原型法的优点:针对软件开发中的需术多变性,用快速原型法进行需求分析,在后续的开发中,以面向对象为基础,用各种“级别”不同的可重用软部件组装系统,在对软部件不断的创建(只在没有所需部件时才创建)、重用及组合中完成系统的开发.这种方法可以有效地提高软件的整体开发效率.文中最后对该方法的进一步研究方向进行了探讨.     

GIS数字化数据的平差模型及软件实现

从研究地图数字化中规则地物的几何约束条件出发,进一步探讨了数字化数据的平差模型和条件平差迭代计算方法,给出了其相应的精度评定指标,并在研制的1套实用数字化软件中实现．计算表明,对数字化数据进行平差处理和选代计算,对提高数字化的精度十分必要,而且由平差计算得到的中误差可以作为评定数字化结果的精度的1个参考目标,从而对GIS空间数据质量进行有效的评定和控制     

从电气联锁到计算机联锁

随着科学技术的进步,电气联锁系统正被计算机联锁系统所取代．本文讨论了在计算机联锁系统中联锁功能的某些改善和联锁软件的设计思路．     

暖通CAD信息流分析和公用数据库的研究

分析了暖通ＣＡＤ信息流的特点,提出了交互式,集成化,智能化暖通ＣＡＤ的开发构想,同时从暖通设计过程的信息流入手,开发了基于图形用户界面思想的公用数据库及其管理繁育 及基于谐波反应法的负荷计算软件。     

一种多敏感空指针引用错误的静态检测方法

空指针引用错误是一种常见的、难以发现和避免的程序错误。针对该错误,结合传统静态分析方法和符号执行方法,提出一种过程内流敏感、路径敏感和过程间上下文敏感的多敏感静态分析方法。对全局指针、局部指针以及函数的指针类参数进行建模,对指针指向地址进行简化分类。在函数间传递指针的指向状态,在函数内遍历路径,使用约束求解的方式判定路径可达性,当函数分析结束后,在退出点进行指针状态信息合并,以减少漏报和误报。在此基础上,使用人工标注错误触发条件的方式进一步提高分析效率,减少漏报和误报。实验证明,该方法能够高效地检测出各类空指针引用错误。     

基于分组的并行程序多路径覆盖测试数据进化生成

尽管并行软件测试已经得到软件工程界的广泛关注,但是,如何高效生成覆盖并行软件多条路径的测试数据,相关的研究还比较少。本文研究消息传递并行程序多路径覆盖测试数据生成问题,并提出基于分组的测试数据进化生成方法。首先根据并行程序包含的进程数、可用的计算资源以及路径相似度,将目标路径分成若干组,并基于每组目标路径,建立多路径覆盖测试数据生成问题的数学模型;然后采用多种群并行遗传算法求解上述模型,使得一次运行遗传算法,生成覆盖所有目标路径的测试数据。性能分析表明,所提出的目标路径分组方法不但能够保证不同组包含的目标路径相差很少,而且同一组的目标路径之间具有很大的相似度。将所提方法应用于4个基准程序的测试中,并与已有方法比较,结果表明,所提方法在保证路径覆盖率的前提下,可大大缩减个体评价次数和耗时。     

Factsage计算MgO含量对高炉渣粘度的影响

利用Factsage软件研究不同温度下,MgO含量对高炉渣粘度的影响,并对MgO的影响机理做了讨论与研究。结果表明：在较低温度下,随着MgO含量在一定范围内提高会导致炉渣粘度升高;在较高温度下,随着MgO含量在一定范围内提高会导致炉渣粘度降低。     

基于Mimics平台的CT图像三维重建算法研究

为充分挖掘CT图像中的医学诊断信息, 提高CT图像的三维重建效果与可视化程度, 研究了基于Mimics平台的CT图像三维重建算法。将腹部16排螺旋CT图像导入Mimics系统, 利用系统图像分割、 蒙版编辑和区域增长等功能模块, 将脾脏器官由腹部CT切片图像中完整分离出来, 并可进行任意角度的放大, 缩小等操作。与传统方法相比, 其实现的对人体器官、 骨骼和组织的CT图像的三维重建与可视化处理结果, 更加接近于真实器官的生理解剖结构。     

基于单片机应用系统的多任务程序结构设计

对于多任务共享一个CPU的单片机应用系统来说,程序员在为其编写程序时都会面临系统实时性和多任务的挑战,确保每个任务都得到及时响应和处理,对于每一个单片机应用系统都是非常重要的,也是每一位程序员追求的主要目标之一。而影响程序实时性的最主要因素就是程序的结构,在分析了一些多任务调度机制特点的基础上,在平衡多任务和实时性方面做了一些探索,构造了一种基于前后台系统的单片机应用程序结构,经过实验证明,具有较强的实用性和较好的实时性。     

基于栈行为动态胎记的软件抄袭检测方法

软件抄袭检测是软件知识产权保护的关键技术之一。提出了一种新的软件胎记——栈行为动态胎记(stack operation dynamic birthmark,SODB),根据软件在执行过程中函数调用栈的入栈和出栈行为,生成栈深度变化序列标识软件;通过计算不同软件在相同输入条件下栈行为动态胎记的相似性,评估软件功能和执行过程的相似度,判断软件是否存在抄袭。实验中对14种35个版本的开源软件,利用不同编译器、编译条件和混淆工具进行处理,共生成了87个实验样本。试验结果表明本方法可以在缺少源代码情况下,准确识别出存在抄袭的软件,误判率和漏判率仅为6.7%和7%。