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

Random vs. structure-based testing of Answer-Set Programs: An Experimental Comparison

11th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR)

作者： Janhunen, Tomi Niemela, Ilkka Oetsch, Johannes Puehrer, Joerg Tompits, Hans Aalto Univ Dept Informat & Comp Sci POB 15400 FI-00076 Aalto Finland Techn Univ Wien Inst Informat Syst A-1040 Vienna Austria

ISBN: (纸本)9783642208942;9783642208959

Answer-set programming (ASP) is an established paradigm for declarative problem solving, yet comparably little work on testing of answer-set programs has been done so far. In a recent paper, foundations for structure-based testing of answer-set programs building on a number of coverage notions have been proposed. In this paper, we develop a framework for testing answer-set programs based on this work and study how good the structure-based approach to test input generation is compared to random test input generation. The results indicate that random testing is quite ineffective for some benchmarks, while structure-based techniques catch faults with a high rate more consistently also in these cases.

关键词： answer-set programming structure-based testing random testing

来源：评论

学校读者我要写书评

暂无评论

Toward an integration of data flow and domain testing

引用

JOURNAL OF SYSTEMS AND SOFTWARE 1999年第1期45卷 19-30页

作者： Jeng, B Natl Sun Yat Sen Univ Dept Informat Management Kaohsiung 80424 Taiwan

Data flow and domain testing are both well-known program-based testing techniques. Each has its intuitive appeal, but their widespread use has been hampered by practical limitations. Data flow testing provides a number of structural coverage criteria, which are of low cost but are not well-suited for finding faults involving special values or small shifts in domain boundaries. Domain testing is designed to uncover boundary shift faults of a given path domain, but it lacks a path selection criterion to guide the selection of testing paths from a program. By letting a variable definition be "domain tested", this paper presents an integrated approach that keeps the strengths of the two testing strategies while avoiding their deficiencies. (C) 1999 Elsevier Science Inc. All rights reserved.

关键词： data flow testing domain testing fault-based testing structure-based testing software testing

来源：评论

学校读者我要写书评

暂无评论

Verification of a safety-related I&C system for nuclear power plant by model checking, test case generation and automatic testing 27

Verification of a safety-related I&C system for nuclear powe...

引用

IEEE 27th International Conference on Emerging Technologies and Factory Automation (ETFA)

作者： Ausberger, Tomas Kubicek, Karel Medvecova, Pavla Wolf, Jindrich Univ West Bohemia NTIS New Technol Informat Soc Fac Appl Sci Tech 8 Plzen 30614 Czech Republic

ISBN: (数字)9781665499965

ISBN: (纸本)9781665499965

This article describes a process for modern verification of safety-related I&C (Instrumentation and Control) systems based on algorithm model checking, model-based test case generation and automatic testing. The verification process is compatible with IEC 60880 standard, and utilises methods presented in previously published articles including automatic formalisation and model checking of FBD algorithms and modelbased test case generation. This verification process was applied on a real safety-related I&C system for a nuclear power plant. Due to confidentiality of the real application, the process is presented mostly on an simplified example. Nevertheless, the presented results contain information about both the example model and the real safety-related I&C system. These results are utilised for discussion about suitability and efficiency of the presented verification process.

关键词： automatic tests Function Block Diagram I&C systems model checking nuclear power plant REXYGEN safety-related systems SMV structure-based testing test case generation verification

来源：评论

学校读者我要写书评

暂无评论

Sequential test generators: past, present and future

引用

INTEGRATION-THE VLSI JOURNAL 1998年第1-2期26卷 41-54页

作者： Kim, YC Saluja, KK Univ Wisconsin Dept Elect & Comp Engn Madison WI 53706 USA

With the growth in complexity of very large scale integration (VLSI) circuits, test generation for sequential circuits is becoming increasingly difficult and time consuming. Even though the computing power and resources have multiplied dramatically over last few decades, an increasing number of memory elements in VLSI circuits require more effective and powerful sequential test generators. In this paper, we describe and illustrate the working of existing sequential circuit test generation algorithms for the VLSI circuits. We also categorize all sequential testing algorithms, and summarize their relative advantages and disadvantages. The research issues and future directions in the sequential circuit testing area are also discussed. (C) 1998 Published by Elsevier Science B.V. All rights reserved.

关键词： automatic test pattern generation sequential circuit test generation structure-based testing test generation algorithms

来源：评论

学校读者我要写书评

暂无评论

Automatic test set generation for function block based systems using model checking 9

Automatic test set generation for function block based syste...

引用

9th International Conference on the Quality of Information and Communications Technology (QUATIC)

作者： Lahtinen, Jussi VTT Tech Res Ctr Finland Espoo Finland

ISBN: (纸本)9781479961337

Many nuclear instrumentation and control (I&C) systems are designed using a function block diagram description of the system. Strict requirements pertain to the verification of these systems. Different verification techniques, including structure-based testing, are demanded by standards and the regulators. Unfortunately, the traditional structure-based test techniques intended for software code are not directly applicable to function block diagrams. However, coverage criteria for function block diagrams have recently been developed. In this work we have used these coverage criteria and developed a technique for generating structure-based test sets for function block based designs. The test set is automatically generated but the technique requires that a model checking model of the system is available. The technique utilises model checking to determine the concrete test cases. We have also described how tests can be generated so that multiple test requirements can be fulfilled at once, thus decreasing the number of generated test cases. We have implemented our approach as a proof-of-concept tool, and demonstrated the technique on a case study system.

关键词： Circuit faults Feedback loop IEC standards Model checking Software function block diagram model checking nuclear automation structure-based testing test generation

来源：评论

学校读者我要写书评

暂无评论

Test case generation for Function Block Diagram based on blocks' predefined behaviour 23

Test case generation for Function Block Diagram based on blo...

引用

23rd International Conference on Process Control (PC)

作者： Ausberger, Tomas Kubicek, Karel Medvecova, Pavla Myslivec, Tomas Univ West Bohemia NTIS New Technol Informat Soc Fac Appl Sci Tech 8 Plzen 30614 Czech Republic

ISBN: (纸本)9781665403306

Automatic test case generation based on knowledge of a model is currently a challenge for many researchers and developers. This article describes the first of two complementary methods for test case generation for Function Block Diagram (FBD) models and grey-box testing. The first method utilises predefined tested behaviour (unit tests) of each used Function Block and combines them together. This method adds a structural limitation to the model. Therefore, the model needs to be split into multiple parts and processed per partes. The second method is then used for a combination of these partial results. Together these two methods can generate test cases even for models that include feedbacks, internal states, and traffic delays.

关键词： automatic tests Function Block Diagram structure-based testing test case generation verification unit test model checking

来源：评论

学校读者我要写书评

暂无评论

Model Checking Large Nuclear Power Plant Safety System Designs

Model Checking Large Nuclear Power Plant Safety System Desig...

引用

作者： Jussi Lahtinen Aalto University

学位级别：博士

Digital instrumentation and control (I&C) systems are increasingly being used for implementing safety-critical applications such as nuclear power plant safety systems. The exhaustive verification of these systems is challenging, and verification methods such as testing and simulation are typically insufficient. Model checking is a formal method for verifying the correctness of a system design model. The requirements of the system are formalised using temporal logic, and the behaviour of the system model is exhaustively analysed with respect to these formal specifications. The method is very effective in finding hidden design errors. Model checking is computationally very demanding, and thus one of the challenges in applying model checking is its scalability. This dissertation discusses the verification of larger systems implementing multiple functions using model checking. First of all, this dissertation presents methodology for modelling safety system designs, and describes a simple abstraction technique for models of these systems that utilises modular over-approximating abstractions. Furthermore, the dissertation presents the development of an iterative abstraction refinement algorithm for the purpose of automatically finding an abstraction level suitable for verification. This dissertation also studies hardware failures, and creates an extension of the safety system modelling methodology that enables the analysis of fault-tolerance properties in large many- redundant system assemblies. The methodology follows closely the conventions of probabilistic risk assessment (PRA), and serves as a first step for further integration between model checking and PRA. Finally, this work presents the development of a test set generation technique based on model checking that utilises the structure of function block diagram (FBD) programs. The results of this work have a high significance to safety because the developed techniques can be used to verify the correctness of safety

关键词： model checking automation nuclear PLC Function Block Diagram fault-tolerance instrumentation and control I&C iterative abstraction refinement compositional minimization formal verification safety system structure-based testing test generation

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：