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

4th International Conference on Multimedia Technology, ICMT 2015

作者： Lu, Ping Yang, Yi Sheng, Bin Li, Ping Chen, Mingang Wu, Dan School of Information Science and Engineering Southeast University Nanjing China Department of Computer Science and Engineering Shanghai Jiao Tong University Shanghai China Department of Mathematics and Information Technology Hong Kong Institute of Education Hong Kong Shanghai Key Laboratory of Computer Software Testing and Evaluating Shanghai Development Center of Computer Software Technology Shanghai China Information Center China Southern Power Grid Co. Ltd Guangzhou China

ISBN: (纸本)9781138027947

The field of practical character recognition has seen great advances these years, owing the to proposition of effective newmethod and progress in computer hardware. However, lots of problems like precision and progressing speed remain to be solved. This paper proposes a useful practical optical character recognition method of both Chinese character and English character. Given a photo randomly taken, we pre-progress it to undo the influence of light and tilt. Then we separate each word to extract 8-direction chain-code feature of it. When faced with complex scene, the method we propose achieve relatively high precision and fast speed. © 2015 Taylor & Francis Group.

关键词： Optical character recognition

来源：评论

学校读者我要写书评

暂无评论

A Visual Modeling and Transformation Tool for Multiple Representations of Probabilistic Behavior Model

A Visual Modeling and Transformation Tool for Multiple Repre...

引用

International Conference on Applied Computing and Information Technology/International Conference on Computational Science and Intelligence (ACIT-CSI)

作者： Kun Zhao Huaikou Miao Jinyu Kai Jiaan Zhou Honghao Gao School of Computer Engineering and Science Shanghai University Shanghai China Shanghai Key Laboratory of Computer Software Testing & Evaluating Shanghai China Computing Center Shanghai University Shanghai China

ISBN: (纸本)9781467396431

Probabilistic model checker plays an important role in quantitative verification for required properties of probabilistic behavior model. PRISM is a well-used tool to be used as a probabilistic model checker. It takes PRISM language to describe probabilistic behavior model. But it is difficult for users of variety background to understand the PRISM language quickly. Meanwhile, manually writing is error-prone and it may miss some information of model. In addition, probabilistic behavior model may appear in many forms, such as UML state diagram, probability matrix, and so on, which should be manually written to the corresponding PRISM model for probabilistic model checking. It increases the cost and error-prone. To settle these problems, this paper introduces a prototype tool, implemented in Java and Graphviz toolkit, called VMTT (Visual Modeling and Transformation Tool) which supports visual modeling and transformation for multiple representations of probabilistic behavior model including probabilistic matrix, XMI form of UML state diagram and PRISM language. VMTT can also call PRISM for the verification of required properties of probabilistic behavior model that provides convenience for the users of PRISM.

关键词： Unified modeling language Probabilistic logic Visualization Analytical models Computational modeling Model checking Java

来源：评论

学校读者我要写书评

暂无评论

Survivability prediction of web system based on log statistics

Survivability prediction of web system based on log statisti...

引用

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

作者： Jiaan Zhou Huaikou Miao Jinyu Kai Kun Zhao Honghao Gao School of Computer Engineering and Science Shanghai University Shanghai China Shanghai Key Laboratory of Computer Software Testing & Evaluating Shanghai China Computing Center Shanghai University Shanghai China

Widely applied and quickly developed as the SOA theory has been, the instability of distributed Web services will lead to services composition failure. Currently, a hot research topic is that when does the system can make an appropriate adjustment of the system structure dynamically to ensure the system runs at the best performance while the runtime environment or requirement is changed. To address this problem, this paper proposes an approach to predicting the system survivability which bases on log statistic. The method gets the system usage model by monitoring Web log files, and then constructs value model and adopts quantitative model checking to forecast the system survivability to estimate whether the system is survivable in a certain period of time.

关键词： Model checking Business Markov processes Data models Web services Predictive models Probabilistic logic

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：