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

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

来源：评论

学校读者我要写书评

暂无评论

A CPN-based software testing approach

Journal of Software

引用

Journal of software 2011年第3期6卷 468-474页

作者： Cai, Lizhi Zhang, Juan Liu, Zhenyu Shanghai Key Laboratory of Computer Software Evaluating and Testing Shanghai China School of Computer Engineering and Science Shanghai University Shanghai China

As a graphical and mathematical modeling tool, CPN (Colored Petri Net) is often used to describe the transition of states for an information system. The advantage of CPN model is that the model can be simulated dynamically. This paper presents an approach to generating test cases based on a transition graph of CPN model. The transition graph provides a solid basis for test cases generation in a form that can be easily manipulated. The case for vending machine illustrates the effectiveness of this method. © 2011 ACADEMY PUBLISHER.

关键词： software testing

来源：评论

学校读者我要写书评

暂无评论

Scheduling Real-Time Embedded Systems Based on TCPNIA

Journal of Software

引用

Journal of software 2011年第3期6卷 340-348页

作者： Yang, Nianhua Yu, Huiqun Sun, Hua Qian, Zhilin 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

TCPNIA (Timed Colored Petri Nets with Inhibitor Arcs, TCPNIA) is a model for specifying real-time embedded systems. It integrates features of colored Petri nets, timed Petri nets and inhibitor arcs. The methods for modeling modules of systems using TCPNIA are proposed. A depth-first scheduling algorithm for TCPNIA is proposed. The system level resource's influence to schedulable path is considered. Different data in tokens will change an execution path and call different data operational functions. The influence from data operational functions is considered in the scheduling algorithm. The time requirement upper bound of a schedulable path can be calculated in the algorithm. Tasks' parallel executions have been considered when the time upper bound of the path is calculated. The soundness of the algorithm is proved. The time and space complexities of the algorithm are also analyzed. The compositional conditions and method for composing schedulable path are given. A case study shows the applicability and feasibility of the method. © 2011 ACADEMY PUBLISHER.

关键词： Petri nets

来源：评论

学校读者我要写书评

暂无评论

An application of ontology to test case reuse

An application of ontology to test case reuse

引用

International Conference on Mechatronic Science, Electric Engineering and computer

作者： Shaojie Guo Juan Zhang Weiqin Tong Zongheng Liu School of Computer Engineering and Science Shanghai Key Laboratory of Computer Software Evaluating & Testing Shanghai China School of Computer Engineering and Science Shanghai University Shanghai China

Test case is one of the most important part of software testing. Reusing available test cases is an effective means to reduce the cost and improve the efficiency of software testing. In order to efficiently reuse test cases, a unified and standard format to describe test cases is needed. Therefore, this paper presents a reusing method based on ontology. The test case ontology is created by Protege Ontology Editor and described by OWL (Web Ontology Language). At last, an example to illustrate the application of this method is to be discussed.

关键词： Ontologies Credit cards software testing Libraries Educational institutions OWL

来源：评论

学校读者我要写书评

暂无评论

Petri Nets based Modeling and Analysis of UPnP Security Ceremonies

Petri Nets based Modeling and Analysis of UPnP Security Cere...

引用

2011 Third Pacific-Asia Conference on Circuits,Communications and System

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

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.

关键词： Petri Nets,Security,UPnP

来源：评论

学校读者我要写书评

暂无评论

Model checking the reliability of interactive behaviors for mobile computing

引用

Advances in Information Sciences and Service Sciences 2011年第6期3卷 1-12页

作者： Gao, Honghao Miao, Huaikou Wang, Shuoping Mei, Jia Liu, Yang School of Computer Engineering and Science Shanghai University 200072 Shanghai China Shanghai Key Laboratory of Computer Software Evaluating and Testing 201112 Shanghai China Computer Science School Zhejiang University City College 310015 Hangzhou China

The development of mobile computing is dependent on the new methods, techniques and tools to support engineering applications during all the phases of its life cycle. Especially, considering the complexities of interaction protocol, a communication failure can cause high economic losses. The challenge problems to be solved include: 1) guarantee such critical behaviors as communication reliable, and 2) support the dynamic reconfiguration in case some required services may become unavailable when an interaction is executed at runtime phase, both of which belongs to the scope of the reliability problem of interactive behaviors. This paper will perform the automated verification to ensure high reliability of mobile computing using model checking technique. For this purpose, an approach to modeling the interactive behaviors is proposed by using TS model (Transition Systems model, TS model). The reliability properties, including liveness, safety and reachability, are expressed into the temporal logic formulae, namely, CTL (Computation Tree Logic, CTL). Then the reliability verification for our proposed model of interactive behaviors (TS-mc model) is performed in model checker NuSMV. A prototype system is also discussed, and the experimental results show the significant advantage of our method.

关键词： Model checking

来源：评论

学校读者我要写书评

暂无评论

Towards a lightweight SOA framework for enterprise cloud computing

Towards a lightweight SOA framework for enterprise cloud com...

引用

International Conference on computer Supported Cooperative Work in Design

作者： Jiao, Yi Li, Lin Ye, Nanrong School of Computer Science Fudan University Shanghai 200433 China Shanghai Key Laboratory of Software Testing and Evaluation Shanghai 201114 China Shanghai Ruanzhong Information Technology Co. Ltd. Shanghai 200235 China

ISBN: (纸本)9781457703874

Cloud computing has become an emerging new computing paradigm. However, the issue of providing complex enterprise product family cloud is not well addressed so far. This article presents a framework featuring an in-depth extension to WSDL and an application oriented semi-automation semantic web service composition algorithm to solve the problem. The extension captures critical factors required by real world service composition scenario. The algorithm presents a complete step set which effectively addresses real application issues in service composition. The presented framework has been applied in three real business applications. Statistical software engineering data verifies its efficiency and applicability on solving the major challenges in complex enterprise product family cloud. © 2011 IEEE.

关键词： Cloud computing

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：