案例教学法在《计算机基础》教学中的应用研究

随着时代的发展,科技信息的进步对人才的所具备的信息处理的能力提出了很高的要求,计算机基础课程在各类院校都是一门非常重要的公共基础课程,为了更好的让学生掌握好这门课程,计算机教学方法是非常有必要创新的,本文主要介绍案例教学法在计算机基础教学中的优势及其存在的问题等进行研究.     

案例与项目相结合的教学模式研究

传统教学模式已不能满足社会对人才的需求,为了提高学生的学习兴趣及课堂教学效果,引入案例与项目相结合的教学模式。在模式实施中,要加强企业工程师与校内教师充分的合作与交流,并将学生融入项目实践中去。从建设案例库、案例实施、项目引入等几方面提出案例驱动与项目相结合的教学模式。在理论教学中引入提取出的案例,实践环节中引入项目的设置。     

一个基于事例推理的可视化智能映射系统

可视化映射是可视化技术的核心。本文分析了可视化映射的特点,提出了一种基于事例推理的可视化智能映射方法并建立了相应的系统结构。在集成人工神经网络与模糊认知图的基础上,详细讨论了可视化映射事例的表示、索引模式、事例的匹配以及最佳事例的选择等关键问题。最后,通过一个应用实例叙述了系统的工作过程。     

Selecting a Cost-Effective Test Case Prioritization Technique

Regression testing is an expensive testing process used to validate modified software and detect whether new faults have been introduced into previously tested code. To reduce the cost of regression testing, software testers may prioritize their test cases so that those which are more important, by some measure, are run earlier in the regression testing process. One goal of prioritization is to increase a test suite's rate of fault detection. Previous empirical studies have shown that several prioritization techniques can significantly improve rate of fault detection, but these studies have also shown that the effectiveness of these techniques varies considerably across various attributes of the program, test suites, and modifications being considered. This variation makes it difficult for a practitioner to choose an appropriate prioritization technique for a given testing scenario. To address this problem, we analyze the fault detection rates that result from applying several different prioritization techniques to several programs and modified versions. The results of our analyses provide insights into which types of prioritization techniques are and are not appropriate under specific testing scenarios, and the conditions under which they are or are not appropriate. Our analysis approach can also be used by other researchers or practitioners to determine the prioritization techniques appropriate to other workloads.     

Model-based testing for real

Model-based testing relies on abstract behavior models for test case generation. These models are abstractions, i.e., simplifications. For deterministic reactive systems, test cases are sequences of input and expected output. To bridge the different levels of abstraction, input must be concretized before being applied to the system under test. The systems output must then be abstracted before being compared to the output of the model.The concepts are discussed along the lines of a feasibility study, an inhouse smart card case study. We describe the modeling concepts of the CASE tool AutoFocus and an approach to model-based test case generation that is based on symbolic execution with Constraint Logic Programming.Different search strategies and algorithms for test case generation are discussed. Besides validating the model itself, generated test cases were used to verify the actual hardware with respect to these traces.     

无线短程网应用与实践

通过两个应用案例(无线路灯控制系统、工厂变送器数据采集系统)的技术分析,介绍了无线短程网的应用与实践,分析了在研制与实施无线短程网项目过程中遇到的各种问题,提出了对这些问题的解决办法.     

高职校院网络数据库SQL Server课程教学探讨

SQL Server 2000是当今深受欢迎的关系数据库管理系统,是一个杰出的数据库平台。结合高职院校的办学目的以及SQLServer 2000课程特色,针对性地提出了模块化与案例驱动相结合的教学方法,对其进行了详细的分析与举例,有着积极的现实意义。     

软件测试入门浅谈

文中结合自己软件测试入门阶段的体会介绍了识别测试需求、设计测试用例和执行测试用例,其中识别测试需求重点介绍主动获取需求、确认需求的优先级两方面,设计测试用例着重介绍了测试用例的基本格式、加强测试用例的评审和定义测试用例的执行顺序,执行测试用例主要介绍搭建软件测试环境,执行测试用例和更新测试用例几个方面。     

数字签名技术在公安案件管理中的应用

案件在办理过程中,从一个阶段转到下一个阶段都需要经过所长和局长的二级审批,通过群签名、代理签名和多重签名,实现了案件的办案信息和审批信息的安全性、完整性、不可否认性和可识别性,保障了公安系统网上办案的顺利进行。     

基于数据流准则的测试用例生成方法

针对基于控制流的测试充分性准则易错失面向对象程序中的状态依赖关系,提出一种基于数据流准则的测试用例自动生成方法。通过数据流分析获取待覆盖的目标定义使用对,利用遗传算法自动生成覆盖定义使用对的测试用例,根据适应度函数指导测试用例的进化。将该方法与基于分支覆盖和语句覆盖的方法相比较。实验结果表明, 与其他方法相比,该方法可以检测出更多的变异体,适应度函数的设计降低了进化代数。