基于校企合作的软件工程课程体系创新模式(英文)

Through the cooperation of College of Software and IBM Corporation,new technologies and methods are introduced into classroom successively to carry on the innovation of industrialized software education curriculum system.Take the new "data structure and modeling" course for example.This innovation model develops teaching materials and laboratory manuals.It improves students' hands-on ability through business cases training and preferably enhances students' ability to solve problems in the process of analyzing practical situations.This model cultivates students to meet actual demands of enterprises.Besides,supported by Co-Lab,student clubs and innovation units can be set up to compete,practice,and complete final design,achieving "pre-employment" in the training base.The practices of this model have already brought up a plenty of engineering-type,innovation-type and utility-type talents,bringing the continuous rise in the students' employment rate and employment quality.     

基于职业岗位能力的教学案例设计过程研究

案例教学作为一种教学方法,早已广泛应用于医学、工商管理、计算机等各个专业领域中。尤其在计算机领域,案例的选择是否恰当尤为重要,是关系到案例教学是否能取得预期成效的关键因素。本文就审计案例教学中教学案例的设计过程进行了探讨。提出依据变量互补性标准来选择和设计教学案例,引导学生体验实验的过程,完善自身的认知结构,给学生足够的时间,真正实现自主学习。     

软件工程一体化教学模式探讨与实践

软件工程是计算机科学与技术专业的一门专业核心课程,在分析该门课程传统教学过程中存在问题的基础上,提出一种集成"项目驱动+范型对照+案例复现+团队实践"的一体化教学模式。教学实践表明,该模式的实施已取得良好的效果。     

“计算机犯罪现场勘查”课程实验案例教学模式的研究

本文从案例教学的定义、分类和使用原则角度出发,研究"计算机犯罪现场勘查"课程实验教学中如何实施案例教学模式,给出了在本课程实验教学中实施实验案例教学模式的基本要求、思路、使用方法和案例的选择方法等。该模式是快速培养计算机犯罪现场勘查人才,提高学生动手能力的有效方法,是决定培养人才质量的关键。     

基于需求关系的测试用例集优化方法

针对测试用例集存在冗余测试用例的问题,给出基于需求关系的测试用例集优化方法。从需求对应的代码分布出发,按照测试用例覆盖路径定义需求的逻辑关系,借鉴DDGRAPH方法,提出公共路径约减算法,并在此基础上,给出需求-用例调整算法,对需求及其对应的用例集进行优化。实验结果表明,该方法能降低处理的基数,提高用例设计的效率。     

基于层次分析法的测试用例可复用性度量研究

对测试用例的可复用性度量进行研究,构建测试用例可复用性评估模型,通过分析转化得到易于度量的层次分析模型。通过层次分析模型构建权重比较矩阵,再进行相关属性的度量,并可进一步开展自动的测试用例可复用性度量。     

Generating asynchronous test cases from test purposes

Context

Input/output transition system (IOTS) models are commonly used when next input can arrive even before outputs are produced. The interaction between the tester and an implementation under test (IUT) is usually assumed to be synchronous. However, as the IUT can produce outputs at any moment, the tester should be prepared to accept all outputs from the IUT, or else be able to block (refuse) outputs of the implementation. Testing distributed, remote applications under the assumptions that communication is synchronous and actions can be blocked is unrealistic, since synchronous communication for such applications can only be achieved if special protocols are used. In this context, asynchronous tests can be more appropriate, reflecting the underlying test architecture which includes queues.

Objective

In this paper, we investigate the problem of constructing test cases for given test purposes and specification input/output transition systems, when the communication between the tester and the implementation under test is assumed to be asynchronous, performed via multiple queues.

Method

When issuing verdicts, asynchronous tests should take into account a distortion caused by the queues in the observed interactions. First, we investigate how the test purpose can be transformed to account for this distortion when there are a single input queue and a single output queue. Then, we consider a more general problem, when there may be multiple queues.

Results

We propose an algorithm which constructs a sound test case, by transforming the test purpose prior to composing it with the specification without queues.

Conclusion

The proposed algorithm mitigates the state explosion problem which usually occurs when queues are directly involved in the composition. Experimental results confirm the resulting state space reduction.     

高级用例建模在悬挂物管理系统中的应用

悬挂物管理系统（SMS）的管理对象具有复杂性、其交互信息存在多样性。针对该问题,将高级用例建模应用到悬挂物管理系统的需求分析中,建立系统的用例模型。遵循高级用例建模过程框架,介绍高级用例建模的具体实现过程,给出SMS的部分用例图。该用例模型能有效捕获系统的功能需求。     

Wald's mighty maximin: a tutorial

Ever since its appearance on the scene in the 1940s, in the then nascent field of statistical decision theory, Wald's maximin paradigm has played a vital role in many disciplines in the treatment of nonprobabilistic uncertainty, both as a tool of thought and as a practical instrument. In fact, in some fields, such as modern robust optimization, Wald's paradigm dominates the scene. It is important to note that this paradigm's preeminence in many fields continues unabated, despite its obvious limitations and the criticism that had been and continues to be leveled at it. So, in this tutorial we examine the methodological aspects of this stalwart of decision theory from the viewpoint of robust decision‐making, paying special attention to its obvious and not so obvious limitations and to its relation to other maximin paradigms.