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

A formal aspect-oriented method to model and analyse secure service composition

International Journal of Autonomous and Adaptive Communications Systems 2015年第2-3期8卷 119-140页

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

Service-oriented computing (SOC) is becoming a prominent paradigm for creating value-added enterprise applications by composing web services. However, this flexibility comes along with new security risks. In this paper, Petri nets are used to precisely describe the different components of service composition, such as service, component, the basic relation between components, etc. The dynamic matching strategy of service composition is proposed, aspect orientation is used to weave it into the base net, which includes evaluation concern, authorisation concern and failure processing concern, the weaving mechanism dynamically integrates these schemas into a secure aspect model. Based on this, the operation semantics and related theories of Petri nets help prove the effectiveness and feasibility of proposed method, the enforcement algorithm is also given. An example explains the modelling process of service composition, and a series of experiments are done to explain that the use of aspects for service composition is more efficient than conventional techniques. © 2015 Inderscience Enterprises Ltd.

关键词： Petri nets

来源：评论

学校读者我要写书评

暂无评论

A chain algorithm for conformance testing based on UIO sequences

A chain algorithm for conformance testing based on UIO seque...

引用

ACIS International Conference on software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing (SNPD)

作者： Weiwei Lin Hongwei Zeng Department of Information Science and Technology Taishan University Shanghai China School of Computer Engineering and Science Shanghai University Shanghai China Shanghai Key Laboratory of Computer Software Evaluating & Testing Shanghai China

State verification to check that the machine is in a specified state is a key technique in FSM-based conformance testing. This paper presents a special UIO sequence called CUIO which can verify as many states as possible and all transitions of FSM simultaneously. CUIO sequences are constructed by a chain algorithm which is proposed based on the traditional method of successor tree. As a result, desirable checking sequence can be obtained by CUIO with relatively low computational complexity.

关键词： testing computers Computational modeling software algorithms software Information science Computational complexity

来源：评论

学校读者我要写书评

暂无评论

Checking internal consistency of sofl specification: A hybrid approach

Checking internal consistency of sofl specification: A hybri...

引用

3rd International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2013

作者： Chen, Yuting School of Software Shanghai Jiao Tong University Shanghai 200240 China Shanghai Key Laboratory of Computer Software Testing and Evaluating Shanghai China

ISBN: (纸本)9783319049144

A SOFL specification can be written with errors inside, leading to an untrustable situation for implementation. Some techniques, such as specification review and testing, have been proposed to detect and remove the errors from the specification as early as possible. Meanwhile these techniques face strong challenges when applied to practice in that they strongly rely on human intelligence to either cautiously design a review task tree for directing the whole review process, or design some test inputs to "run" the specification. The completeness of the review or testing tasks also remains a problem. In this paper we propose a hybrid approach to checking the internal consistency of a SOFL specification. The internal consistency is an important property indicating that the entire specification can work properly. The essential idea of the hybrid approach is to adopt the different strategies to check the different aspects of the specification: concrete or abstract values are used to check the satisfiability of a process, and the symbolic execution and the deduction techniques can be used to check the internal consistency of the specification at the integration level. We also use a Sort-Search example to illustrate the use of the hybrid approach. © 2014 Springer International Publishing Switzerland.

关键词： Specifications

来源：评论

学校读者我要写书评

暂无评论

Modeling and testing of GUIs using IOLTS 21

Modeling and testing of GUIs using IOLTS

引用

21st Asia-Pacific software Engineering Conference, APSEC 2014

作者： Chen, Shengbo Sun, Dashen Miao, Huaikou Zeng, Hongwei School of Computer Engineering and Science Shanghai University Shanghai200436 China Shanghai Key Laboratory of Computer Software Testing and Evaluating Shanghai201112 China

ISBN: (纸本)9781479974252

Graphical User Interface (GUI) provides a popular and convenient way for the user to freely interact with the systems which makes it widely used in various software applications;it has become an important and indispensable part of today's software. Owing to the characteristics of GUIs different from the traditional software, traditional test techniques and methods cannot satisfy the requirements of GUI testing. Modeling and testing of GUIs-based system is a difficult and challenging work. GUIs-based application is an event-driven application. In GUIs, there exist not only the input events and output events, but also the internal events. In this paper, we identify the input events, output events and internal events and propose an approach to modeling and testing of GUIs-based system using the IOLTS, and input events, output events and internal events are also taken into account. Constraints on events and regular expressions on validation of data are given out. The interactions of GUIs are constructed by the corresponding output events. Finally, tests generation and tests instantiation are given out. © 2014 IEEE.

关键词： Graphical user interfaces

来源：评论

学校读者我要写书评

暂无评论

Reusing Test Cases Based on the Function Point

引用

Journal of Donghua University(English Edition) 2014年第4期31卷 441-446页

作者：张娟童维勤蔡立志黄文彬 HWANG Jenq-Neng School of Electronic and Electrical Engineering Shanghai University of Engineering Science Shanghai Key Laboratory of Computer Software Evaluating & Testing School of Computer Engineering and Science Shanghai University School of Communication and Information Engineering Shanghai University Department of Electrical Engineering University of Washington

Reusing test cases from existing test case library is quite common in the software testing field. testing practice tells us that there is a strong relationship between the granularity of a function unit under testing and that of the test case. A function unit with small granularity usually results in the test cases with the same small granularity. Therefore a test case defined as the function point,i. e.,the smallest size function unit,was provided for the first *** test cases with smaller granularity usually have better reusability,the cost of accurately reusing and integrating such test cases is also higher. In order to balance the test case reusability and the cost of test case reuse,a novel test case reuse model based on the function point was proposed in this paper. In this model,a reusable test case for specification-based testing was defined and some reuse strategies and three formal reuse methods were given. Finally,the complete automatic software process was realized by a reusing generation tool. The new method has improved reuse accuracy,while greatly enhances the software productivity.

关键词： function point function unit test case test case suite reuse RG tool Z specification language

来源：评论

学校读者我要写书评

暂无评论

Research of performance test technology for big data applications

Research of performance test technology for big data applica...

引用

International Conference on Information and Automation (ICIA)

作者： Zhenyu Liu Shanghai Key Laboratory of Computer Software Testing and Evaluation Shanghai CHINA

This paper studies the performance test in big data application. The existing performance testing technology is not suitable for the big data application. The paper proposed test technology for performance testing. The technology provided test goal analysis, test design, load design for big data application. The character for different application could be supported to consider specific multiple test data design method under this framework. The performance technology is used to test some applications and proved effective.

关键词： testing Big data Time factors Monitoring Business Data models Servers

来源：评论

学校读者我要写书评

暂无评论

Research on software security and compatibility test for mobile application

Research on software security and compatibility test for mob...

引用

International Conference on Innovative Computing Technology (INTECH)

作者： Zhenyu Liu Yun Hu Lizhi Cai Shanghai Key Laboratory of Computer Software Testing and Evaluation Shanghai Development Center of Computer Software Technology Shanghai China

ISBN: (纸本)9781479942329

The intelligent device and mobile applications has been the growth rapidly. The mobile device and related applications has widely used increasingly. The security and compatibility concern for mobile application is mounting as well. This paper analyzed attributes of security and compatibility corresponding to mobile software testing. The software quality features for security and compatibility is given based on the software quality model. The test methods for security and compatibility are proposed according to test model and requirements for mobile applications. The relevant properties with testing techniques and methods are detailed introduced, which indicates that the test method could be effective for mobile software applications.

关键词： Mobile communication software Security Mobile handsets Mobile computing Hardware testing

来源：评论

学校读者我要写书评

暂无评论

Theory of test modeling based on regular expressions

Theory of test modeling based on regular expressions

引用

3rd International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2013

作者： Liu, Pan Miao, Huaikou College of Computer Engineering and Science Shanghai Business School Shanghai 201400 China Shanghai Key Laboratory of Computer Software Testing and Evaluating Shanghai 201112 China School of Computer Engineering and Science Shanghai University Shanghai 200072 China

ISBN: (纸本)9783319049144

This paper presents a theory of test modeling by using regular expressions for software behaviors. Unlike the earlier modeling theory of regular expression, the proposed theory is used to build a test model which can derive effective test sequences easily. We firstly establish an expression algebraic system by means of transition sequences and a set of operators. And we then give the modeling method for behaviors of software under test based on this algebraic system. Some examples are also given for illustrating our test modeling method. Compared with the finite state machine model, the expression model is more expressive for the concurrent system and can provide the accurate and concise description of software behaviors. © 2014 Springer International Publishing Switzerland.

关键词： software testing

来源：评论

学校读者我要写书评

暂无评论

An integrated recommendation approach based on influence and trust in social networks

引用

9th FTRA InternationalConference on Future Information Technology, FutureTech 2014

作者： Li, Weimin Ye, Zhengbo Jin, Qun School of Computer Engineering and Technology Shanghai University Shanghai China Shanghai Key Laboratory of Computer Software Evaluating and Testing Shanghai China Graduate School of Human Sciences Waseda University Tokorozawa Japan

ISBN: (纸本)9783642550379

In real human society, influence on each other is an important factor in a variety of social activities. It is obviously important for recommendation. However, the influence factor is rarely taken into account in traditional recommendation algorithms. In this study, we propose an integrated approach for recommendation by analyzing and mining social data and introducing a set of new measures for user influence and social trust. Our experimental results show that our proposed approach outperforms traditional recommendation in terms of accuracy and stability. © 2014 Springer-Verlag Berlin Heidelberg.

关键词： Economic and social effects

来源：评论

学校读者我要写书评

暂无评论

An approach to generating test data for EFSM paths considering condition coverage

An approach to generating test data for EFSM paths consideri...

引用

作者： Lu, Gongzheng Miao, Huaikou School of Computer Engineering and Science Shanghai University Shanghai200072 China School of Computer Engineering Suzhou Vocational University Suzhou215104 China Shanghai Key Laboratory of Computer Software Testing and Evaluating Shanghai201114 China

Model-based test case generation has become a hotspot, and automatic generation of test data is difficult in this area. In this paper, system model is represented by extended finite state machine(EFSM), and genetic algorithm is used to generate test data for EFSM paths. When computing the fitness of an individual, the branch distance and the ratio of uncovered conditions of the individual are considered. In experiments, the proposed method is compared with the Kalaji's, and the results show that our method has a better effect and can get higher quality test data. © 2014 The Authors. Published by Elsevier B.V.

关键词： Genetic algorithms

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：