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

WORKLOAD CHARACTERIZATION - A SURVEY

PROCEEDINGS OF THE IEEE 1993年第8期81卷 1136-1150页

作者： CALZAROSSA, M SERAZZI, G POLITECN MILAN DIPARTIMENTO ELETTRON & INFORMAZI-20133 MILANITALY

The performance of a system is determined by its characteristics as well as by the composition of the load being processed. Hence, its quantitative description is a fundamental part of all performance evaluation studies. Several methodologies for the construction of workload models, which are functions of the objective of the study, of the architecture of the system to be analyzed, and of the techniques adopted, are presented. A survey of a few applications of these methodologies to various types of systems (i.e., batch, interactive, data base, network-based, parallel, supercomputer) is given.

关键词： performance evaluation performance evaluation studies program testing quantitative description workload characterisation workload models

来源：评论

学校读者我要写书评

暂无评论

On-line tracing of XACML-based policy coverage criteria

引用

IET SOFTWARE 2018年第6期12卷 480-488页

作者： Lonetti, Francesca Marchetti, Eda CNR Ist Sci & Tecnol Informaz A Faedo Via G Moruzzi 1 I-56124 Pisa Italy

Currently, eXtensible Access Control Markup Language (XACML) has becoming the standard for implementing access control policies and consequently more attention is dedicated to testing the correctness of XACML policies. In particular, coverage measures can be adopted for assessing test strategy effectiveness in exercising the policy elements. This study introduces a set of XACML coverage criteria and describes the access control infrastructure, based on a monitor engine, enabling the coverage criterion selection and the on-line tracing of the testing activity. Examples of infrastructure usage and of assessment of different test strategies are provided.

关键词： authorisation XML program testing eXtensible Access Control Markup Language coverage criterion selection on-line tracing access control policies XACML-based policy coverage criteria test strategies assessment

来源：评论

学校读者我要写书评

暂无评论

Usefulness of acceptance testing information for component-based system maintenance

引用

IET SOFTWARE 2012年第2期6卷 155-163页

作者： Mahmood, S. King Fahd Univ Petr & Minerals Dept Informat & Comp Sci Dhahran 31261 Saudi Arabia

Component-based system (CBS) development usually involves adapting best-matched components and writing integration code to handle the mismatches between system-to-be needs and available components. CBS presents unique maintenance challenges as a system analyst focuses on integrating existing components to build a software application. The lack of detailed individual component specification has been a key area of concern in CBS development because of its impact on the maintenance phase of a CBS development life cycle. Recent research suggests that the framework for integrated test (Fit) helps to better comprehend systems. In this work, the author presents a study to investigate the usefulness of acceptance test cases (Fit tables) information, when used as a functional specification, during the maintenance process. The mean correct implementation percentage with and without Fit tables were 86.19 and 83.52, respectively. Similarly, the mean times for the Fit tables and without Fit tables were 46.5 and 45.73, respectively. The results show that acceptance test cases help improve the functional correctness of changes with a little more effort during the maintenance process of a CBS.

关键词： Formal methods formal specification component-based system maintenance CBS development acceptance testing information software maintenance Software engineering techniques maintenance process program testing functional specification CBS development life cycle individual component specification software application Diagnostic, testing, debugging and evaluating systems integrated test framework

来源：评论

学校读者我要写书评

暂无评论

AN OVERVIEW OF COMMON BENCHMARKS

引用

COMPUTER 1990年第12期23卷 65-75页

作者： WEICKER, RP Siemens Nixdorf Informationssyst. AG Munchen

The three most often used benchmarks are characterized in detail and users are warned about a number of pitfalls. Two of them, Whetstone and Drystone, are synthetic benchmarks: they were written solely for benchmarking purposes and perform no useful computation. Linpack was distilled out of a real, purposeful program that is now used as a benchmark. Some other benchmarks, namely Livermore Fortran Kernels, Stanford Small programs Benchmark Set, EDN benchmarks, Sieve of Eratosthenes, Rhealstone and SPEC benchmarks, are briefly considered. Non-CPU influences in benchmark performance are discussed

关键词： Drystone EDN benchmarks Linpack Livermore Fortran Kernels Rhealstone SPEC benchmarks Sieve of Eratosthenes Stanford Small programs Benchmark Set Whetstone benchmark performance common benchmarks performance evaluation program testing software selection synthetic benchmarks

来源：评论

学校读者我要写书评

暂无评论

SOFTWARE testing BASED ON FORMAL SPECIFICATIONS - A THEORY AND A TOOL

引用

SOFTWARE ENGINEERING JOURNAL 1991年第6期6卷 387-405页

作者： BERNOT, G GAUDEL, MC MARRE, B UNIV PARIS 11 RECH INFORMAT LABCNRSUA 410F-91405 ORSAYFRANCE ECOLE NORM SUPER LIENSCNRSURA 1327F-75230 PARIS 05FRANCE

This paper addresses the problem of constructing test data sets from formal specifications. Starting from a notion of an ideal exhaustive test data set, which is derived from the notion of satisfaction of the formal specification, we show how to select by refinements a practicable test set, i.e. computable, while not rejecting correct programs (unbiased) and accepting only correct programs (valid), when assuming certain hypotheses. The hypotheses play an important role;they formalise common test practices and they express the gap between the success of the test and correctness;the size of the test set depends on the strength of the hypotheses. The paper shows an application of this theory for algebraic specifications and presents the actual procedures used to mechanically product such test sets, using Horn clause logic. These procedures are embedded in an interactive system, which, given some general hypothesis schemes and an algebraic specification, produces a test set and the corresponding hypotheses.

关键词： formal specifications formal specification practicable test set test data sets Software engineering techniques program testing interactive system common test practices programming and algorithm theory algebraic specifications Diagnostic, testing, debugging and evaluating systems Horn clause logic

来源：评论

学校读者我要写书评

暂无评论

Investigation into the effectiveness of white-box T-way testing

引用

IET SOFTWARE 2019年第6期13卷 610-616页

作者： Dutta, Arpita Patel, Anwesha Mall, Rajib Indian Inst Technol Kharagpur Comp Sci & Engn Kharagpur W Bengal India Veer Surendra Sai Univ Technol Comp Sci & Engn Sambalpur Odisha India

An unduly large number of test cases are required for effective testing of programmes containing complex decision statements. In this context, modified condition/decision coverage (MC/DC) testing has been acknowledged to provide effective testing using a test suite whose size is linear in the number of the clauses present in a predicate. MC/DC testing is well-accepted and is mandated by several testing standards. T-way testing is another prominent testing technique that helps to limit the combinatorial explosion of black-box test cases. Its application to white-box testing promises to provide effective testing with a comparatively small number of test cases. The authors empirically investigate the effectiveness of MC/DC testing vis-a-vis white-box pairwise, 3-way and 4-way testing.

关键词： program testing black-box test cases white-box T-way testing program testing modified condition-decision coverage testing MC-DC testing

来源：评论

学校读者我要写书评

暂无评论

AIDA - A DYNAMIC DATA FLOW ANOMALY DETECTION SYSTEM FOR PASCAL programS

引用

SOFTWARE-PRACTICE & EXPERIENCE 1987年第3期17卷 227-239页

作者： CHAN, FT CHEN, TY UNIV MELBOURNE DEPT COMP SCIPARKVILLEVIC 3052AUSTRALIA

This paper presents a description of, and experience in using, AIDA, an automated instrumentation system to perform data flow analysis for Pascal programs. AIDA is capable of detecting not only data flow anomalies, but also certain kinds of errors. It is a useful software testing and development tool for Pascal programs. The associated implementation problems and their solutions are presented.

关键词： Data flow analysis program instrumentation program testing Pascal

来源：评论

学校读者我要写书评

暂无评论

An acceptance testing approach for Internet of Things systems

引用

IET SOFTWARE 2018年第5期12卷 430-436页

作者： Leotta, Maurizio Clerissi, Diego Olianas, Dario Ricca, Filippo Ancona, Davide Delzanno, Giorgio Franceschini, Luca Ribaudo, Marina Univ Genoa DIBRIS Genoa Italy

Internet of things (IoT) systems are becoming ubiquitous and assuring their quality is fundamental. Unfortunately, a few proposals for testing these complex, and often safety-critical, systems are present in the literature. The authors propose an approach for acceptance testing of IoT systems adopting graphical user interfaces as a principal way of interaction. Acceptance testing is a type of black box testing based on test scenarios, i.e. sequences of steps/actions performed by the user or the system. In their approach, test scenarios are derived from a state machine that expresses the behaviour of the system under test, and test cases are derived from them by specifying the actual data and assertions and made executable by implementing the corresponding test scripts. As a case study, they selected a mobile health IoT system for diabetes management composed of local sensors/actuators, smartphones, and a remote cloud-based system. The effectiveness of the approach has been evaluated by measuring the capability of two test suites implemented using different localisation strategies (visual and structure-based) in detecting mutants of the original m-health system. Results show the effectiveness of the test suites implemented by following the proposed approach since 93% of the generated mutants have been detected.

关键词： cloud computing Internet of Things program testing graphical user interfaces acceptance testing approach things systems IoT systems graphical user interfaces black box testing test scenarios test cases corresponding test scripts mobile health IoT system test suites original m-health system

来源：评论

学校读者我要写书评

暂无评论

Continuous Experimentation Challenges, Implementation Techniques, and Current Research

引用

IEEE SOFTWARE 2018年第2期35卷 26-31页

作者： Schermann, Gerald Cito, Juergen Leitner, Philipp Univ Zurich Dept Informat Zurich Switzerland Chalmers Univ Technol Software Engn Gothenburg Sweden

Continuous experimentation is an up-and-coming technique for requirements engineering and testing, particularly for web-based systems. On the basis of a practitioner survey, this article gives an overview of challenges, implementation techniques, and current research in the field. This article is part of a theme issue on release engineering.

关键词： Formal Specification Internet program testing Systems Analysis Requirements Engineering Web Based Systems Software Engineering Routing Software testing Data Science Computer Architecture Software Product Lines Product Life Cycle Management Release Engineering Continuous Experimentation Feature Toggles Traffic Routing Regression Driven Experiments Business Driven Experiments Software Development Software Engineering

来源：评论

学校读者我要写书评

暂无评论

Functional testing of feature model analysis tools: a test suite

引用

IET SOFTWARE 2011年第1期5卷 70-82页

作者： Segura, S. Benavides, D. Ruiz-Cortes, A. Univ Seville Dept Comp Languages & Syst E-41012 Seville Spain

A feature model is a compact representation of all the products of a software product line. Automated analysis of feature models is rapidly gaining importance: new operations of analysis have been proposed, new tools have been developed to support those operations and different logical paradigms and algorithms have been proposed to perform them. Implementing operations is a complex task that easily leads to errors in analysis solutions. In this context, the lack of specific testing mechanisms is becoming a major obstacle hindering the development of tools and affecting their quality and reliability. In this article, the authors present FaMa test suite, a set of implementation-independent test cases to validate the functionality of feature model analysis tools. This is an efficient and handy mechanism to assist in the development of tools, detecting faults and improving their quality. In order to show the effectiveness of their proposal, the authors evaluated the suite using mutation testing as well as real faults and tools. Their results are promising and directly applicable in the testing of analysis solutions. The authors intend this work to be a first step towards the development of a widely accepted test suite to support functional testing in the community of automated analysis of feature models.

关键词： FaMa test suite software tools software fault tolerance mutation testing automated analysis feature model analysis independent test case functional testing specific testing mechanism Diagnostic, testing, debugging and evaluating systems software maintenance Software engineering techniques software product line program testing programming support product representation obstacle hindering

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：