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

作者： Raffelt, Harald Merten, Maik Steffen, Bernhard Margaria, Tiziana TU Dortmund Programming Systems University of Dortmund Otto-Hahn-Str. 14 44227 Dortmund Germany Service and Software Engineering Universität Potsdam August-Bebel-Str. 89 14482 Potsdam Germany

This paper presents dynamic testing, a method that exploits automata learning to systematically test (black box) systems almost without prerequisites. Based on interface descriptions and optional sample test cases, our method successively explores the system under test (SUT), in order to extrapolate a behavioural model. This is in turn used to steer the further exploration process. Due to the applied learning technique, our method is optimal in the sense that the extrapolated models are most concise (i.e. state minimal) in consistently representing all the information gathered during the exploration. Using the LearnLib, our framework for automata learning, our method can be elegantly combined with numerous optimisations of the learning procedure, with various choices of model structures, and with the option of dynamically/ interactively enlarging the alphabet underlying the learning process. The latter is important in the Web context, where totally new situations may arise when following links. All these features are illustrated using as a case study the web application Mantis, a bug tracking system widely used in practice. In addition, we present another case study that demonstrates the scalability of the approach. We show how the dynamic testing procedure works and how behavioural models arise that concisely summarize the current testing effort. It turns out that these models reveal the system structure from a user perspective. Besides steering the automatic exploration process, they are ideal for user guidance and to support analyses to improve the system understanding, as they reveal the system structure from a user perspective. © Springer-Verlag 2009.

关键词： Extrapolation

来源：评论

学校读者我要写书评

暂无评论

Dynamic testing via automata learning

引用

International Journal on software Tools for Technology Transfer 2009年第4期11卷 307-324页

作者： Raffelt, Harald Merten, Maik Steffen, Bernhard Margaria, Tiziana TU Dortmund Chair of Programming Systems University of Dortmund Dortmund Germany Chair of Service and Software Engineering Universität Potsdam Potsdam Germany

This paper presents dynamic testing, a method that exploits automata learning to systematically test (black box) systems almost without prerequisites. Based on interface descriptions and optional sample test cases, our method successively explores the system under test (SUT), in order to extrapolate a behavioural model. This is in turn used to steer the further exploration process. Due to the applied learning technique, our method is optimal in the sense that the extrapolated models are most concise (i.e. state minimal) in consistently representing all the information gathered during the exploration. Using the LearnLib, our framework for automata learning, our method can be elegantly combined with numerous optimisations of the learning procedure, with various choices of model structures, and with the option of dynamically/interactively enlarging the alphabet underlying the learning process. The latter is important in the Web context, where totally new situations may arise when following links. All these features are illustrated using as a case study the web application Mantis, a bug tracking system widely used in practice. In addition, we present another case study that demonstrates the scalability of the approach. We show how the dynamic testing procedure works and how behavioural models arise that concisely summarize the current testing effort. It turns out that these models reveal the system structure from a user perspective. Besides steering the automatic exploration process, they are ideal for user guidance and to support analyses to improve the system understanding, as they reveal the system structure from a user perspective.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Model Based Safety Analysis

引用

IFAC Proceedings Volumes 2009年第5期42卷 3-3页

作者： Wolfgang Reif Department of Software Engineering and Programming Languages Institute of ComputerScience University of Augsburg 86135 Augsburg Germany

In safety critical applications, the growing complexity and risk associated with embedded software intensive systems demands for reliable safety assessments. Additionally, in many application areas standards and norms require the usage of model based techniques to guarantee the quality of safety critical systems. Model based safety analysis is a formally grounded approach to compute reliable safety properties from system models. In this context the term safety covers functional correctness, failure tolerance, safety optimisation as well as balancing antagonistic safety concerns. The analysis has both qualitative and quantitative aspects. Systems under consideration are discrete reactive systems. An extension also applies to self-organising systems. The talk presents the approach as well as some interesting applications. Wolfgang Reif is a full professor of Computer Science at the University of Augsburg, Germany. He is Dean of the Faculty of Applied Computer Science, Director of the Institute for software & Systems engineering, and Director of the elite graduate program software engineering wihtin the Bavarian Elite Network (joint program with TU Muenchen and LMU Muenchen).

关键词：

来源：评论

学校读者我要写书评

暂无评论

Hybrid test of web applications with webtest

Hybrid test of web applications with webtest

引用

Workshop on Testing, Analysis and Verification of Web software, TAV-WEB 2008

作者： Raffelt, Harald Steffen, Bernhard Margaria, Tiziana Merten, Maik Department of Programming Systems TU Dortmund Department of Services and Software Engineering Universität Potsdam

ISBN: (纸本)9781605580524

In this paper, we present hybrid testing, a method that combines replay-testing (static testing) with automata learning techniques that generate models of black box systems (dynamic testing). This combination helps bridging the gap towards model based testing also for legacy systems. Webtest is an implementation of hybrid testing that builds on top of preexisting technology such as the LearnLib, a framework for automata learning, and the jABC, a framework for modeldriven and service-oriented design, that we use here for modelling, executing, and managing test suites for and models of the web applications under analysis. In particular we intend to move towards Rich Internet Applications (RIAs), that include e.g. advanced client side capabilities and access to heavy resources (e.g. database access) over the Web. Copyright 2008 ACM.

关键词： Legacy systems

来源：评论

学校读者我要写书评

暂无评论

Policy expression and checking in XACML, WS-Policies, and the jABC

Policy expression and checking in XACML, WS-Policies, and th...

引用

Workshop on Testing, Analysis and Verification of Web software, TAV-WEB 2008

作者： Karusseit, Martin Margaria, Tiziana Willebrandt, Holger Department of Programming Systems TU Dortmund Germany Department of Service and Software Engineering Universität Potsdam Germany

ISBN: (纸本)9781605580524

Web-based access to sensitive and confidential data is realized today via different approaches, using a variety of methods to specify and combine access control policies. In an optic of change management and evolution, a structured and flexible model is needed to handle dynamicity, particularly when handling rights in systems with many users which hold different roles. Furthermore the validation of security constraints is an important key to warrant the reliability of control mechanisms. This paper compares the temporal logic-based approach for modeling access control used by the jABC framework with two popular XML-based description languages (XACML and WS-Policy), which are quasi-standards for policy expression in Web applications. Its usage is illustrated here on the example of the web-based Online Conference Service (OCS). The respective functionalities are described and examined in consideration of their ability to validate and enforce the needed policies. Copyright 2008 ACM.

关键词： Model checking

来源：评论

学校读者我要写书评

暂无评论

Synthesizing the mediator with jABC/ABC

Synthesizing the mediator with jABC/ABC

引用

6th International Workshop on Evaluation of Ontology-Based Tools and the Semantic Web Service Challenge, EON-SWSC 2008

作者： Margaria, Tiziana Bakera, Marco Raffelt, Harald Steffen, Bernhard Department of Service and Software Engineering Universität Potsdam Germany Department of Programming Systems TU Dortmund Germany

In this paper we show how to apply a tableau-based software composition technique to automatically generate the mediator's service logic. This uses an LTL planning (or configuration) algorithm originally embedded in the ABC and in the ETI platforms. The algorithm works on the basis of the existing jABC library of available services (SIB library) and of an enhanced description of their semantics given in terms of a taxonomic classification of their behaviour (modules) and abstract interfaces/messages (types).

关键词： Algorithms

来源：评论

学校读者我要写书评

暂无评论

SCA and jABC: Bringing a service-oriented paradigm to web-service construction

SCA and jABC: Bringing a service-oriented paradigm to web-se...

引用

3rd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2008

作者： Jung, Georg Margaria, Tiziana Nagel, Ralf Schubert, Wolfgang Steffen, Bernhard Voigt, Horst UniversitaÌêt Potsdam Department of Service and Software Engineering Germany TU Dortmund Department of Programming Systems Germany

ISBN: (纸本)3540884785

Extensibility, flexibility, easy maintainability, and long-term robustness are core requirements for modern, highly distributed information and computation systems. Such systems in turn show a steady increase in complexity. In pursuit of these goals, software engineering has seen a rapid evolution of architectural paradigms aiming towards increasingly modular, hierarchical, and compositional approaches. Object-orientation, component orientation, middleware components, product-lines, and - recently - service orientation. We compare two approaches towards a service-oriented paradigm, the Service Component Architecture (SCA) and the jABC. Â© 2008 Springer-Verlag.

关键词： Web services

来源：评论

学校读者我要写书评

暂无评论

Coverage-directed verification of microprocessor units based on cycle-accurate contract specifications

Coverage-directed verification of microprocessor units based...

引用

East-West Design and Test Symposium

作者： Kamkin, Alexander Software Engineering Department Institute for System Programming Russian Academy of Sciences 25 B. Kommunisticheskaya Moscow 109004 Russia

ISBN: (纸本)9781424434039

In this paper we describe a method for simulation-based verification of microprocessor units based on cycle-accurate contract specifications. Such specifications describe behavior of a unit in the form of preconditions and postconditions of microoperations. Test sequence generation is based on traversal of FSM constructed automatically from specifications and test coverage definition. We have successfully applied the method to several units of the industrial MIPS64- compatible microprocessor. © 2008 IEEE.

关键词： Specifications

来源：评论

学校读者我要写书评

暂无评论

Assessing game-themed programming assignments for CS1/2 courses 08

Assessing game-themed programming assignments for CS1/2 cour...

引用

3rd International Conference on Game Development in Computer Science Education, GDCSE 2008

作者： Sung, Kelvin Panitz, Michael Rosenberg, Rebecca Anderson, Ruth Computing and Software Systems University of Washington Bothell United States Software Programming Cascadia Community College United States Teaching and Learning Center University of Washington Bothell United States Computer Science and Engineering University of Washington Seattle United States

ISBN: (纸本)9781605580579

We have designed and implemented game-themed programming assignment modules targeted specifically for adoption in existing introductory programming classes. These assignments are self-contained, so that faculty members with no background in graphics/gaming can selectively pick and choose a subset to combine with their own assignments in existing classes. This paper begins with a survey of previous results, followed by a description of the game-themed assignment modules. The paper then focuses on our efforts in assessing the assignments: including details of the procedures and instruments for evaluating student achievement of learning outcomes and attitudes towards the assignments, as well as the extra effort required of faculty to adopt the assignments in existing clases. Copyright 2008 ACM.

关键词： Education computing

来源：评论

学校读者我要写书评

暂无评论

Coverage-directed verification of microprocessor units based on cycle-accurate contract specifications

Coverage-directed verification of microprocessor units based...

引用

East-West Design & Test Symposium (EWDTS)

作者： Alexander Kamkin Software Engineering Department Institute for System Programming of Russian Academy of Sciences Moscow Russia

关键词： Microprocessors Contracts Automation Program processors Computer architecture Algorithm design and analysis Computational modeling

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：