基于Session的Web应用软件EFSM模型构建方法研究

在Web应用软件模型表示研究领域中,研究对象主要为不含Ajax技术的应用程序。少数针对Ajax(Asynchronous JavaScript and XML)的模型构建采用传统的FSM模型表示方法,并不能描述客户端消息触发后的参数传递问题;在FSM模型的基础上引入UML分层模型的表示方法因需要人工干预,不利于测试用例的自动生成。针对上述问题,借鉴EFSM模型这一重要的软件描述模型,从用户的Session数据出发,通过日志数据分析用户的行为,并 记录客户端的操作事件。通过对用户行为和客户端操作事件进行匹配,生成完整的用户会话,从而建立EFSM模型。实验结果表明,该EFSM模型能够有效地表示Web应用程序的状态以及状态的变化情况,并可以有效地为测试用例自动生成服务。     

PIND波形尖峰数与多余物特性关系的研究

分析了粒子碰撞噪声检测(PIND)中多余物碰撞的动量损失过程,得到多余物碰撞次数或波形中尖峰数分布按概率与碰撞的弹性程度正相关的推测。制作试验样品并进行PIND试验,对采集的波形按尖峰数进行分类对比,结果表明,在一定的样本空间下,抵消掉多余物运动方向、碰撞角度等随机因素后,推测成立,且不受多余物质量、管壳腔内薄壁结构等因素的影响;同时得出硬度高且不易变形多余物的τ值高于硬度低或易变形多余物τ值的规律,据此可通过波形分析评估多余物的特性。     

基于使用场景的时间扩展EFSM建模与完整性验证

为了提高嵌入式实时系统软件的质量和可靠性,采用基于模型的软件测试方法是最有效的途径之一.但是,由于该类软件具有实时特性且十分复杂,一般的模型通常缺乏对其实时特性以及软件行为的描述,且需要丰富的专业领域知识才能将其建立的较为精确完整,导致建模的难度和成本增加,难以保证测试的充分性和有效性.使用场景是用户与软件之间的交互实例,详细描述了软件的系统行为而不关注其内部的复杂结构.因此,为了降低建模的难度,本文基于使用场景的规范化表示Scene来构建模型,并使用时间扩展EFSM模型来描述该类软件的实时特性;为了保证所建模型的完整性,本文设计了模型完整性评估准则,通过验证模型迁移中约束条件的完整性来确定模型是否完整的表征了系统的行为;针对不完整的模型,根据约束条件设计了待补全迁移生成策略生成待补全迁移,并通过动态模拟模型的可行迁移序列执行过程将其补全到模型中,以提高模型的完整性.最后,本文针对4个嵌入式实时系统软件构建时间扩展EFSM模型并进行了一系列的实验.实验表明,本文提出的方法不仅有效的构建了模型,而且能够将生成的待补全迁移有效补全到模型中,进一步提高了模型的完整性.     

基于多源信息融合的API知识图谱构建

API相关的知识通常分散隐含在多个信息源,如API参考文档、问答网站等非结构化的文本中,不利于API的查询与检索.为此,提出一种多源信息融合的API知识图谱构建方法,以提高API检索的效率.API参考文档从设计者角度描述了API的功能和结构,Stack Overflow问答网站从用户角度提供了API的使用目的及应用场景,二者互为补充,可共同为API查询与检索提供支持.通过分析API参考文档,抽取API和领域概念作为实体,构建API和领域概念之间的关联关系;利用Stack Overflow问答网站,抽取问答QA和API概念作为实体,构建问答QA和API概念之间的关联关系.在此基础上,将二者进行知识融合,构建多源API知识图谱,以实现基于知识图谱的API推荐.为验证本文方法,分别从知识抽取的准确性和推荐应用两方面对本文构建API知识图谱的有效性进行评估.实验结果表明,基于知识图谱的API推荐,在推荐效果及效率上均有提升.     

多次烧结和清洗对压焊工艺的影响

设计了一种应用于光电器件的多梯度烧结、多次清洗的微组装工艺.采用共晶焊将各芯片、元器件烧结到基板上,再将基板烧结到相应管腔内.同时,通过压焊工艺进行芯片与厚膜电路导带的互联.设计了相关工艺步骤,论证了多次烧结、清洗对压焊效果的影响.实验数据表明,采用所设计的工艺制作的样品在经历多次烧结、清洗步骤后,在压焊方面具有高的可靠性,为器件的后续制作奠定了良好的基础.     

基于实践能力培养的《Java程序设计》教学改革探讨

实践能力培养是我国高等教育的一个基本目标。在Java课程教学中,为了增强学生的实践能力,在分析现有问题的基础上,从教学内容设置、实验环境搭建、自学能力培养和考核方式改革等方面探讨了相应的教学改革措施。     

一种基于双约束传播的面向路径自动随机测试方法

随机测试是一种常用的软件测试自动化方法。该方法随机地从程序输入域中选取测试输入,其自动测试实现容易。但随机地从输入域中选取满足某种测试准则的输入数据,测试生成效率较低。为此提出了一种基于双约束传播的面向路径自动随机测试方法,通过对输入变量的取值范围进行切分,执行两次约束传播来求取指定路径的输入域,在此基础上开发了一个自动随机测试生成系统,并与PRT方法进行了实验对比分析。结果表明,该方法计算出的路径输入域更加精确,可有效地减少对无效域的测试生成,提高了随机测试的效率。     

一种二叉树结构型测试数据自动生成方法

目前关于软件测试数据自动生成的研究主要集中于数值和字符串型数据,对于指针和动态数据结构的测试生成研究较少.二叉树是一种广泛使用并具有代表性的动态数据结构,文中提出一种针对二叉树结构的测试数据自动生成方法,使用遗传搜索算法生成二叉树形态,同时利用约束求解确定其数据域的值.实验结果表明,该方法是行之有效的,其测试生成效果明显优于随机生成方法.     

基于Hough变换圆检测的人眼精确定位方法

眼睛定位是人脸识别的非常重要的一个环节,后续的图像几何归一化、图像矫正和特征提取都依赖于眼睛的位置。论文提出一种人眼快速定位的新方法。首先用积分投影法检测到眼睛瞳孔的大致位置;然后用Sobel边缘检测算子提取图像边缘信息;再利用基于圆的Hough变换快速定位出人眼,实验证明了该方法的有效性。     

Web应用前后端融合的分布式并行演化测试生成

综合考虑客户端和服务器的Web应用演化测试生成方法,能更有效地测试Web应用程序,提高其质量和安全性.然而,客户端的测试用例涉及了与浏览器的交互,这减慢了测试效率。此外,进化过程中种群多样性的下降容易导致测试生成效率低、测试生成效果不佳的问题.为此,将分布式并行策略引入到前后端融合的Web应用测试用例演化生成中,在算法...