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

International Conference on Computational Intelligence and software Engineering (CiSE)

作者： Zhang Juan Lizhi Cai Weiqing Tong Zhenyu Liu Ying Li Shanghai University Shanghai Shanghai CN School of Computer Engineering and Science Shanghai University Shanghai China Shanghai Key Laboratory of Computer Software Evaluating & Testing Shanghai China

How to measure reuse capability of a test case is critical in software test reuse research. A dynamic method based on Bayesian network is proposed for measure the reuse of test case. It collects the information of user's searching and reusing test cases, and then analysis the test case's reuse capability which give basis for consulting to users. The prominent characteristic of this method is that the reuse of test case is divided into three aspects in terms of different reuse preference that improve the accuracy of metric.

关键词： Bayesian methods software testing Costs software reusability computer networks software measurement software libraries Embedded software Laboratories Finance

来源：评论

学校读者我要写书评

暂无评论

Analyzing Reliability of Time Constrained Service Composition

Analyzing Reliability of Time Constrained Service Compositio...

引用

International Conference on computer and Information Science (ACIS)

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

As a way to compose independent services together to fulfill a function, service composition is an important means for flexible and rapid information integration of complex distribution application in open and heterogeneous environment. Because the participating services may be failure or unavailable, how to guarantee the quality of service composition has become a challenging problem. A service composition model based on Timed Petri net (SCTPN) is proposed in this paper, which is capable of accurately capturing transaction behaviors and time constraints of services. The basic relationships and failure processing strategies between services are also characterized by SCTPN model. Based on states of the constructed SCTPN model, we propose the concepts of greatest concurrent set and transfer matrix to analyze reliability related properties of SCTPN model. Two simplification schemas are established to reduce the complexity of computation. Finally, three specific experiments are conducted to explain the effectiveness of proposed method.

关键词： Time factors Distributed computing Quality of service computer science Reliability engineering Petri nets computer networks Web services Information science Information analysis

来源：评论

学校读者我要写书评

暂无评论

Combination of Wavelet Packet Transform and Hilbert-Huang Transform for Recognition of Continuous EEG in BCIs

Combination of Wavelet Packet Transform and Hilbert-Huang Tr...

引用

2009 2nd IEEE International Conference on computer Science and Information Technology(第二届计算机科学与信息技术国际会议 ICCSIT2009)

作者： Ling Yuan Banghua Yang Shiwei Ma Biao Cen Shanghai Key Laboratory of Power Station Automation Technology Department of Automation College of Department of Software Testing Tech-Front Computer Co.Ltd Shanghai China

An improved Hilbert-Huang transform(HHT) combined with wavelet packet transform(WPT) is proposed for recognizing continuous electroencephalogram(EEG) in brain computer interfaces(BCIs). The HHT consists of empirical mode decomposition(EMD) and Hilbert–Huang spectrum(HHS). Firstly, the WPT decomposes the signal into a set of narrow band signals, then a series of Intrinsic Mode Functions(IMFs) can be obtained after application of the EMD. Whereafter, two kinds of screening processes are conducted on the first two IMFs of each narrow band signal to remove unrelated IMFs. Hilbert Transform(HT) is then employed to calculate the HHS, from which energy changes in mu-rhythm and beta-rhythm can be recognized clearly. Datasets I of BCI competition IV 2008 are analyzed. The results show that the proposed method has better discriminability than the traditional HHT among different states. The proposed algorithm has the potentiality to trace mu-rhythm and betarhythm changes, which paves a way for a more enhanced BCI performance.

关键词： wavelet packet transform(WPT) Hilbert-Huang Transform(HHT) feature eztraction electroencephalogram (EEG) brain-computer interface(BCI)

来源：评论

学校读者我要写书评

暂无评论

The Web Application Test Based on Page Coverage Criteria

引用

Journal of Donghua University(English Edition) 2008年第3期25卷 291-296页

作者：蔡立志童维勤杨根兴 School of Computer Engineering and Science Shanghai University The Key Lab of Software Testing and Evaluating

software testing coverage criteria play an important role in the whole testing *** current coverage criteria for web applications are based on program or *** are not suitable for black-box test or intuitional to *** paper defines a kind of test criteria based on page coverage sequences only navigated by web application,including Page_Single,Page_Post,Page_Pre,Page_Seq2,Page_*** test criteria based on page coverage sequences made by interactions between web application and browser are being under consideration after *** order to avoid ambiguity of natural language,these coverage criteria are depicted using Z formal *** empirical result shows that the criteria complement traditional coverage and fault detection capability criteria.

关键词： web application coverage criteria browser interaction Z formal language

来源：评论

学校读者我要写书评

暂无评论

Practical Strategies to Improve Test Efficiency

引用

Tsinghua Science and Technology 2007年第S1期12卷 250-254页

作者：丁志刚汪泓澄凌良合 Shanghai Development Center of Software Technology Shanghai Key Laboratory of Computer Software Evaluating and Testing

This paper introduces strategies to detect software bugs in earlier life cycle stage in order to improve test efficiency. Static analysis tool is one of the effective methods to reveal software bugs during software development. Three popular static analysis tools are introduced, two of which, PolySpace and Splint, are compared with each other by analyzing a set of test cases generatedd by the authors. PolySpace can reveal 60% bugs with 100% R/W ratio (ratio of real bugs and total warnings), while Splint reveal 73.3% bugs with 44% R/W ratio. And they are good at finding different categories of bugs. Two strategies are concluded to improve test efficiency, under the guideline that static analysis tools should be used in finding different categories of bugs according to their features. The first one aims at finding bugs as many as possible, while the second concentrates to reduce the average time on bug revelation. Experimental data shows the first strategy can find 100% bugs with 60% R/W ratio, the second one find 80% bugs with 66.7% R/W ratio. Experiment results prove that these two strategies can improve the test efficiency in both fault coverage and testing time.

关键词： static analysis PolySpace splint software bug

来源：评论

学校读者我要写书评

暂无评论

Practical Strategies to Improve Test Efficiency

Practical Strategies to Improve Test Efficiency

引用

第十二届全国容错计算学术会议

作者： DING Zhigang WANG Hongcheng LING Lianghe Shanghai Development Center of Software Technology Shanghai Key Laboratory of Computer Software Evaluating and TestingShanghai 201114China

This paper introduces strategies to detect software bugs in earlier life cycle stage in order to improve test efficiency. Static analysis tool is one of the effective methods to reveal software bugs during software development. Three popular static analysis tools are introduced, two of which, PolySpace and Splint, are compared with each other by analyzing a set of test cases generatedd by the authors. PolySpace can reveal 60％ bugs with 100％ R/W ratio (ratio of real bugs and total warnings), while Splint reveal 73.3％ bugs with 44％ R/W ratio. And they are good at finding different categories of bugs. Two strategies are concluded to improve test efficiency, under the guideline that static analysis tools should be used in finding different categories of bugs according to their features. The first one aims at finding bugs as many as possible, while the second concentrates to reduce the average time on bug revelation. Experimental data shows the first strategy can find 100％ bugs with 60％ RAN ratio, the second one find 80％ bugs with 66.7％ R/W ratio. Experiment results prove that these two strategies can improve the test efficiency in both fault coverage and testing time.

关键词： static analysis PolySpace splint software bug

来源：评论

学校读者我要写书评

暂无评论

A Reliability Evaluation Framework on Service Oriented Architecture

A Reliability Evaluation Framework on Service Oriented Archi...

引用

International Conference on Pervasive Computing and Applications (ICPCA)

作者： Zhenyu Liu Ning Gu Genxing Yang Department of Computing and Information Technology Fudan University China Shanghai Key Laboratory of Computer Software Evaluating and Testing China

SOA, service oriented architecture, is becoming popular and the prevalent approach for realizing modern services and system. And how to carry out quality control according to the method of SOA is now being widely studied. Especially, the QoS based on composition of Web service has been studied widely. In this paper, the study mainly concerns the reliability under the environment of SOA. A novel framework of evaluation under reliability has proposed. At the same time, the evaluation model is based on decomposition of reliability quality that used in pervasive computing. This framework brought forward considering the quality information of Web service composite by defining specific reliability evaluation characteristics in Web service. The reliability of SOA can be improved under the given case in practice.

关键词： Service oriented architecture Web services Quality of service Simple object access protocol Quality control Pervasive computing Application software XML Information technology Laboratories

来源：评论

学校读者我要写书评

暂无评论

The Multi-version and Single-display Strategy in Undo Scheme

The Multi-version and Single-display Strategy in Undo Scheme

引用

International Conference on computer and Information Technology (CIT)

作者： Jiangming Yang Qiwei Zhang Ning Gu Genxing Yang Zhenyu Liu Department of Computing and Information Technology Fudan University China Software Testing and Evaluating Shanghai key Laboratory of Computer China

ISBN: (纸本)076952432X

Consistency maintenance is one of the most significant challenges in groupware systems. In groupware systems, the effect of incorrect execution will be more extensive for it is done in distributed group editors, so the user will have more dependence on undo. While intention violation puzzle has never been addressed in any published work, it will destroy the consistency and lead to a crash. We propose a Mark & Retracing based method to reach the goal of consistency maintenance and achieve multi-version and single-display strategy in undo scheme. It is different from operation transformation method and provides a new perspective into group editors

关键词： Collaborative software Collaborative work Information technology Sun Laboratories software testing computer crashes Application software computer graphics computer networks

来源：评论

学校读者我要写书评

暂无评论

An automate test case generation approach: using match technique

An automate test case generation approach: using match techn...

引用

International Conference on computer and Information Technology (CIT)

作者： Zhenyu Liu Ning Gu Genxing Yang Department of Computing and Information Technology Fudan University China Shanghai Key Laboratory of Computer Software Evaluating and Testing China

The paper studies the principle of test case reuse technique and put forward an automatically test case generation approach. The paper proposes standardized description of the test case firstly. The reusable test case is depicted in a way similar to the definition of software component. And then the interface of test case is defined using the analogous method of the description of facet in reusable software component. Based on these technique, an automate method of test case is presented. An algorithm of the mapping from case search to test case tree is given to fulfil the goal of reusing test case. Based on the architecture given in the paper, the software test case could be reused and generated automatically during the development of test case. The technology of test case generation could improve test efficiency and qualification.

关键词： Automatic testing computer aided software engineering software testing software reusability Life testing Information technology software quality Laboratories computer architecture Qualifications

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：