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

A STRUCTURAL testing METHOD FOR JSP DESIGNED programS

SOFTWARE-PRACTICE & EXPERIENCE 1987年第2期17卷 135-157页

作者： ROPER, M SMITH, P Department of Mathematics and Computer Studies Sunderland Polytechnic Priestman Building Green Terrace Sunderland Tyne & Wear SRI 3SD U.K.

A new structural testing method (STM) is presented for use with JSP (Jackson structured programming) designed programs. The method involves the creation of a path expression from the program structure and subsequent expansion of the expression into a set of paths using an algebra described in the paper. The treatment of each JSP construct is dealt with in detail. A worked example demonstrates the use of the method to generate test cases. The method is compared in terms of coverage to other well-known structural testing methods. The advantages and disadvantages of the method are discussed and further work currently being undertaken by the authors is outlined.

关键词： program testing JSP Verification and validation Structural testing method

来源：评论

学校读者我要写书评

暂无评论

Rule-based searching for collision test cases of autonomous vehicles simulation

引用

IET INTELLIGENT TRANSPORT SYSTEMS 2018年第9期12卷 1088-1095页

作者： Masuda, Satoshi Nakamura, Hiroaki Kajitani, Kohichi IBM Res Tokyo Chuo Ku 19-21 Nihonbashi Hakozaki Cho Tokyo Japan

Research and development in the field of autonomous vehicles has increased along with related work on automated driving (AD) software. Thorough testing of AD software using simulations must be conducted in advance of testing AD cars on the road. Parameters of the many objects around an AD car, such as other cars, traffic lanes and pedestrians are required as inputs of the simulation. Therefore, the number of parameter combinations becomes extremely large. A combination of parameters is called a test case;hence, the challenge is to search collision test cases from the extremely large number of combinations. A rule-based method is the main focus because an explicit method of searching test cases is required in certain industries in the real world. In this study, a method of rule-based searching for collision test cases of autonomous vehicles simulations is proposed. Simulation models that have rules between an AD car and other cars are defined. Algorithms were also developed to search collision test cases that generate test cases incrementally. Experiments on AD simulations involving the simulation models of a three-lane highway and a signalised intersection were conducted. The results indicate the efficiency of the method.

关键词： mobile robots road traffic program testing control engineering computing digital simulation traffic engineering computing rule-based searching collision test cases autonomous vehicles simulation research-and-development automated driving software AD software AD software testing AD car traffic lanes pedestrians parameter combinations rule-based method three-lane highway AD simulations signalised intersection

来源：评论

学校读者我要写书评

暂无评论

MBT in agile/lightweight processes: a process-centred review

引用

IET SOFTWARE 2019年第5期13卷 327-337页

作者： Taromirad, Masoumeh Ramsin, Raman Sharif Univ Technol Dept Comp Engn Tehran Iran

This study presents a process-driven view on the use of model-based testing (MBT) in agile/lightweight processes. It argues that process-related aspects of MBT and agile processes should be explicitly considered in any practical MBT approach intended for use in agile development (AD). It demonstrates that an effective MBT approach for lightweight processes has to specify how MBT activities are integrated into a development process, how and when MBT artefacts are generated in relation to other development artefacts, and who would carry out MBT activities. Accordingly, a set of integration criteria is introduced for complete incorporation of MBT into agile/lightweight processes. The integration criteria demonstrate the specific characteristics of an appropriate MBT process for AD processes, and help identify the benefits and shortcomings of existing methods on the use of MBT in such processes. Evaluation of existing works based on the proposed integration criteria shows that they have all focused on minimal modelling, and only one method has considered the 'evolution' of test models and the 'reuse' of test cases, whereas 'evolution' and 'reuse' are essential characteristics of agile processes, which have to be addressed in any MBT approach intended for such processes.

关键词： program testing Web services software engineering development process MBT artefacts MBT activities integration criteria agile lightweight processes appropriate MBT process AD processes agile processes process-centred review process-driven view process-related aspects practical MBT approach agile development effective MBT approach

来源：评论

学校读者我要写书评

暂无评论

Replicating Rare Software Failures with Exploratory Visual GUI testing

引用

IEEE SOFTWARE 2017年第5期34卷 53-59页

作者： Alegroth, Emil Gustafsson, Johan Ivarsson, Henrik Feldt, Robert Chalmers Univ Technol Software Engn Div Gothenburg Sweden Saab AB Stockholm Sweden Blekinge Inst Technol Karlskrona Sweden

Failure replication can be costly and tedious, especially for infrequent failures. Saab AB faced such a failure, which had persisted in their software for many years, until they developed a failure replication approac... 详细信息

关键词： Graphical User Interfaces program testing Software Fault Tolerance Software Failure Replication Visual GUI testing Saab AB Developed Software Graphical User Interfaces Failure Analysis Companies Software Engineering Visualization Memory Management Visual GUI testing Failure Replication Industrial Success Story Semiautomated testing Industry X 2013 Academia Collaboration Software Engineering Software Development Software testing Saab AB

来源：评论

学校读者我要写书评

暂无评论

Leveraging the Power of the Crowd for Software testing

引用

IEEE SOFTWARE 2017年第2期34卷 62-69页

作者： Leicht, Niklas Blohm, Ivo Leimeister, Jan Marco Univ St Gallen Inst Informat Management St Gallen Switzerland Univ St Gallen Inst Informat Management Data Sci & Management St Gallen Switzerland

To profit from crowdtesting, companies can use three approaches: engage an external crowd of Internet users, engage their employees, or engage their customers. Researchers' experiences with these approaches have l... 详细信息

关键词： Crowdsourcing Internet Personnel program testing Software Engineering Software testing IT Enabled Business Models Manual testing Crowdtesting Crowdsourcing Internet Users Employees Software Development Executives Companies Information Technology Computer Bugs Software testing Crowdsourcing Hardware Software Engineering Software testing Crowdsourcing Debugging testing Strategies Distributed testing Crowdtesting Software Development

来源：评论

学校读者我要写书评

暂无评论

Evolutionary approach to generating test data for data flow test

引用

IET SOFTWARE 2018年第4期12卷 318-323页

作者： Jiang, Shujuan Chen, Jieqiong Zhang, Yanmei Qian, Junyan Wang, Rongcun Xue, Meng China Univ Min & Technol Sch Comp Sci & Technol Xuzhou Jiangsu Peoples R China Guilin Univ Elect Technol Guangxi Key Lab Trusted Software Guilin Peoples R China

Software testing consumes a significant portion of software effort. program entities such as branch or definition-use pairs (DUPs) are used in diverse software development tasks. In this study, the authors present a novel evolution-based approach to generating test data for all definition-use coverage. First, the subset of DUPs, which can ensure the coverage adequacy, is computed by a reduction algorithm for the whole DUPs. Then they apply a genetic algorithm to generate test data for the subset of DUPs. Furthermore, the fitness of an individual depends on the matching degree between the traversed path and the definition-clear path of each target DUP. They also investigate the coverage and the size of test cases of test data generation by applying the authors' approach on 15 widely used subject programs. The experimental results show that their approach can reduce the size of test cases that generated without affecting the coverage rate.

关键词： genetic algorithms program testing evolutionary approach data flow test software testing software effort branch DUPs diverse software development tasks definition-clear path test cases test data generation authors definition-use pairs definition-use coverage genetic algorithm

来源：评论

学校读者我要写书评

暂无评论

A checklist for evaluating open source digital library software

引用

ONLINE INFORMATION REVIEW 2006年第4期30卷 360-379页

作者： Goh, Dion Hoe-Lian Chua, Alton Khoo, Davina Anqi Khoo, Emily Boon-Hui Mak, Eric Bok-Tong Ng, Maple Wen-Min Nanyang Technol Univ Sch Commun & Informat Div Informat Studies Singapore Singapore

Purpose - Many open source software packages are available for organizations and individuals to create digital libraries (DLs). However, a simple to use instrument to evaluate these DL software packages does not exist. The objectives of the present work are to develop a checklist for DL evaluation and use this checklist on four DL software packages. Design/methodology/approach - Features that characterized "good" open source DL software were determined from the literature. First identified were essential categories of features that DL software should possess. These categories were then decomposed into supporting features. From these, a checklist that covered all such features was developed. The checklist was then used to evaluate four popular open source DL software packages (CDSware, EPrints, Fedora, and Greenstone) for the purposes of assessing suitability for use in a DL project to be undertaken by the authors. Findings - A checklist consisting of 12 categories of items was developed. Using this, Greenstone was found to be the best performer, followed by CDSware, Fedora and EPrints. Greenstone was the only software package that consistently fulfilled the majority of the criteria in many of the checklist categories. In contrast, EPrints was the worst performer due to its poor support for certain features deemed important in our checklist, and a total absence of functionality in other categories. Originality/value - The present work attempts to develop a comprehensive checklist for assessing DLs. Its flexibility allows users to tailor it to accommodate new categories, items and weighting schemes to reflect the needs of different DL implementations.

关键词： digital libraries program testing computer software

来源：评论

学校读者我要写书评

暂无评论

Partition testing vs. random testing: The influence of uncertainty

引用

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING 1999年第5期25卷 661-674页

作者： Gutjahr, WJ Univ Vienna Dept Stat Operat Res & Comp Sci A-1010 Vienna Austria

This paper compares partition testing and random testing on the assumption that program failure rates are not known with certainty before testing and are, therefore, modeled by random variables. It is shown that under uncertainty, partition testing compares more favorably to random testing than suggested by prior investigations concerning the deterministic case: The restriction to failure rates that are known with certainty systematically favors random testing. In particular, we generalize a result by Weyuker and Jeng stating equal fault detection probabilities for partition testing and random testing in the case where the failure rates in the subdomains defined by the partition are equal. It turns out that for independent random failure rates with equal expectation, the case above is a boundary case (the worst case for partition testing), and the fault detection probability of partition testing can be up to k times higher than that of random testing, where k is the number of subdomains. Also in a related model for dependent failure rates, partition testing turns out to be consistently better than random testing. The dominance can also be verified for the expected (weighted) number of detected faults as an alternative comparison criterion.

关键词： decisions under uncertainty fault detection partition testing program testing random testing software testing

来源：评论

学校读者我要写书评

暂无评论

The pitfalls of verifying floating-point computations

引用

ACM TRANSACTIONS ON programMING LANGUAGES AND SYSTEMS 2008年第3期30卷 1-41页

作者： Monniaux, David Ecole Normale Super CNRS Paris France

Current critical systems often use a lot of floating-point computations, and thus the testing or static analysis of programs containing floating-point operators has become a priority. However, correctly defining the semantics of common implementations of floating-point is tricky, because semantics may change according to many factors beyond source-code level, such as choices made by compilers. We here give concrete examples of problems that can appear and solutions for implementing in analysis software.

关键词： languages verification abstract interpretation static analysis program testing verification floating point embedded software safety-critical software x87 IA32 AMD64 PowerPC FPU rounding IEEE-754

来源：评论

学校读者我要写书评

暂无评论

Novel type of PXI bus-based airborne data transfer equipment test system

引用

COMPEL-THE INTERNATIONAL JOURNAL FOR COMPUTATION AND MATHEMATICS IN ELECTRICAL AND ELECTRONIC ENGINEERING 2009年第6期28卷 1532-1545页

作者： Duan, Haibin Zhang, Haixia Beihang Univ Sch Automat Sci & Elect Engn Beijing Peoples R China

Purpose - The purpose of this paper is to design and implement a novel type of PCI eXtension for Instruments (PXI) bus-based airborne data transfer equipment (DTE) test system. Design/methodology/approach - First, the basic principle of PXI bus is introduced in detail. Then, the hardware and software are developed for the PXI bus-based airborne DTE test system. Based on the description of the basic conceptions of rough set theory, a novel hybrid approach for fault diagnosis in PXI bus-based airborne DTE test system is proposed, which is based on rough set theory, genetic algorithm and neural network. Combining with rough set theory, genetic algorithm is used to compute the reductions of the decision table. Subsequently, the condition attributes of decision table are regarded as the input nodes of neural network and the decision attributes are regarded as the output nodes of neural network correspondingly. Findings - The exact application results are also presented to verify the feasibility and effectiveness of the developed PXI bus-based airborne DTE test system, and the test results can also be saved automatically. The exact application results show that the various faults within the PXI bus-based airborne DTE test system can be located on board level, and the newly developed airborne DTE test system is also easy to be extended and upgraded. Practical implications - The proposed hybrid rough set theory, genetic algorithm and neural network approach could reduce the number of attributes in the decision table, simplify the structure of neural network and improve the ability of generality. The airborne DTE test system is also capable of different unit under test (UUT), which can be selected by the definite operators at the start of the test, to ensure that failures and problems are handled automatically and without intervention. This newly developed PXI bus-based airborne DTE test system can be located on board level, and it is also very easy to be extended and upgrad

关键词： program testing Data management Diagnostic testing Aircraft components

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：