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

5th International Conference on Theoretical Aspects of software Engineering, TASE 2011

作者： Chen, Shengbo Miao, Huaikou School of Computer Engineering and Science Shanghai University 200072 Shanghai China Shanghai Key Laboratory of Computer Software Evaluating and Testing 201112 Shanghai China

ISBN: (纸本)9780769545066

As Web applications evolve, their structure may be-come more and more complex. Web frameset is used to organize multiple frames and nested framesets to make the layout of some Web pages more identical and bring the development of Web applications easier, which was wildly used in today's Web applications. How to model and verify the frameset-based Web applications is a challenge. In this paper, special care on Web frameset is paid and an approach to modeling and verifying Web application's navigation with Web frameset is proposed. The Composition semantics of Web Frame-set was give out which can be used to construct complex Web Frameset. Additionally, FSM was employed to describe our models with Web Frameset. Then, we transform FSM model into Kripke structure. Finally, taking advantage of the properties which were generated, we verified our model with Web Framesets. And according to results of verification, we improve our models. © 2011 IEEE.

关键词： Model checking

来源：评论

学校读者我要写书评

暂无评论

Formal modeling and verification of digital home RF protocol

引用

Journal of Computational Information Systems 2011年第7期7卷 2412-2419页

作者： Zheng, Hong Jiang, Yue Liu, Yun School of Information Science and Engineering East China University of Science and Technology Shanghai 200237 China Shanghai Key Laboratory of Computer Software Evaluating and Testing Shanghai 200235 China Training Center JiangXi Electric Power Company Nanchang 330032 China

Wireless radio frequency (RF) protocol of the digital home runs on control equipments, RF repeater and terminal equipments. RF protocol provides a quick, flexible, and reliable means to communicate, identify, track, and manage a variety of items. It has the potential to significantly alter how processes occur and how companies operate. The paper models and verifies RF Protocol by Petri nets which can ensure reliable execution of RF protocol in the digital home environment and analyze its dynamic properties. Copyright © 2011 Binary Information Press.

关键词： Petri nets

来源：评论

学校读者我要写书评

暂无评论

Petri nets based modeling and analysis of UPnP security ceremonies

Petri nets based modeling and analysis of UPnP security cere...

引用

Pacific-Asia Conference on Circuits, Communications and System

作者： Zheng, Hong Li, Chunfang Chen, Zhihua School of Information Science and Engineering East China University of Science and Technology Shanghai 200237 China Shanghai Key Laboratory of Computer Software Evaluating and Testing Shanghai 200235 China

ISBN: (纸本)9781457708565

UPnP is a universal plug and play technology which is widely used in the digital family network. The UPnP security ceremonies expend the UPnP technology to meet the important security requirement. This paper introduces a formal method named the Petri Net, using its advantage such as intuitive graphical representation and rigorous mathematical theory to model the security control of the UPnP security ceremonies. This paper simulates the security control in actual security system, using occurrence step and transition sequence of Petri Net model to analyze the accessibility of model and verify the non-repudiation and security of system. © 2011 IEEE.

关键词： Petri nets

来源：评论

学校读者我要写书评

暂无评论

Probabilistic petri net and its logical semantics

Probabilistic petri net and its logical semantics

引用

9th ACIS International Conference on software Engineering Research, Management and Applications, SERA 2011

作者： Liu, Yang Miao, Huaikou Zeng, Hongwei Li, Zhuang School of Computer Engineering and Science Shanghai University Shanghai China Shanghai Key Laboratory of Computer Software Evaluating and Testing Shanghai China School of Information Science and Technology Taishan University Taian Shandong China

ISBN: (纸本)9780769544908

There are many variants of Petri net at present, and some of them can model system with both function and performance specification, such as stochastic Petri net, and generalized stochastic Petri net. In order to address the issue of modeling system with probabilistic behaviors, a kind of Petri net with probability (probabilistic Petri net, PPN) is proposed in this paper. Then an action-based PCTL is developed to interpret logical semantics for PPN system. The usefulness of PPN system is illustrated by modeling and specifying an elaborate model of travel arrangements workflow. © 2011 IEEE.

关键词： Petri nets

来源：评论

学校读者我要写书评

暂无评论

QoS-aware web services composition based on HQPSO algorithm

QoS-aware web services composition based on HQPSO algorithm

引用

International Association for computer and Information Science/JNU International Conference on computers, Networks, Systems and Industrial Engineering

作者： Liu, Yang Miao, Huaikou Li, Zhuang Gao, Honghao School of Computer Engineering and Science Shanghai University Shanghai China Shanghai Key Laboratory of Computer Software Evaluating and Testing Shanghai China School of Information Science and Technology Taishan University Taian Shandong China

ISBN: (纸本)9780769544175

Web services composition is a new software development paradigm, and it is a key point to achieve service-oriented computing currently. For meeting the QoS requirements of consumers, this paper presents the QoS calculation rules and formalizes the services composition as the combinatorial optimization problem. In order to solve services composition, a new algorithm based on QPSO algorithm is proposed, which is called Hybrid QPSO algorithm and the correctness, feasibility, and effectiveness of the algorithm are demonstrated using the experiments. © 2011 IEEE.

关键词： Web services

来源：评论

学校读者我要写书评

暂无评论

A Business Process testing Sequence Generation Approach Based on Test Cases Composition

A Business Process Testing Sequence Generation Approach Base...

引用

ACIS/JNU International Conference on computers, Networks, Systems and Industrial Engineering (CNSI)

作者： Lizhi Cai Shanghai Key Laboratory of Computer Software Evaluating and Testing Shanghai China

This paper proposes a business process testing scenario generation based on test cases composition. Just like path oriented testing technique in structure testing area, this testing method focuses on finding the logical error in the process implementation according to the formal business process presentation. The test cases against a node of process designed by the techniques such as boundary value analysis, equivalence partitioning and so on, may not easily find the errors in the special business process tends. These test cases are modeled as TCN (Test Cases Nets) with a CPN (Colored Petri Nets) in this paper. The BPSN (Business Process Scenario Net) is built by composing the existing TCN. The generation technique of the test scenario for basis path testing for a business process according to the BPSN is discussed. We exemplify our approach in an ATM system that has a rich set of interactions with its users.

关键词： Business testing Asynchronous transfer mode Flow graphs Petri nets Color computer aided software engineering

来源：评论

学校读者我要写书评

暂无评论

Model composition and generating tests for Web applications

Model composition and generating tests for Web applications

引用

2011 7th International Conference on Computational Intelligence and Security, CIS 2011

作者： Song, Bo Gong, Shengwen Chen, Shengbo College of Information Science and Technology Qingdao University of Science and Technology 266061 Qingdao China Shanghai Key Laboratory of Computer Software Evaluating and Testing 201112 Shanghai China School of Computer Engineering and Science Shanghai University 200072 Shanghai China

ISBN: (纸本)9780769545844

Nowadays, with the prevalence of Web applications, more and more services and information are available over the Internet while their correctness, security and reliability are often crucial to the success of business and organizations. Web testing is one of the methods to ensure the Web security. However, due to the special characters of Web applications, traditional testing methods are not suitable for Web testing in many aspects. A typical Web application consists of two tiers: the client, the server. Most existing works consider Web applications testing from an external or a user's view, not taken the interactions and the behaviors of the server side into account. In this paper, special care on the interactions and the behaviors of server side is paid, and an approach to model composition and testing Web applications is proposed. FSMs are used to model Web applications from the user's side, and the server's side, respectively. Then, synchronous product was employed as a tool to construct a composition of FSMs. Finally, based on the composition of FSM, test generation is given out which satisfies the corresponding coverage criteria. © 2011 IEEE.

关键词： testing

来源：评论

学校读者我要写书评

暂无评论

An approach to modeling and analyzing security requirements of service composition

An approach to modeling and analyzing security requirements ...

引用

2011 IEEE Asia-Pacific Services Computing Conference, APSCC 2011

作者： Fan, Guisheng Yu, Huiqun Chen, Liqiong Liu, Dongmei Department of Computer Science and Engineering East China University of Science and Technology Shanghai 200237 China Shanghai Key Laboratory of Computer Software Evaluating and Testing Shanghai 201112 China Department of Computer Science and Information Engineering Shanghai Institute of Technology Shanghai 200235 China

ISBN: (纸本)9780769546247

Service composition is an important means for integrating the individual Web services to create new value added systems that can satisfy complex requirements. However, it is a challenge to analyze security requirements for those applications due to the uncertainty factors in distributive environment. This paper proposes an approach to modeling and analyzing security requirements of service composition. Petri nets are used to model the different components of service composition, the dynamic matching strategy of service composition is proposed. Aspect-orientation is used to weave the security requirements into service composition, which includes evaluation concern, authorization, security level outputting and access outputting. The operation semantics and related theories of Petri nets help prove its effectiveness and correctness. An example explains the modeling and analyzing process of service composition, and a series of experiments are done to explain that the use of aspects for analyzing security requirements of service composition is more efficient than conventional techniques. © 2011 IEEE.

关键词： Web services

来源：评论

学校读者我要写书评

暂无评论

A regression test technique for analyzing the functionalities of service composition

A regression test technique for analyzing the functionalitie...

引用

SEKE 2011 - Proceedings of the 23rd International Conference on software Engineering and Knowledge Engineering

作者： Yu, Huiqun Liu, Dongmei Fan, Guisheng Chen, Liqiong Department of Computer Science and Engineering East China University of Science and Technology Shanghai 200237 China Shanghai Key Laboratory of Computer Software Evaluating and Testing Shanghai 201112 China Department of Computer Science and Information Engineering Shanghai Institute of Technology Shanghai 200235 China

ISBN: (纸本)1891706292

Regression testing is a hot research area for Web service composition, which has direct impact on QoS of applications. This paper proposes an aspect-oriented regression test technique for analyzing functionalities of service composition. An extended version of Petri net is proposed as the underlying formalism. Services and components are modeled by Petri nets, service evolution is specified as crosscutting concerns, and in turn woven into the testing model of service composition by following weaving rules. A regression testing algorithm of service composition is designed. Theories of Petri nets help prove the effectiveness of the testing method. A case study shows that the approach simplifies the process of testing, and improves its efficiency as well.

关键词： Petri nets

来源：评论

学校读者我要写书评

暂无评论

Test Generation by Using Component Composition Abstraction Refinement

Test Generation by Using Component Composition Abstraction R...

引用

International Conference on computer and Information Science (ACIS)

作者： Ying Chen Ye Tian Hongwei Zeng Shanghai Key Laboratory of Computer Software Evaluating&Testing Shanghai China

In this paper, we propose a test generation method that combines compositional reasoning theory and counterexample guided abstraction refinement framework. Firstly, the abstract model of system is produced by composing abstract components, then the abstract test cases can be generated by model checking based on abstract model, finally, the concrete test case of the complete original system is generated by refining the abstract model. The abstraction refinement keeps the state space small enough to alleviate the state space explosion problem.

关键词： Computational modeling testing Analytical models Concrete Explosions Conferences software

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：