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

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

来源：评论

学校读者我要写书评

暂无评论

Modeling and verifying of grid computing based on FSM

引用

Journal of Convergence Information Technology 2011年第1期6卷 170-181页

作者： Gao, Honghao Wang, Shuoping 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

Many applications of grid computing are appearing to solve a scientific or technical problem by shaping and coordinating computational services across the network. The dynamic and complex interaction of grid computing has been a big challenge in guaranteeing the reliability of services behaviors. This paper focuses on the behavioral correctness of grid computing. In order to unify the expression of grid computing behaviors, we introduce the BPMN (Business Process Modeling Notation) to formally describe the interactions in a visualization way with the basic business process concepts, which creates a standardized bridge for the gap between the business process logic design and implementation. Then we translate BPMN to an extended FSM (Finite-State Machine) automaton. Furthermore, the safety and liveness properties of behavioral requirements are expressed as LTL (Linear Temporal Logic) formulae according to coverage criterions. After that, LTL formulae are automatically verified in model checker tool SMV (Symbolic Model Checker). Finally, the experimental results are discussed. In conclusion, our method affords an underlying guideline for modeling and verifying grid computing.

关键词： Temporal logic

来源：评论

学校读者我要写书评

暂无评论

AGT4W:Automatic Generating Tests for Web Applications

AGT4W:Automatic Generating Tests for Web Applications

引用

2011 International Conference on Frontiers in computer Education(ICFCE 2011)

作者： Shengbo Chen Huaikou Miao Bo Song School of Computer Engineering and Science Shanghai University Shanghai Key Laboratory of Computer Software Evaluating and Testing College of Information Science and Technology Qingdao University of Science &Technology

Web applications can only be accessed through dedicated client systems called Web browsersThe behaviors of Web browser's interactions influence the functionalities and navigation of Web applicationsIn the past, on stage of Web application design and modeling, Web browsers' interactions are not taken into accountTherefore, in the later implementation phase, it only relies on the developer's experienceThis gives a challenge to the follow-up testingIn this paper, starting from a conventional page navigation graph of a Web application, we propose an approach to transform page navigation graph into FSM-BI(FSM with Web browser's interactions), and further, design and implement a prototype tool, called AGT4W(Automatic Generating Tests for Web Applications)Based on the FSM-BI, the automated generation of test cases was implementedAdditionally, the detailed process and implementation methods were give outFirstly, we use Argo UML to model a traditional Web page navigation graph and import it as a XMI fileSecondly, we transform the XMI file into FSM-BI, so we got a FSM modelThirdly, based on FSM model, we transform FSM model into FSM Test-TreeFinally, automatic generation of test cases was carried out.

关键词： FSM software Modeling Test Generation Navigation Model

来源：评论

学校读者我要写书评

暂无评论

testing web applications with web frameset and browser interactions

引用

Information Technology Journal 2011年第7期10卷 1305-1314页

作者： Song, Bo 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

software testing is a difficult task and testing Web applications may be more difficult, due to their characteristics. Web application is an interactive one since it came into being. How to model and test Web interactions is a challenge in software engineering. Web navigation models are useful to clarify requirements and specify implementation behaviors. Web frameset and Web browser's interactions are wildly used in today's Web applications. The behaviors of Web frameset and Web browser interactions changed the traditional Web navigation and influence the functionalities of Web applications. In this study, we took Web frameset and Web browser's interactions into account and proposed an approach to modeling the Web application's navigation and generating tests with Web framesets and browser's interactions. The construction formal semantics of structure compositionof Web frameset is give out. Based on the formal semantics, the Web navigation with Web framesets is modeled. The Extended Browser Loading Model with Web frameset (EBLM) and the extended FSMis employed to formalize the navigation models with Web framesets and browser's interactions andaFSM Test-Tree (FSM-TT) is constructed using present construction algorithm. At last, test generation is given out which satisfies the corresponding coverage criteria. This study resolves the following research problems: (1) propose an approach tomodeling Web applications with Web framesets and Web browser's interactions, (2) give the formal construction semantics of Web frameset and (3) formalize the navigation model and generatingtests. © 2011 Asian Network for Scientific Information.

关键词： testing

来源：评论

学校读者我要写书评

暂无评论

An approach to analyzing time constrained service composition

引用

Journal of computers 2011年第8期6卷 1723-1731页

作者： Fan, Guisheng Yu, Huiqun Chen, Liqiong Tong, Ruan 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 200237 China Department of Computer Science and Information Engineering Shanghai Institute of Technology Shanghai 200235 China

Service composition is widely applied in different applications. One key issue is how to model and analyze time-related properties for service composition. A model called service composition time-constrained Petri Net (SCTNet) is proposed in the paper, which is capable of capturing time behavior of services accurately. The basic relationships, priority and preemption between services are characterized, meanwhile the transaction properties of service are also considered. In order to reduce the state space of model, we propose four simplification schemas which can maintain structural feature and time delay of SCT-Net, a theorem is given to explain the rational of simplification schemas. We present the concept of the greatest concurrent set and analyze the consistency of overtime handling based on the state space of the model. Finally, a heuristic algorithm for schedule computation is created and the experiments are given to explain the feasibility of our method. © 2011 ACADEMY PUBLISHER.

关键词： Petri nets

来源：评论

学校读者我要写书评

暂无评论

Expression and evaluation of reputation based on fuzzy set theory

引用

Journal of Information and Computational Science 2011年第1期8卷 129-138页

作者： Sun, Hua Yu, Huiqun Yang, Nianhua Li, Li Department of Computer Science and Engineering East China University of Science and Technology Shanghai 200237 China School of Information Science and Engineering Xinjiang University Urumqi 830046 China Shanghai Key Laboratory of Computer Software Evaluating and Testing Shanghai 201112 China

In the heterogeneous and open networks, reputation can help users to make a decision about whether or not to have a transaction with other entities. The feedback data used to evaluate the reputation always comes from different entities in different systems and is expressed in different forms. The variety of forms will increase difficulty of the integrated evaluation. This paper first introduces the different express forms of the reputation, and then gives a detail description about how to translate the feedback reputation information using different form into fuzzy form, and evaluates the integrated reputation based on fuzzy number of fuzzy set theory. The data shows that fuzzy form is more accordant with the definition and evaluation of the reputation, and the methods based on fuzzy set is convenient for the entities to predict the behavior of the object entities. © 2011 Binary Information Press.

关键词： Fuzzy set theory

来源：评论

学校读者我要写书评

暂无评论

Verifiable reputation management scheme based on RSA threshold secret sharing in P2P networks

引用

Journal of Computational Information Systems 2011年第8期7卷 2770-2778页

作者： Sun, Hua Yu, Huiqun Yang, Nianhua Li, Li Department of Computer Science and Engineering East China University of Science and Technology Shanghai 200237 China School of Information Science and Engineering Xinjiang University Urumqi 830046 Xinjiang China Shanghai Key Laboratory of Computer Software Evaluating and Testing Shanghai 201112 China

In this paper we propose an innovative verifiable reputation management scheme based on RSA threshold secret sharing in P2P networks. This scheme employs RSA threshold secret sharing theory to realize management of the reputation information. The dealer divides reputation information into n secret shadows and distributes them to n different participants. The reputation information can be reconstructed by any t or more participants, and cannot be done by any fewer than t participants. The dealer also distributes the validation shadows corresponding to the secret shadows to the participants at the same time. Any unlawful participant arguing itself holding secret shadow or rightful participant offering false secret shadow will be recognized for its unable to break through RSA cryptography, so the scheme is secure and verifiable. © 2005 by Binary Information Press.

关键词： Peer to peer networks

来源：评论

学校读者我要写书评

暂无评论

evaluating software maintainability using fuzzy entropy theory

Evaluating software maintainability using fuzzy entropy theo...

引用

IEEE/International Association for computer and Information Science International Conference on computer and Information Science

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

ISBN: (纸本)9780769541471

With the development of information technology, a large number of software products enter the maintenance phase. The maintainability of software products continues to attract people's attention. This paper proposes a new synthetic maintainability evaluation model basing on fuzzy entropy theory. In the model, the weight of different indexes is calculated by combining the entropy weight and expert weight. The entropy weight can be obtained through measuring the difference of membership degree of the index which reflects the consistency of the expert opinion. The evaluation result is more objective and reasonable. It provides a guideline to design a software product with high maintainability. © 2010 IEEE.

关键词： Entropy

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：