一种针对交互式软件的测试用例生成模型研究与实现

测试用例的自动生成是软件测试的一个重要方面，测试用例生成的复杂度与质量直接影响测试的效率和覆盖面，已有的针对软件功能测试的自动测试理论和方法在针对CAD和图像处理这类人机交互复杂、系统状态繁多的系统时，因复杂度大或者测试效率较低而难以在实际中应用．本文提出的一种针对复杂人机交互软件的测试模型一基于功能对象的测试用例生成模型，将用户使用被测试系统的操作流程看成是若干个处理过程的组合，采用面向对象的思想将用户的操作流程进行分解和封装，构建出用以生成测试流程的功能对象，并依照一定约束条件对功能对象的实例进行重组，派生出测试用例．本文提出的测试用例生成模型，已在三维数字化设计系统的专用测试平台CADTesting中成功实现，实践证明，该模型与现有的一些模型相比，实现复杂度低且测试用例的质量较高．     

表情特征区域归一化误差分析及矫正

几何归一化处理对于表情特征信息的有效提取具有重要意义,常用的归一化方法由于选择的基准特征在表情变化时存在不稳定性,容易造成归一化后的结果存在误差.本文结合光流特征提取方法分析了归一化误差对表情特征提取的严重影响,并提出了加权优化匹配算法进行误差的矫正.算法以传统模板匹配原理为基础,根据各像素点的运动剧烈程度分配相应的匹配权值.实验证明,误差得到了有效的矫正,提取的表情特征信息更加真实.     

工程更改管理的设计与实现

论述了实现工程更改管理对企业实现全面质量管理和提高设计能力的意义和作用;分析工工程更改管理的业务需求,并给出了软件的功能要求,提出了通用的工程更改管理的对象模型,并用形式化方法论证了工程更改过程中,如何保证产品数据的完整性、一致性和可跟踪性;进一步讨论了在CIMS集成系统中与实现工程更改相关的关键技术和实现策略;最后,引入扩展标记语言来描述通用的工程更改文档,并给出了基于XML的工程更改文档类型定义方案。     

基于边界表示的体抽壳算法

形体的抽壳是构造具有薄壁外壳形状物体的一种有效方法.文章基于边界表示的正则形体,给出体抽壳运算的数学定义,并提出实现体抽壳运算的算法.该算法把形体的三维运算转化到曲面的参数域上,进行二维环之间的合并运算,从而降低了问题的复杂度.     

基于SolidWorks的设备库的研究和实现

改进了文献［2］中提出的一种由软件的UML模型转换得到软件的Markov链使用模型的方法。采用Java语言实现了一个从软件的UML模型获得软件使用模型的工具。     

基于SolidWorks的三次开发方法研究

详细探讨了如何于SolidWorks二次开发完成后,在不改动程序的前提下,为用户提供良好的三次开发接口,并实现对产品库和零件库的修改和升级。此方法有效延长了二次开发软件的生命周期,使软件得到最大程度的利用,对CAD软件的企业级应用具有十分重要的意义。     

软件测试准则的有效性度量研究

测试准则的有效性是软件质量保障的一个重要问题,但至今仍没有一个有效的度量方法．已有的度量对于全面表示测试效果、提高软件质量的作用非常有限．潜在失效距离（pfd）将测试准则对软件的测试有效性视为以规范、程序、缺陷类型和测试准则为自变量的函数,从软件和测试准则交互的角度来度量测试的有效性．与已有的度量相比较,该度量反映了软件经过满足测试准则的充分测试后获得的可靠性,为比较测试准则的测试效果提供了可行的方法,为设计更易测试的软件提供了指标．     

用着色Petri网建模工作流模式

工作流模式指在工作流过程模型中反复出现的过程基本构造,是衡量工作流建模语言在控制流方面的表达能力和适用性的重要标准,目前市场上的工作流引擎对其支持得并不好。本文重点阐述了基于着色Petri网的工作流建模语言对当前流行的20种工作流模式的支持情况。结果表明,该语言不仅能很好地支持全部模式,而且具有建模简洁、准确的特点。同其它建模语言相比,用着色Petri网建模工作流模式具有较好的灵活性和扩展性。它也为如何使基于着色Petri网的工作流引擎能够正确、有效地支持全部20种工作流模式提供了有意义的指导。     

软件先验知识和基于测试的可靠性评估关系研究

软件测试能够为软件可靠性提供一种运行前评估．为减少达到一定可靠性目标所需要的测试用例的数量，普遍认为可以将软件的先验知识综合到基于测试的可靠性估计模型中．目前已经提出几种理论模型但是少有试验验证．本文对测试系统的定义进行了扩展，从规范、实现和测试之间的关系，研究了影响软件测试有效性的因素，并通过试验验证了基于贝塔分布模型的先验知识和基于PAC模型的先验知识在可靠性估计中的作用．本文的结论认为是软件的易测性特征而不是先验知识的多少决定了达到一定可靠性目标所需的测试用例数量．该结论有助于理解软件设计对于测试有效性的影响．     

电气原理图的自动识别

本文给出了一种识别通用CAD软件绘制的电气原理图的方法。该方法先根据电气符号的几何特征将其从图纸中提取出来并使用含两级属性的属性图表示,然后采用过滤图模式库和Ullman算法相结合的方法识别电气符号,最后提取图纸中各种文字标注和电气符号的连接关系。实验证明,该方法能够准确地识别电气原理图。