教学课程资源库 更多>>

关键词： Web服务   性能分析   形式化方法  

摘要： Web服务组合是若干子服务按照一定的业务流程构成的复合服务。为了保证这个复合服务能够达到客户的预期目标,在将其正式投入运行之前,需要对其进行结构验证和性能分析。基于数学的形式化方法是对Web服务组合进行性能分析的一种有效途径。本文介绍了几种常用的形式化方法。

关键词： 软件工程专业   校企合作办学   实践教学   教学改革  

摘要： 校外实践教学是软件工程专业本科教育重要的环节。通过校外实践教学可使学生综合理解并应用所学的专业知识,完成一些与实际应用相结合的软件项目的设计与开发,以提高软件工程综合业务能力,提升学生专业素养,开阔学生视野,使学生更好地了解职业发展技能需求。本文总结了近几年来在软件工程专业校企合作办学校外基地实践教学方面的实践,针对当前实践教学中出现的一些问题进行了分析、研究,并提出了教学改革的对策和建议。

关键词： 电路综合   形式化方法   可满足性求解   不可满足子式  

摘要： 解释布尔公式不可满足的原因在很多领域都具有实际的应用需求,而最小不可满足子式能够为诸如电路的自动综合等应用领域中的不可满足原因提供最精确的解释。因此,将两种能够高效求解最小不可满足子式的算法——分支-限界算法与贪心遗传算法,集成到解码电路的自动综合工具中。采用通信领域的标准编码电路作为测试集,将两种算法进行对比。实验结果表明,在运行时间与每秒剔除的短句数方面,贪心遗传算法优于分支-限界算法;不可满足子式在解码电路的自动综合过程中发挥重要作用。

关键词： UML   贫困生管理   系统设计   需求分析  

摘要： 需求分析在软件系统开发中的作用举足轻重,只有确定了用户的需求才能开发出符合用户需要的系统。UML建模技术在需求分析过程中作用非常明显,能有效地解决软件开发人员与客户的交流问题。本文以江门职业技术学院贫困生管理系统为例,运用UML建模技术中的用例图对该系统进行用例建模,用面向对象的方法设计贫困生系统的功能模块,完成系统的初步设计。

关键词： 软件工程   数据挖掘技术   软件开发  

摘要： 计算机软件规模不断扩大,想要完全通过手工方式实现软件开发、维护与获取信息,具有非常大的难度。为全面满足实际发展需求,需要对软件开发方式进行更新,例如数据挖掘技术的应用,可以有效提高软件开发的速度,并且能够有效的在软件工程众多数据中自动寻找所需数据。文章对数据挖掘技术进行了简要分析,并对其在软件工程中的应用方式进行了简单探讨。

关键词： Test case generation   Formal specification   Specification-based testing   Object orientation   Object-Z  

摘要： Context: The nature of the object-oriented development process is iterative and incremental, and through this process, software artifacts are refined and evolved continuously;however, most of proposed methods for deriving test cases from formal, object-oriented specifications have been adapted from previous structural techniques and are not aligned with such an incremental process. These methods are not adaptive with changes in the software specification, and there is no mechanism to evolve test artifacts respectively. Moreover, the existing methods do not cover all different object-oriented testing levels, i.e., intra-method, inter-method, intra-class and inter-class levels. Objective: This paper presents an incremental method for extracting tests from formal, object-oriented specifications. Extracted tests are adaptive with changes in the class specification. In addition, the proposed method covers all different object-oriented testing levels. Method: We first make a test machine (as a new notion introduced in this paper) for each class operation to cover the intra-method test level. With the combination of these test machines, new test machines covering the inter-method and intra-class test levels can be made. Extracted tests can be easily modified when the class specification is modified, and, in this way, our approach enables iterative and incremental test derivation. With test machines corresponding to a class hierarchy, this approach can also be used for deriving inter-class tests. Results: As a case study, we applied our method to the specification of a computer game. Results indicate that test machines can incrementally be extracted through a class hierarchy, and a parent test machine can be used to obtain its corresponding child test machines (by reusing test artifacts). Furthermore, by running extracted test cases on the implemented game, we discovered some real bugs. Conclusion: The proposed approach can incrementally extract tests and bring extendibilit

关键词： UML建模   分析建模   描述和构建  

摘要： 论文简要介绍了UML(Unified Modeling Language)标准建模语言的特点,UML建模语言的静态建模机制和动态建模机制及其使用方法,并运用UML的建模机制和方法对餐饮管理信息系统进行了分析建模。

关键词： UML   用例   模型   银行管理系统  

摘要： 本文简单介绍了UML的基本建模方法,通过分析银行管理系统,结合软件工程面向对象的分析方法与开发技术,基于UML设计了系统的用例模型、静态模型、动态模型以及部署模型,使得系统开发人员根据建立起来的模型进行编码,降低了系统的开发成本,减小了系统的开发风险,从而为系统的顺利开发与正确实施提供了保证。

关键词： 软件工程   实践教学体系   CDIO  

摘要： 实践教学是学生理论联系实际最直接、最有效的环节,是教学工作非常重要和不可缺少的部分。结合我院软件工程卓越计划专业教学的实际,按照CDIO国际化工程师人才培养的需求目标框架,以"软件工程过程"为核心,以"软件工程方法、工具和应用能力"主线,在制定人才培养方案和完善课程教学大纲的基础上,对该专业实践教学体系的构建进行了一些思考和研究。

关键词： 用例图   企业网站建模  

摘要： 在"互联网+"时代,企业网站是企业在互联网上的"门面",它具有树立企业形象,提高企业竞争力、展示企业产品及企业优势等战略意义。而作为网站建设需求分析人员,掌握一套科学、合理、高效的需求建模方法,有利于提高网站需求分析的效率与效果。本文以企业网站系统为载体,详细论述了基于UML用例图的需求建模过程,并形成企业网站系统需求用例模型。