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

International Conference on Information Technology

作者： Chen, TY Grant, DD Lau, MF Ng, SP Vasa, VR Swinburne Univ Technol Sch Informat Technol Hawthorn Vic 3122 Australia

ISBN: (纸本)0780377249

This paper presents a system which generates test cases from Boolean expressions. The system is based on the integration of several fault-based test case selection strategies developed by us. Our system generates test cases that are guaranteed to detect all single operator fault and all single operand faults when the Boolean expression is in irredundant disjunctive normal form. Apart from being an automated test case generation tool developed for software testing practitioners, this system can also be used as a training or self-learning tool for students as well as software testing practitioners.

关键词： black-box testing Boolean expression fault-based testing specification-based testing test case generator

来源：评论

学校读者我要写书评

暂无评论

Fast and Sound Random Generation for Automated testing and Benchmarking in Objective Caml

Fast and Sound Random Generation for Automated Testing and B...

引用

ACM SIGPLAN Workshop on ML

作者： Canou, Benjamin Darrasse, Alexis Univ Paris 06 CNRS Lab Informat Paris 6 Equipe APRDept CALSCIUMR 7606 F-75005 Paris France

ISBN: (纸本)9781605585093

Numerous software testing methods involve random generation of data structures. However, random sampling methods currently in use by testing frameworks are not satisfactory: often manually written by the programmer or at best extracted in an ad-hoc way relying on no theoretical background. On the other end, random sampling methods with good theoretical properties exist but have a too high cost to be used in testing, in particular when large inputs are needed. In this paper we describe how we applied the recently developed Boltzmann model of random generation to algebraic data types. We obtain a fully automatic way to derive random generators from Objective Caml type definitions. These generators have linear complexity and, the generation method being uniform, can also be used as a sound sampling back-end for benchmarking tools. As a result, we provide testing and benchmarking frameworks with a sound and fast generation basis. We also provide a testing and benchmarking library, available for download (1), showing the viability of this experiment.

关键词： Random generation specification-based testing Algebraic Data Types Boltzmann model

来源：评论

学校读者我要写书评

暂无评论

Utilizing an Abstraction Relation Document in Grey-Box testing Approach

Utilizing an Abstraction Relation Document in Grey-Box Testi...

引用

International Conference on Electrical Engineering and Informatics

作者： Baharom, Salmi Shukur, Zarina Univ Putra Malaysia Fac Comp Sci & Informat Technol Serdang 43400 Selangor Malaysia Univ Kebangsaan Malaysia Fac Sci & Informat Technol Bangi Malaysia

ISBN: (纸本)9781424449125

This paper describes the test oracle generation from an abstraction relation document that is documented using Parnas's Module Documentation (MD) method. This work is part of on-going research that addresses the problem of improving the effectiveness of fault detection. We focus our work on unit/module testing where each module may consist of several programs. The aim of our project is to investigate the strategies and techniques to automate module testing. In particular, we investigate the use of MD that is written in standard mathematical notation to automate the process of test oracle generation and test execution.

关键词： specification-based testing test oracle automated module testing

来源：评论

学校读者我要写书评

暂无评论

On the Coverage of Program Code by specification-based Tests

On the Coverage of Program Code by Specification-based Tests

引用

9th International Conference on Quality Software (QSIC 2009)

作者： Yu, Y. T. Chan, Eric Y. K. Poon, P. -L. City Univ Hong Kong Dept Comp Sci Kowloon Tong Hong Kong Peoples R China Honkong Polytech Univ Hung Hom Sch Accounting & Finance Kowloon Hong Kong Peoples R China

ISBN: (纸本)9781424459124

Generating test cases from the specification can be done early in the software development life cycle. A test suite systematically generated from the software specification can be comprehensive in ensuring the intended functions to be exercised. Such a test suite is also instrumental in facilitating early discovery of software defects. On the other hand, an adequate level of code coverage is required to inspire confidence of the testing and quality assurance process. To examine the effectiveness of a specification-based test suite in covering program code, we conducted an exploratory case study which involved many different versions of programs that implemented the same specification. On the basis of the case study, this paper identifies the types of path in the programs, suggests enhancements to the existing test generation methods, and discusses several issues on how the code coverage can be improved.

关键词： category-partition method classification-tree method code coverage path coverage specification-based testing

来源：评论

学校读者我要写书评

暂无评论

TBFV-SE: testing-based Formal Verification with Symbolic Execution 18

TBFV-SE: Testing-Based Formal Verification with Symbolic Exe...

引用

18th IEEE International Conference on Software Quality, Reliability, and Security (QRS)

作者： Wang, Rong Liu, Shaoying Hosei Univ Dept Comp Sci Tokyo Japan

ISBN: (纸本)9781538677575

testing-based Formal Verification (TBFV) is a rigorous and potentially automated approach to verifying the correctness of traversed program paths based on specification-based testing and Hoare logic, but its capability is limited due to the fact that Hoare logic may not be applicable. To address this challenge, we propose to use symbolic execution to replace Hoare logic in the existing TBFV, thus enhance the capability of TBFV. We call the newly proposed approach TBFV-SE (TBFV-Symbolic Execution). The advantage of TBFV-SE over the existing TBFV lies in its applicability to wide range of programs while preserving its characteristic of full automation. We descirbe the principle of TBFV-SE and present two case studies to demonstrate its feability and usability. We also discuss the condition under which TBFV-SE can be effectively used and potential challenges in building a tool support.

关键词： symbolic execution specification-based testing path correctness proof testing-based verification

来源：评论

学校读者我要写书评

暂无评论

Linking Aging Measurements of Health-Monitors and specifications for Multi-Processor SoCs

Linking Aging Measurements of Health-Monitors and Specificat...

引用

9th IEEE International Conference on Design and Technology of Integrated Systems In Nanoscale Era (DTIS)

作者： Kerkhoff, Hans G. Wan, Jinbo Zhao, Yong Univ Twente CTIT Testable Design & Test Integrated Syst TDT Grp NL-7500 AE Enschede Netherlands

ISBN: (纸本)9781479949724

A new generation of highly dependable multiprocessor Systems-on-Chip for safety-critical applications under harsh environments with zero down-time is emerging. In this paper(1), the approach towards reaching this ultimate goal is explained. Crucial is this method is linking the measurement data of so-called (on-chip) health monitors during life time with the measurements of degrading key performance parameters of the cores involved. The focus will be here on processor cores, with delay as one of the most critical aging dependent parameters. An extensive (accelerated)-test program was set-up to evaluate the aging of both the health monitors as well as delay of an industrial reconfigurable processor core in harsh environments. The correlation between them will serve as the basis of real-time on-chip health-monitoring based prognostics for life-time prediction, enabling a zero down-time for safety-critical applications.

关键词： Dependable MP-SoC systems prognostics real-time on-chip health-monitoring accelerated reliability testing specification-based testing

来源：评论

学校读者我要写书评

暂无评论

On the effectiveness of specification-based structural test-coverage criteria as test-data generators for safety-critical systems

On the effectiveness of specification-based structural test-...

引用

作者： George, Devaraj University of Minnesota

学位级别：Ph.D.

specification based testing aims to reduce the cost of testing and increase the reliability of systems that are of a safety critical nature. A major benefit of a formal specification is the ability to automatically construct test sequences that can be executed on the implementation software. A significant portion of the testing effort in such systems requires us to demonstrate test coverage as mandated by regulatory agencies. specification based structural test-coverage criteria that mimic source code based criteria offer us a way to analyze the structure of the specification. This typically requires coverage of certain elements such as states, branches, and decisions. These formal specifications also provide us with a means to automatically generate test sequences to satisfy test coverage. Since one of the goals of software testing is to demonstrate the existence of faults, selection of test sequences that can reveal faults is of paramount importance. Nevertheless, the relationship between test-coverage criteria and fault detection is not well established in testing literature. In this dissertation, we investigate the effectiveness of test-coverage criteria when used to drive test-data generation in the safety-critical systems domain. We provide two core contributions. First, due to the lack of sufficient evidence in testing research regarding the quality of test sets generated to satisfy test-coverage criteria, we empirically evaluate the fault-finding ability of test-sets generated to various test coverage criteria proposed in the testing literature. Second, we study the effect of test-suite reduction techniques on the generated test-data sets to empirically evaluate the sensitivity of test-coverage criteria to test-suite reduction techniques. Our findings have raised serious doubts about the use of test-coverage criteria as test-data generators in this domain. In the initial studies conducted, test sequences generated to these coverage criteria perform significa

关键词： Safety-critical systems Software engineering specification-based testing

来源：评论

学校读者我要写书评

暂无评论

Formal models for web navigations with session control and browser cache

引用

6th International Conference on Formal Engineering Methods

作者： Chen, J Zhao, XS Univ Windsor Sch Comp Sci Windsor ON N9B 3P4 Canada

ISBN: (纸本)3540238417

While providing better performance, transparency and expressiveness, the main features of the web technologies such as web caching, session and cookies, dynamically generated web pages etc. may also affect the correct understanding of the web applications running on top of them. From the viewpoint of formal verification and specification-based testing, this suggests that the formal models of the web applications we use for static analysis or test case generation should subsume the abstract behavior of their supporting environment. Here we provide the definition of such a model in terms of labelled transition systems from a given abstract description of the navigations of a web application by incorporating the abstract behavioral model of the web browsers in the presence of session control and browser cache. The significance of the work is twofold: on one hand, it provides a formal basis for better understanding of the web systems;on the other hand, it lays the ground work for both model checking and specification-based testing on the web applications where we take into account the affect of the internal mechanism to the correct web navigations, which can be quite sensitive to the security of the information they carry.

关键词： labelling transition systems operational semantics model checking specification-based testing web navigation web caching

来源：评论

学校读者我要写书评

暂无评论

A Method for Systematically Generating Tests from Object-Oriented Class Interfaces

A Method for Systematically Generating Tests from Object-Ori...

引用

作者： Mungara, Mahesh Babu Virginia Tech | University

This thesis describes the development and evaluation of a manual black-box testing method inspired by Zweben’s test adequacy criteria, which apply white-box analogues of all-DU-pairs and all-nodes to a flow graph generated from the black-box specification. The approach described herein generates tests from a matrix representation of a class interface based on the flow graph concept. In this process, separate matrices for all-DU-pairs and all-nodes guide the generation of the required tests. The primary goal of the research is not to optimize the number of tests generated but to describe the process in a user-friendly manner so that practitioners can utilize it directly, quickly, and efficiently for real-world testing purposes. The approach has been evaluated to assess its effectiveness at detecting bugs. Both strategies - all-DU-pairs and all-nodes - were compared against three other testing methods: the commercial white-box testing tool Jtest, Orthogonal Array testing Strategy (OATS), and test cases generated at random. The five approaches were applied across a sample of eleven java classes selected from ***.*. Experimental results indicate that the two versions resulting from this research performed on par with or better than their respective equivalent approaches. The all-DU-pairs method performed better than all other approaches except for the random approach, with which it compared equally. Experimental evaluation results thus indicate that an automated approach based on the manual method is worth exploring.

关键词： all-nodes class Interfaces all-DU-pairs specification-based testing Thesis

来源：评论

学校读者我要写书评

暂无评论

From Object-Z specifications to ClassBench test suites

引用

SOFTWARE testing VERIFICATION & RELIABILITY 2000年第2期10卷 111-137页

作者： Carrington, D MacColl, I McDonald, J Murray, L Strooper, P Univ Queensland Sch Elect Engn & Comp Sci Software Verificat Res Ctr Brisbane Qld 4072 Australia

This paper describes a method for specification-based class testing that incorporates test case generation, execution, and evaluation based on formal specifications. This work builds on previous achievements in the areas of specification-based testing and class testing by integrating the two within a single framework, The initial step of the method is to generate test templates for individual operations from a specification written in the Object-Z specification language, These test templates are combined to produce a finite state machine for the class that is used as the basis for test case execution using the ClassBench test execution framework. An oracle derived from the Object-Z specification is used to evaluate the outputs. The method is explained using a simple example and its application to a more substantial case study is also discussed Copyright (C) 2000 John Whey & Sons, Ltd.

关键词： specification-based testing Object-Z class testing ClassBench oracles

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：