检索结果-内蒙古大学图书馆

Meeting the Information Assurance Crisis in the U.S. Now

EDPACS 2006年第6期28卷 1-14页

作者： Corey Schou Deborah Frincke Charles Reynolds James Frost The Associate Dean of Information Systems Programs at Idaho State University (ISU) in Pocatello and the director of the Center for Decision Support. Currently he serves as the Chair of the National Colloquium on Information System Security Education. Schou also directs the ISU National Center of Excellence in Information Assurance Education and the ISU Technology Innovation Center. Contact Corey Schou one of the authors of this article and the Chair of the NCISSE by email at Schou@*** for help in finding additional ways to address the issues raised in this article. A member of the University of Idaho College of Engineering faculty. She graduated from the University of California at Davis. Frincke is the co-director and co-founder of the university's Center for Secure and Dependable Software (CSDS). She was the program chair for the 2nd International Workshop on Recent Advances in Intrusion Detection (RAID). A professor of Computer Science at the College of Integrated Science and Technology at James Madison University in Harrisonburg Virginia. He holds a Ph.D. in computer science from the University of Texas at Austin and a BA in philosophy from the University of Houston. Reynolds is the Director of Information System Security Education at James Madison University. Since 1997 Reynolds has led the development of the first remote Internet-based curriculum that leads to an M.S. degree in computer science with a concentration in information security. Thus far 160 students have completed this program. A professor of computer information systems at Idaho State University and the manager of its Simplot Decision Support Center.

T he only difference etween evolution and revolution is the speed at which each occurs.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Increasing class-component testability

Increasing class-component testability

引用

IASTED International Conference on software engineering: part of the 23rd IASTED International Multi-Conference on Applied Informatics, SE 2005

作者： Kansomkeat, Supaporn Offutt, Jeff Rivepiboon, Wanchai Department of Computer Engineering Faculty of Engineering Chulalongkorn Univesity Bangkok 10330 Thailand Department of Information and Software Engng George Mason University Fairfax VA 22030 United States

ISBN: (纸本)0889864640

Testability has many effects on software. In general, increasing testability makes detecting faults easier. However, increasing testability of third party software components is difficult because the source is usually not available. This paper introduces a method to increase component testability. This method helps a user test when the component is reused during integration. First, we analyze a component to gather definition and use information about method and class variables. Then, this information is used to increase component testability to support component testing. Increased testability helps to detect errors, and helps testers observe state variables and generate inputs for testing. This paper uses an example to report the effort (in terms of test cases) and effectiveness (in terms of killed mutants).

关键词： software testing

来源：评论

学校读者我要写书评

暂无评论

MDAbench: A Tool for Customized Benchmark Generation Using MDA

MDAbench: A Tool for Customized Benchmark Generation Using M...

引用

OOPSLA'05 - 20th Annual ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications

作者： Zhu, Liming Liu, Yan Gorton, Ian Bui, Ngoc Bao School of Computer Science and Engineering University of Nsw Australia Empirical Software Engineering Program National Ict Australia Australia Faculty of Information Technology University of Technology Sydney Australia

Designing component-based application that meets performance requirements remains a challenging problem, and usually requires a prototype to be constructed to benchmark performance. Building a custom benchmark suite is however costly and tedious. This demonstration illustrates an approach for generating customized component-based benchmark applications using a Model Driven Architecture (MDA) approach. All the platform related plumbing and basic performance testing routines are encapsulated in MDA generation "cartridges"along with default implementations of testing logic. We will show how to use a tailored version of the UML 2.0 Testing Profile to model a customized load testing client. The performance configuration (such as transaction mix and spiking simulations) can also be modeled using the UML model. Executing the generated deployable code will collect the performance testing data automatically. The tool implementation is based on a widely used open source MDA framework AndroMDA. We extended it by providing a cartridge for a performance testing tailored version of the UML 2.0 Testing Profile. Essentially, we use OO-based meta-modeling in designing and implementing a lightweight performance testing domain specific language with supporting infrastructure on top of the existing UML testing standard. © 2005 ACM.

关键词： software architecture

来源：评论

学校读者我要写书评

暂无评论

Contract-based mutation for testing components

Contract-based mutation for testing components

引用

21st IEEE International Conference on software Maintenance, ICSM 2005

作者： Jiang, Ying Hou, Shan-Shan Shan, Jin-Hui Zhang, Lu Xie, Bing Institute of Software School of Electronics Engineering and Computer Science Peking University Beijing 100871 China Faculty of Information Engineering and Automation Kunming University of Science and Technology Kunming 650093 China

ISBN: (纸本)0769523684

Testing plays an important role in the maintenance of Component Based software Development. Test adequacy for component testing is one of the hardest issues for component testing. To tackle this problem, it is a natural idea to apply mutation testing, which is a fault-based testing method used for measuring test adequacy, for component contracts, whose aim is to improve the testability of the component. Though powerful, mutation testing is usually very computationexpensive, as many mutants need to be produced and executed in mutation testing. In this paper, we propose a contract-based mutation technique for testing components. Based on the discordance between contracts and specification, our approach employs a set of high level contract mutation operators. The experimental results show that these operators can greatly reduce the number of mutants compared with traditional mutation operators. At the same time, the contract-based mutation using our contract mutation operators can provide almost the same ability as that of using traditional mutation operators. Moreover, effective test suite can be produced to reduce the maintenance effort. © 2005 IEEE.

关键词： computer software

来源：评论

学校读者我要写书评

暂无评论

Modelling code mobility and migration: An OPM/Web approach

引用

International Journal of Web engineering and Technology 2005年第1期2卷 6-28页

作者： Reinhartz-Berger, Iris Dori, Dov Katz, Shmuel Technion Israel Institute of Technology Technion City Haifa 32000 Israel Department of Management Information Systems University of Haifa Israel Information Systems Engineering Area Faculty of Industrial Engineering and Management Technion Israel Institute of Technology Israel MIT Cambridge United States Computer Science Department Technion Israel Institute of Technology Israel Systems and Software Development Laboratory Israel

Web applications exhibit dynamic behaviour through such features as animation, rapidly changing presentations, and interactive forms. The growing complexity of web applications requires a rigorous modelling approach capable of clearly and explicitly addressing code mobility issues. While mobile agent systems and programming languages support the implementation of code mobility with features such as applets or mobile agents, existing system analysis and design methods lack the facilities to model code mobility satisfactorily. OPM/Web is an extension of object-process methodology (OPM) for modelling distributed systems and web applications that enables intuitive modelling of code mobility concepts in a single framework. We propose generic OPM/Web models for common code mobility design paradigms, including Remote Evaluation, Code-on-Demand, PUSH and Mobile Agents. An OPM/Web model of a mobile application that handles requests for Quality of Service over the internet exemplifies the use and advantages of modelling such systems in OPM/Web. Copyright © 2005 Inderscience Enterprises Ltd.

关键词： World Wide Web

来源：评论

学校读者我要写书评

暂无评论

A component-based approach to specify hazards in the design of safety-critical systems

A component-based approach to specify hazards in the design ...

引用

IEEE International Conference on Industrial Informatics (INDIN)

作者： S. Lu W.A. Halang H.W. Schmidt R. Gumzej Faculty of Electrical and Computer Engineering Fern Universitat Hagen Hagen Germany School of Computer Science and Software Engineering Monash University VIC Australia Faculty of Electrical Engineering and Computer Science University of Maribor Maribor Slovenia

Fault tree analyses (FTA) are embedded into UML component models. The UML component models are constructed by employing UML's extension mechanisms in conjunction with component-based software techniques. Taking an application's safety-related requirements into consideration, the elements of FTA are defined as component attributes, and assigned to a UML component model, which is collected in UML profile for safety analyses and architectural design. Based on the thus enhanced architecture specification of the UML component model, it becomes possible to handle hazard analyses and to model safety mechanisms at the same time.

关键词： Hazards Unified modeling language Performance analysis Failure analysis computer architecture US Department of Transportation software safety software architecture computer science software engineering

来源：评论

学校读者我要写书评

暂无评论

A study of service composition with QoS management

A study of service composition with QoS management

引用

2005 IEEE International Conference on Web Services, ICWS 2005

作者： Fung, Casey K. Hung, Patrick C. K. Wang, Guijun Linger, Richard C. Walton, Gwendolyn H. Engineering and Information Technology Boeing Phantom Works United States Faculty of Business and Information Technology University of Ontario Institute of Technology Canada Software Engineering Institute Carnegie Mellon University United States Mathematics and Computer Science Dept. Florida Southern College United States

ISBN: (纸本)0769524095

Quality of Services (QoS) management in compositions of services requires careful consideration of QoS characteristics of the services and effective QoS management in their execution. A Web service is a software system that supports interoperable application-to-application interaction over the Internet. Web services are based on a set of XML standards such as Simple Object Access Protocol (SOAP). The interactions of SOAP messages between Web services form the theoretical model of SOAP Message Exchange Patterns (MEP). Web Services Business Process Execution Language (WSBPEL) defines an interoperable integration model that facilitates automated process integration in intra- and inter-corporate environments. A service-level agreement (SLA) is a formal contract between a Web services requestor and provider guaranteeing quantifiable issues at defined levels only through mutual concessions. Based on a prior research work on Message Detail Record (MDR), this paper further proposes a SOAP message tracking model for supporting QoS end-to-end management in the context of WSBPEL and SLA. This paper motivates the study of QoS management in a Web service composition framework with the evolution of a distributed toolkit in an industrial setting.

关键词： Telecommunication services

来源：评论

学校读者我要写书评

暂无评论

SPC-XML: A structured representation for nested-parallel programming languages

SPC-XML: A structured representation for nested-parallel pro...

引用

11th International Euro-Par Conference, Euro-Par 2005

作者： González-Escribano, Arturo Van Gemund, Arjan J. C. Cardeñoso-Payo, Valentín Dept. de Informática Universidad de Valladolid E.T.I.T. Campus Miguel Delibes 47011 - Valladolid Spain Embedded Software Lab. Software Technology Department Faculty of Electrical Engineering Mathematics and Computer Science P.O.Box 5031 NL-2600 GA Delft Netherlands

Nested-parallelism programming models, where the task graph associated to a computation is series-parallel, present good analysis properties that can be exploited for scheduling, cost estimation or automatic mapping to different architectures. In this paper we present an XML intermediate representation for nested-parallel programming languages from which the application task-graph can be easily derived. We introduce some design principles oriented to allow the compiler to exploit information about the task synchronization structure, automatically determine implicit communication structures, apply different scheduling policies, and generate lower-level code using different models or communication tools. Results obtained for simple applications, using an extensible prototype compiler framework, show how this flexible approach can lead to portable and efficient implementations. © Springer-Verlag Berlin Heidelberg 2005.

关键词： Parallel processing systems

来源：评论

学校读者我要写书评

暂无评论

Assignment marking via online self assess

Assignment marking via online self assess

引用

11th Australasian World Wide Web Conference, AusWeb 2005

作者： Schuhmacher, Margot Redpath, Robert Lecturer Higher Education Development Unit Centre for Learning and Teaching Support Monash University Clayton Campus Victoria 3800 Australia Lecturer School of Computer Science and Software Engineering Faculty of Information Technology Monash University Caulfield Campus Victoria 3174 Australia

This paper explores the use of online self assessment as a tool for guiding the assignment marking process. The study was motivated by a desire to assist staff in more efficiently completing assessment and to involve the students in the assessment process. Subsequently, the study evolved to overcome a deficit, being the failure to allow for automation of the inclusion of marking criteria in the assignment tool, in the Learning Management System. Consequent creation of the assignment marking guide in the form of an online quiz enabled students to perform self assessment after their assignment submission. Evaluation of the process indicates student self assessment contributed to their learning, providing them with relatively immediate feedback. Additional benefits include an improved assessment process for staff, feedback for both students and staff, and a persistent record of the entire process. Margot Schuhmacher and Robert Redpath, © 2005.

关键词： Students

来源：评论

学校读者我要写书评

暂无评论

Applying machine learning using Case-Based Reasoning (CBR) and Rule-Based Reasoning (RBR) approaches to object-oriented application framework documentation

Applying machine learning using Case-Based Reasoning (CBR) a...

引用

3rd International Conference on Information Technology and Applications, ICITA 2005

作者： Jani, Hajar Mat Peck, Lee Sai College of Information Technology Universiti Tenaga Nasional Km. 7 Jalan Kajang-Puchong 43009 Kajang Selangor Darul Ehsan Malaysia Department of Software Engineering Faculty of Computer Science and Information Technology University Malaya 50603 Kuala Lumpur Malaysia

ISBN: (纸本)0769523161

Several challenges and problems of developing, using and maintaining object-oriented application frameworks have been identified. It was discovered that companies attempting to build or use large-scale reusable framework often fail unless they recognize and resolve challenges such as development effort, learning curve, integratability, maintainability, validation, defect removal, efficiency, and lack of standards. Framework documentation plays a major role in facing the above challenges. It directly affects the learning curve, maintainability, and defect removal aspects of the application frameworks. We have studied various documenting approaches and concluded that the current approaches are not very effective in overcoming the above challenges, especially on the efficiency problem. So, in this paper we are going to apply machine learning using case-based reasoning (CBR) and rule-based reasoning (RBR) to framework documentation. We will come up with a documentation architecture that combines both techniques in order to come up with improved framework documentation. © 2005 IEEE.

关键词： Learning systems

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：