教学课程资源库 更多>>

关键词： 软件测试   关键技术   软件项目开发  

摘要： 在整个软件项目开发过程中软件测试有着非常重要的地位,测试技术的发展对于缩短测试周期、降低成本、提高质量都有着十分重要的意义。本文介绍了软件测试的关键技术,并对面向对象软件测试技术进行了深入研究。

关键词： 在线考试   UML建模   MVC模式   JSP技术   Oracle数据库  

摘要： 基于B/S架构、采用MVC模式和JSP+Oracle数据库技术技术,设计并实现了在线考试系统.该系统具有在线考试和模拟测试、随机生成试卷及自动判卷等功能,保证了考试的公平性和试题的安全性,降低了教师出卷、组卷和改卷的工作量及人工阅卷的出错率,提高了教师的工作效率,实现了考试的网络化、无纸化和标准化.

关键词： 可重构   路由器体系结构   虚拟化  

摘要： 针对现有网络设备在支持可重构和多网络体制并存方面存在的不足,提出了一种面向多网络体制并存的开放式可重构路由器体系结构。通过在控制、转发和交换体系结构设计上,采用虚拟化和硬件分区配置技术,能够对控制、转发和交换进行资源划分与隔离,将路由器中同一个硬件资源虚拟化为多个功能上独立、资源上隔绝的逻辑路由器实例,提高了核心路由器设备的开放性和安全性。

关键词： 高职高专   两级排课   UML建模  

摘要： 本文以高职高专院校为背景,结合高职高专多校区开展教学、实习实训项目多、强调理实一体化教学的特点,进行了两级排课系统的需求分析,并进行了流程规划。在此基础上,利用UML建立了两级排课系统的主要静态模型和动态模型,并利用UML进行了数据库建模。

关键词： 用例模型   Z语言   形式化方法   描述   UML  

摘要： 以UML用例模型为主要研究对象,通过对UML用例模型概念和Z抽象符号的分析,采用Z形式化语言对用例模型建模元素的抽象语法和语义进行形式化的描述,提出了用例模型到Z形式语言的映射规约,并建立了UML用例模型图到Z形式规约的映射与转换机制。

关键词： ODP viewpoints   Consistency   Behavioural and state based specification   Refinement  

摘要： Questions asked by research into ODP viewpoint consistency led to fundamental questions in refinement and contributed greatly to insights and interest in Integrated Formal Methods;research in those areas is still ongoing, while the answers provided remain largely unincorporated into model driven development. In this paper we survey some of the work done on consistency checking for multiple viewpoints, and subsequent work on generalised notions of refinement, which in turn led to work on integrations of state-based and behavioural formal methods. (C) 2011 Elsevier B.V. All rights reserved.

关键词： Bayesian   elicitation   beliefs   expert opinion   feasibility  

摘要： To quantify uncertainty in a formal manner, statisticians play a vital role in identifying a prior distribution for a Bayesian-designed clinical trial. However, when expert beliefs are to be used to form the prior, the literature is sparse on how feasible and how reliable it is to elicit beliefs from experts. For late-stage clinical trials, high importance is placed on reliability;however, feasibility may be equally important in early-stage *** article describes a case study to assess how feasible it is to conduct an elicitation session in a structured manner and to form a probability distribution that would be used in a hypothetical early-stage trial. The case study revealed that by using a structured approach to planning, training and conduct, it is feasible to elicit expert beliefs and form a probability distribution in a timely manner. We argue that by further increasing the published accounts of elicitation of expert beliefs in drug development, there will be increased confidence in the feasibility of conducting elicitation sessions. Furthermore, this will lead to wider dissemination of the pertinent issues on how to quantify uncertainty to both practicing statisticians and others involved with designing trials in a Bayesian manner. Copyright (c) 2013 John Wiley & Sons, Ltd.

关键词： Model-driven software engineering   Software product line engineering   Software configuration management   Feature models   Executable models   Model transformation   Code generation  

摘要： Context: Software Configuration Management (SCM) is the discipline of controlling the evolution of large and complex software systems. Over the years many different SCM systems sharing similar concepts have been implemented from scratch. Since these concepts usually are hard-wired into the respective program code, reuse is hardly possible. Objective: Our objective is to create a model-driven product line for SCM systems. By explicitly describing the different concepts using models, reuse can be performed on the modeling level. Since models are executable, the need for manual programming is eliminated. Furthermore, by providing a library of loosely coupled modules, we intend to support flexible composition of SCM systems. Method: We developed a method and a tool set for model-driven software product line engineering which we applied to the SCM domain. For domain analysis, we applied the FORM method, resulting in a layered feature model for SCM systems. Furthermore, we developed an executable object-oriented domain model which was annotated with features from the feature model. A specific SCM system is configured by selecting features from the feature model and elements of the domain model realizing these features. Results: Due to the orthogonality of both feature model and domain model, a very large number of SCM systems may be configured. We tested our approach by creating instances of the product line which mimic wide-spread systems such as CVS, GIT, Mercurial, and Subversion. Conclusion: The experiences gained from this project demonstrate the feasibility of our approach to model-driven software product line engineering. Furthermore, our work advances the state of the art in the domain of SCM systems since it support the modular composition of SCM systems at the model rather than the code level. (C) 2012 Elsevier B.V. All rights reserved.

关键词： sepsis   acute kidney injury   hemofiltration   SIRS   septic shock   sepsis   membranes   ICU   dialysis   adsorption   sorbents   review  

摘要： In recent years, after all the attention has been focused on the dose for continuous renal replacement therapy (CRRT) in sepsis and systemic inflammation response syndrome (SIRS), the relatively negative results of all those studies did urge our expectations on new approaches regarding CRRT in sepsis and SIRS. So far, after the failure of the major randomized studies on dose, attention is now drawn to new membranes that could better eliminate massive amounts of unbound mediators in wider spectrum and also in greater magnitude Nevertheless, for septic acute kidney injury, the recommended dose will remain 35 ml/kg/h until the IVOIRE (hIgh VOlume in Intensive Care) study will be published. In this new armamentarium, we have distinguished the first tools that can still be called membranes ranging from AN69 Surface Treated (ST), SEPTEX, polymethylmetacrylate, to Oxiris that can still run with a CRRT device. Polymyxin B is still a kind of membrane although it has a larger surface, but it can run in a hemoperfusion system and is also much more selective. Adsorptive columns and sorbents are not anymore membranes but are seen as cartridges as the surface is extremely huge when compared with that of membranes (more than 500 m(2)). They can still run in a hemoperfusion device. At the very end, we do have apheresis or selective plasma exchange (also very close to sorbents and columns) but we have very few data up to now regarding sepsis. Regarding spectrum, CytoSorb seems to be very promising although it is not able to capture endotoxin and IL-10. Oxiris is also promising as it can capture endotoxin and cytokines. AN69 ST is very powerful to capture numerous cytokines and especially high-mobility group box 1 protein (a very upstream cytokine). Polymethylmetacrylate has also the power to capture endotoxin and numerous other cytokines probably with a larger magnitude than Oxiris although this is not proven. Lastly, high-porosity membranes (Septex) may play a role especially when

关键词： Regulatory networks   Hopfield-like networks   Biological model building   Constraint-based programming   Arabidopsis thaliana  

摘要： Building a meaningful model of biological regulatory network is usually done by specifying the components (e.g. the genes) and their interactions, by guessing the values of parameters, by comparing the predicted behaviors to the observed ones, and by modifying in a trial-error process both architecture and parameters in order to reach an optimal fitness. We propose here a different approach to construct and analyze biological models avoiding the trial-error part, where structure and dynamics are represented as formal constraints. We apply the method to Hopfield-like networks, a formalism often used in both neural and regulatory networks modeling. The aim is to characterize automatically the set of all models consistent with all the available knowledge (about structure and behavior). The available knowledge is formalized into formal constraints. The latter are compiled into Boolean formula in conjunctive normal form and then submitted to a Boolean satisfiability solver. This approach allows to formulate a wide range of queries, expressed in a high level language, and possibly integrating formalized intuitions. In order to explore its potential, we use it to find cycles for 3-nodes networks and to determine the flower morphogenesis regulatory network of Arabidopsis thaliana. Applications of this technique are numerous and concern the building of models from data as well as the design of biological networks possessing specified behaviors.