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

Eyou: An electronic map-based logistics service system

Journal of Convergence Information Technology 2012年第14期7卷 206-214页

作者： Liu, Pan Miao, Huaikou Chen, Jianjiao College of Computer Engineering and Science Shanghai Business School Fengpu Road FengXian District Shanghai 201400 China Shanghai Key Laboratory of Computer Software Testing and Evaluating Shanghai 200072 China School of Computer Engineering and Science Shanghai University 149 Yanchang Road 200072 Shanghai China School of Information Science and Engineering Xinjiang University Xinjiang China

The paper describes a project to develop an electronic map-based logistics service system (named as Eyou). It consists of several core components, including a unified portal for searching the goods delivery information from different logistic firms, an electronic map-based interface by encapsulating Baidu map API, and the decision support component for planning the routes of the delivery vehicles in a feasible and cost-effective way. In this article, we describe the website's features and functions, the website's system architecture, a novel shortest path algorithm with time constraint and a case study based on our algorithm. The aim of Eyou is to provide some small-size logistics firms, the online shop owners and the users with three services in the convenient or inexpensive way.

关键词： Websites

来源：评论

学校读者我要写书评

暂无评论

A business process testing sequence generation approach based on test cases composition

A business process testing sequence generation approach base...

引用

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

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

ISBN: (纸本)9780769544175

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. © 2011 IEEE.

关键词： testing

来源：评论

学校读者我要写书评

暂无评论

A test case suite generation framework of scenario testing

A test case suite generation framework of scenario testing

引用

3rd International Conference on Advances in System testing and Validation Lifecycle, VALID 2011

作者： Li, Ting Liu, Zhenyu Jiang, Xu Shanghai Development Center of Computer Software Technology Shanghai China Shanghai Key Laboratory of Computer Software Testing and Evaluating Shanghai China Shanghai Software Industry Association Shanghai China

ISBN: (纸本)9781612081687

This paper studies the software scenario testing, which is commonly used in black-box testing. In the paper, the workflow model based on task-driven, which is very common in scenario testing, is analyzed. According to test business model in scenario testing, the model is designed to corresponding test case suite. The test case suite that conforms to the scenario test can be obtained through test case generation and test item design. In the last part of the paper, framework of test case suite design is given to illustrate the effectiveness of the method.

关键词： Black-box testing

来源：评论

学校读者我要写书评

暂无评论

Research on web service composition using probabilistic abstraction refinement

Research on web service composition using probabilistic abst...

引用

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

作者： Gao, Honghao Miao, Huaikou Zeng, Hongwei 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

The Web service composition (WSC) has been widely used in Service-Oriented Architecture (SOA), which is an effective integration of the distributed and heterogeneous business applications. In contrast to the component-based software, dynamic reconfiguration occurs more frequently in Web services-based software for self-adapting and self-managing their computing capabilities due to the uncertainty of dynamic Internet environment. Verifying these stochastic and nondeterministic behaviors is becoming a hot topic in model checking of Web services (WSs) application engineering. Abstraction refinement technique as an effective approach to alleviating the state explosion problem is particularly suitable for verifying the complex WSC. In this paper, we extend the classical abstraction refinement technique CEGAR (Counterexample-guided abstraction refinement) to make quantitative verification of WSC applicable and efficient. To model WSC, a probabilistic service behavior model (p-SBM) is proposed in form of Markov Decision Process (MDP). To verify WSC, the abstraction is defined by means of a quotient on states with respect to some probabilistic equivalence relation. Once counterexample is produced in the abstract model, verifying whether the counterexample is real or spurious is carried out. Based on the counterexample-guided technique, an iterative abstraction refinement process is performed to progressively refine the abstract model until either there is no abstract counterexample or a valid counterexample is verified. The case studies which are discussed throughout the paper demonstrate that our approach takes advantages than the traditional approaches. © 2011 IEEE.

关键词： Model checking

来源：评论

学校读者我要写书评

暂无评论

An application of ontology to test case reuse

An application of ontology to test case reuse

引用

2011 International Conference on Mechatronic Science, Electric Engineering and computer, MEC 2011

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

ISBN: (纸本)9781612847221

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 Prot00E9;Ontology Editor and described by OWL (Web Ontology Language). At last, an example to illustrate the application of this method is to be discussed. © 2011 IEEE.

关键词： Ontology

来源：评论

学校读者我要写书评

暂无评论

Test generation by using component composition abstraction refinement

Test generation by using component composition abstraction r...

引用

2011 10th IEEE/ACIS International Conference on computer and Information Science, ICIS 2011

作者： Chen, Ying Tian, Ye Zeng, Hongwei School of Computer Engineering and Science Shanghai University 200072 Shanghai China Shanghai Key Laboratory of Computer Software Evaluating and Testing 201112 Shanghai China

ISBN: (纸本)9780769544014

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. © 2011 IEEE.

关键词： Model checking

来源：评论

学校读者我要写书评

暂无评论

Probabilistic timed model checking for atomic Web service

Probabilistic timed model checking for atomic Web service

引用

2011 IEEE World Congress on Services, SERVICES 2011

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

ISBN: (纸本)9780769544618

As Web services are becoming more and more complex, there is an increasing concern about how to guarantee the correctness and safety of Web services composition. This has driven many researchers to study the performance analysis of dynamic atomic service selection, as well as functional verifications. In this paper, we focus on not only modeling the behaviors of atomic service, but also verifying the properties in a quantitative way. First, we apply probabilistic timed model checking to model and verify the behaviors of atomic service by extending interface automata, and propose a technique to formally estimate software performance which exhibits stochastic behaviors with time constrains. Second, the probabilistic timed computation tree logic (PTCTL) formulae are used to express the reliability properties. Third, a failure may occur stochastically when an invocation is triggered through interface operation. We present an internal interaction model, based on which we can dynamically pick out a highest reliable execution sequence for Web services composition. Finally, a case study is demonstrated and experimental results are discussed. In conclusion, our approach provides with an underlying guideline for Web services composition. © 2011 IEEE.

关键词： Web services

来源：评论

学校读者我要写书评

暂无评论

Modeling and verifying for frameset-based web applications

Modeling and verifying for frameset-based web applications

引用

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

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：