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

WASE International Conference on Information Engineering (ICIE 2009)

作者： Liu Shukun Yang Xiaohua Chen Jifeng Duan Shan Hunan Int Econ Univ Dept Comp Sci & Technol Changsha 410205 Hunan Peoples R China Univ South China Dept Comp Sci & Technol Heng Yang 421001 Peoples R China

ISBN: (纸本)9780769536798

In this paper, the notation of program invariant was described, and a theory model of dynamical generating technique of invariants was researched. Then, the technology of dynamical generating technique of invariants of nonfunctional dependence was discussed. A new method of dynamical generating technique of invariants of nonfunctional dependence based on the theory of database was showed. Then, a series of detecting measures of specific nonfunctional dependence invariants were proposed. Many kinds of program invariants can be dynamically discovered by the means.

关键词： program invariant nonfunctional dependence dynamically detect quality of software condition query

来源：评论

学校读者我要写书评

暂无评论

Test Case Reduction Based on program invariant and Genetic Algorithm

Test Case Reduction Based on Program Invariant and Genetic A...

引用

6th International Conference on Wireless Communications, Networking and Mobile Computing (WICOM)

作者： Pan, Nenggang Zeng, FanPing Huang, Yu-Han Univ Sci & Technol China Sch Comp Sci & Technol Hefei 230027 Peoples R China

ISBN: (纸本)9781424437092

Test case reduction is the focus of the field of software testing. In this paper, we integrate random testing methods, invariant technology and genetic algorithms for test case reduction. program invariant here refers to the properties at some points of program, it can reveal the extent of program data coverage and other valuable information. We evaluate the parent program invariants to filter corresponding set of test cases, and keep the better ones on the offspring. Generation by generation, we can get the final reduced set of test cases. This method is easy to automate. Experimental results and analysis show that compared to similar methods, at the same coverage conditions, the method proposed in this paper have higher efficiency and can get better set of test cases.

关键词： genetic algorithms genetic algorithms invariant technology program invariant program testing random testing methods software testing test case reduction

来源：评论

学校读者我要写书评

暂无评论

Test Case Generation Based on program invariant and Adaptive Random Algorithm

Test Case Generation Based on Program Invariant and Adaptive...

引用

Advances in Information Technology and Education

作者： Yuan Yuan Zeng Fanping Zhu Guanmiao Deng Chaoqiang Xiong Neng Department of Computer University of Science and Technology of China Anhui Province Key Lab of Software in Computing and Communication

Testing is a critical activity to find software errors. And choosing an effective test suite is the key problem in software testing area. program invariant, as an attribute of program, can record the implementation state of test case very well and reveal the coverage of program data. In this paper, we integrate adaptive random testing and invariant technology, and present a new method which makes full use of the feedback information of program invariant and invalid case suite to generate the next case. Experiment results show that, compared with other similar methods, running for the same time, our method can achieve higher coverage and faster convergence speed.

关键词： Random testing program invariant Adaptive random algorithm Test case generation

来源：评论

学校读者我要写书评

暂无评论

invariant based fault localization by analyzing error propagation

引用

FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE 2019年 94卷 549-563页

作者： Wang TianTian Wang KeChao Su XiaoHong Zhang Lei Harbin Inst Technol Sch Comp Sci & Technol Harbin Heilongjiang Peoples R China Harbin Univ Sch Informat Engn Harbin Heilongjiang Peoples R China Univ Pittsburgh Sch Med Dept Radiol Pittsburgh PA USA

Software intelligence is gradually becoming an interdisciplinary field with cognitive science and other disciplines. Especially in the mission-critical areas, whether the behavior of intelligent software conforms to expectations is a crucial issue. program invariant based fault localization methods can obtain the desired behavior of the program by learning the execution information of successful test cases, and localize bugs by detecting invariant violations, which helps developers understand the cause of the failure and improve the quality of the software. This paper studies the problems of the existing methods, such as the limitation of the invariant definition, the lack of analysis on the impact of test cases and the error propagation, and tires to reduce the false negatives and false positives of invariant violation detection. First, the definition of the program invariants is enriched to localize more types of bugs. Then, the optimization strategies of reducing false positives and false negatives are studied. On the Siemens benchmark, we carried out incremental experimental analysis of the optimization strategies. The experimental results have shown that compared with the simple value range invariant based method, after performing the optimization strategies, the NScore value was increased by 75.2%, which means that our method can effectively localize more kinds of bugs. When reviewing the same percentage of code, the ratio of localized buggy versions of our method is significantly higher than that of the spectra based methods. When reviewing 1% of the code with the worst effectiveness, the ratio of localized buggy versions of our method is about 0.6, and the ratio value of the spectra-based method is about 0.2. (C) 2018 Elsevier B.V. All rights reserved.

关键词： Software fault localization program invariant Error propagation Test case selection

来源：评论

学校读者我要写书评

暂无评论

HOW TO VISUALISE ABSTRACT TOPICS IN COMPUTER AND COMMUNICATION SCIENCE

HOW TO VISUALISE ABSTRACT TOPICS IN COMPUTER AND COMMUNICATI...

引用

1st International Conference on Computer Supported Education

作者： Kucera, Ludek Charles Univ Prague Fac Math & Phys Dept Appl Math Prague Czech Republic

ISBN: (纸本)9789898111821

The paper deals with learning of algorithms and protocols using visual media and it presents experience obtained with a system Algovision developed at Charles University, Prague. The teaching of the paper is that learning objects and courses should attempt explaining why an algorithm or protocol achieves its goals rather than merely showing what is going on during the computation and/or communication and how the data change in time. This means visualising abstract topics like algorithm invariant, mathematical proof, researcher intuition, and a collection of paradigms used to achieve such task is presented, as it appeared during development of Algovision.

关键词： Algorithm visualisation Protocol visualisation Algorithm animation program invariant Mathematical proof Intuition Algorithmic idea

来源：评论

学校读者我要写书评

暂无评论

Test Case Generation based on invariant Extraction

Test Case Generation based on Invariant Extraction

引用

5th International Conference on Wireless Communications, Networking and Mobile Computing

作者： Zeng, Fanping Cao, Qing Mao, Liangliang Chen, Zhide Univ Sci & Technol China Dept Comp Hefei 230026 Anhui Peoples R China

ISBN: (纸本)9781424436927

Software testing is an effective way to find software errors. Generating a good test suite is the key. A program invariant is a property that is true at a particular program point or points. The property could reflect the program's execution over a test suite. Based on this point, we integrate the random test case generation technique and the invariant extraction technique, achieving automatic test case generation and selection. With the same invariants, compared with the traditional random test case generation technique, the experimental results show that the approach this paper describes can generate a smaller test suite.

关键词： software testing random testing test case program invariant

来源：评论

学校读者我要写书评

暂无评论

Assisting Specification Refinement by Random Testing

Assisting Specification Refinement by Random Testing

引用

15th International Conference on Formal Engineering Methods (ICFEM)

作者： Li, Mengjun Natl Univ Def Technol Sch Comp Sci Changsha Hunan Peoples R China

ISBN: (纸本)9783642412028;9783642412011

program invariants play a major role in program analysis, the specification refinement technique has the capability to generating all the required program invariants for verifying a specification. The refinement invariants generation is the main obstacles of the specification refinement. Based on random testing, this paper presents a practical assistant approach for specification refinement. The effectiveness of the approach is demonstrated on examples.

关键词： program invariant Specification Refinement Random Testing

来源：评论

学校读者我要写书评

暂无评论

AVIO: Detecting atomicity violations via access interleaving invariants

AVIO: Detecting atomicity violations via access interleaving...

引用

12th International Conference on Architectural Support for programming Languages and Operating Systems

作者： Lu, Shan Tucek, Joseph Qin, Feng Zhou, Yuanyuan Univ Illinois Dept Comp Sci Urbana IL 61801 USA

Concurrency bugs are among the most difficult to test and diagnose of all software bugs. The multicore technology trend worsens this problem. Most previous concurrency bug detection work focuses on one bug subclass, data races, and neglects many other important ones such as atomicity violations, which will soon become increasingly important due to the emerging trend of transactional memory models. This paper proposes an innovative, comprehensive, invariant-based approach called AVIO to detect atomicity violations. Our idea is based on a novel observation called access interleaving invariant, which is a good indication of programmers' assumptions about the atomicity of certain code regions. By automatically extracting such invariants and detecting violations of these invariants at run time, AVIO can detect a variety of atomicity violations. Based on this idea, we have designed and built two implementations of AVIO and evaluated the trade-offs between them. The first implementation, AVIO-S, is purely in software, while the second, AVIO-H, requires some simple extensions to the cache coherence hardware. AVIO-S is cheaper and more accurate but incurs much higher overhead and thus more run-time perturbation than AVIO-H. Therefore, AVIO-S is more suitable for in-house bug detection and postmortem bug diagnosis, while AVIO-H can be used for bug detection during production runs. We evaluate both implementations of AVIO using large real-world server applications (Apache and MySQL) with six representative real atomicity violation bugs, and SPLASH-2 benchmarks. Our results show that AVIO detects more tested atomicity violations of various types and has 25 times fewer false positives than previous solutions on average.

关键词： languages reliability concurrent program atomicity violation concurrency bug bug detection hardware support program invariant

来源：评论

学校读者我要写书评

暂无评论

Effective Online Software Anomaly Detection 2017

Effective Online Software Anomaly Detection

引用

26th ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA)

作者： Chen, Yizhen Ying, Ming Liu, Daren Alim, Adil Chen, Feng Chen, Mei-Hwa SUNY Albany Comp Sci Dept UAB 4031215 Western Ave Albany NY 12222 USA

ISBN: (纸本)9781450350761

While automatic online software anomaly detection is crucial for ensuring the quality of production software, current techniques are mostly inefficient and ineffective. For online software, its inputs are usually provided by the users at runtime and the validity of the outputs cannot be automatically verified without a predefined oracle. Furthermore, some online anomalous behavior may be caused by the anomalies in the execution context, rather than by any code defect, which are even more difficult to detect. Existing approaches tackle this problem by identifying certain properties observed from the executions of the software during a training process and using them to monitor online software behavior. However, they may require a large execution overhead for monitoring the properties, which limits the applicability of these approaches for online monitoring. We present a methodology that applies effective algorithms to select a close to optimal set of anomaly-revealing properties, which enables online anomaly detection with minimal execution overhead. Our empirical results show that an average of 76.5% of anomalies were detected by using at most 5.5% of execution overhead.

关键词： program invariant sensor placement algorithms software anomaly detection

来源：评论

学校读者我要写书评

暂无评论

A Method of Dynamical Analyzing the program

A Method of Dynamical Analyzing the Program

引用

2010 International Conference on Intelligent Computing and Cognitive Informatics (ICICCI 2010)

作者： LIU Shukun Department of Computer Science and Technology Hunan International Economics University Chang sha,China

The problem of software quality assurance has been a significant and hot issue *** technology of program designing based on the contract is very important and *** this paper,the method of design by contract was described,and the process of dynamical analyzing of the program which is based on the contract was ***,a method of program quality assurance was presented in a new way.

关键词： assertion program invariant compile dynamical analyzing

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：