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

22nd IEEE International Conference on Software Quality, Reliability and Security (QRS)

作者： Ishii, Daisuke Tomita, Takashi Aoki, Toshiaki The Quyen Ngo Thi Bich Ngoc Do Takai, Hideaki Japan Adv Inst Sci & Technol Nomi Ishikawa Japan VNU Univ Sci Hanoi Vietnam Posts & Telecommun Inst Technol Hanoi Vietnam GAIO Tech Co Tokyo Japan

ISBN: (纸本)9781665477048

Simulink is a popular tool for modeling cyber-physical systems. As more models are produced in industry, automated quality assurance of models becomes increasingly important. This paper describes an empirical evaluation of four methods for the coverage testing of Simulink models: A) SimuLink Design Verifier (SLDV), a dedicated official tool;B) Template-Based Monte-Carlo (TBMC) method, a random test generation method that utilizes input signal templates;C) SMT-Based Model Checking (SBMC) method that conducts static analysis via encoding models into logic formulas;and D) a hybrid method of B and C. Based on the evaluation results, we carefully designed the hybrid method to complement the features of TBMC and SBMC. In the experiments, we have applied the methods to fourteen models and evaluated their performance. The results show that the hybrid method achieved better results than SLDV for several models.

关键词： MATLAB/Simulink coverage testing Monte-Carlo method SMT solver

来源：评论

学校读者我要写书评

暂无评论

An End-to-End LoRaWAN-based IoT Platform with Built-in Network coverage testing Capability 25

An End-to-End LoRaWAN-based IoT Platform with Built-in Netwo...

引用

25th International Symposium on Wireless Personal Multimedia Communications (WPMC)

作者： Dragulinescu, Ana-Maria Marcu, Ioana Zamfirescu, Ciprian Univ Politehn Bucharest UPB Dept Telecommun Bucharest 061071 Romania

ISBN: (纸本)9781665473187

LoRaWAN-enabled networks represent a paradigm shift from short-range transmissions to long-range connections for various intelligent Internet of Things (IoT) applications. To ensure maximum coverage of LoRaWAN gateways, exhaustive experiments have to be performed beforehand for gateway deployment. Although simulation based solutions are viable, the obtained results may not reflect on-field propagation and terrain conditions. On the other hand, commercial LoRaWAN network field testers are extremely limited in terms of analysis and statistics capabilities. In this paper, we present an end-to-end IoT platform which encompasses an built-in network coverage testing facility. The term built-in is used to reveal coverage testing is an in-built functionality. That is, it is not necessary to use an external solution to test the coverage of the LoRaWAN network, but the platform provides it by design. The platform is developed based on open-source software and commercial low-cost, low-power hardware, and it can be applied to various vertical sectors including smart agriculture, maritime applications, environment monitoring, and device tracking.

关键词： LoRa/LoRaWAN RSSI gateway received signal strength mapping coverage testing

来源：评论

学校读者我要写书评

暂无评论

Algorithm for calculating the branch routes of an assembly program in software coverage testing

引用

Dianzi Keji Daxue Xuebao/Journal of the University of Electronic Science and Technology of China 2005年第2期34卷 236-239页

作者： Tang, Ke Wang, Wen-Yong Xiang, Yu Luo, Guang-Chun Sch. of Comp. Sci. and Eng. UEST of China Chengdu 610054 China

coverage testing is a basic method for dynamic software testing. An algorithm is proposed for calculating the branch routes of an embedded assembly program in software coverage testing. The correctness of the algorith... 详细信息

关键词： Adjacency list Basic block coverage testing Program flow graph Storage matrix

来源：评论

学校读者我要写书评

暂无评论

An assessment of operational coverage as both an adequacy and a selection criterion for operational profile based testing

引用

SOFTWARE QUALITY JOURNAL 2018年第4期26卷 1571-1594页

作者： Miranda, Breno Bertolino, Antonia Univ Fed Pernambuco BR-50740540 Recife PE Brazil CNR ISTI Via Moruzzi 1 I-56124 Pisa Italy

While the relation between code coverage measures and fault detection is actively studied, only few works have investigated the correlation between measures of coverage and of reliability. In this work, we introduce a novel approach to measuring code coverage, called the operational coverage, that takes into account how much the program's entities are exercised so to reflect the profile of usage into the measure of coverage. Operational coverage is proposed as (i) an adequacy criterion, i.e., to assess the thoroughness of a black box test suite derived from the operational profile, and as (ii) a selection criterion, i.e., to select test cases for operational profile-based testing. Our empirical evaluation showed that operational coverage is better correlated than traditional coverage with the probability that the next test case derived according to the user's profile will not fail. This result suggests that our approach could provide a good stopping rule for operational profile-based testing. With respect to test case selection, our investigations revealed that operational coverage outperformed the traditional one in terms of test suite size and fault detection capability when we look at the average results.

关键词： coverage testing Operational coverage Operational profile-based testing Program Spectra Relative coverage

来源：评论

学校读者我要写书评

暂无评论

Concolic testing for High Test coverage and Reduced Human Effort in Automotive Industry 41

Concolic Testing for High Test Coverage and Reduced Human Ef...

引用

IEEE/ACM 41st International Conference on Software Engineering - Software Engineering in Practice (ICSE-SEIP)

作者： Kim, Yunho Lee, Dongju Baek, Junki Kim, Moonzoo Korea Adv Inst Sci & Technol Sch Comp Daejeon South Korea Hyundai Mobis Software Verificat Team Yongin South Korea

ISBN: (纸本)9781728117607

The importance of automotive software has been rapidly increasing because software now controls many components in motor vehicles such as window controller, smart-key system, and tire pressure monitoring system. Consequently, the automotive industry spends a large amount of human effort testing automotive software and is interested in automated software testing techniques that can ensure high-quality automotive software with reduced human effort. In this paper, we report our industrial experience applying concolic testing to automotive software developed by Hyundai Mobis. We have developed an automated testing framework MAIST that automatically generates the test driver, stubs, and test inputs to a target task by applying concolic testing. As a result, MAIST has achieved 90.5% branch coverage and 77.8% MC/DC coverage on the integrated body unit (IBU) software. Furthermore, it reduced the cost of IBU coverage testing by reducing the manual testing effort for coverage testing by 53.3%.

关键词： Automated test generation concolic testing automotive software coverage testing

来源：评论

学校读者我要写书评

暂无评论

Does code coverage provide a good stopping rule for operational profile based testing? 11

Does code coverage provide a good stopping rule for operatio...

引用

11th IEEE/ACM International Workshop in Automation of Software Test (AST)

作者： Miranda, Breno Bertolino, Antonia Univ Pisa Largo B Pontecorvo 3 I-56127 Pisa Italy ISTI CNR Via Moruzzi 1 I-56127 Pisa Italy

ISBN: (纸本)9781450341516

We introduce a new coverage measure, called the operational coverage, which is customized to the usage profile (count spectrum) of the entities to be covered. Operational coverage is proposed as an adequacy criterion for operational profile based testing, i.e., to assess the thoroughness of a black box test suite derived from the operational profile. To validate the approach we study the correlation between operational coverage of branches, statements, and functions, and the probability that the next test input will not fail. On the three subjects considered, we observed a moderate correlation in all cases (except a low correlation for function coverage for one subject), and consistently better results than traditional coverage measure.

关键词： coverage testing Operational coverage Operational Profile Based testing Program Spectra Relative coverage

来源：评论

学校读者我要写书评

暂无评论

CovDroid: A Black-Box testing coverage System for Android 39

CovDroid: A Black-Box Testing Coverage System for Android

引用

39th IEEE Annual International Computer Software and Applications Conference Workshops (COMPSAC)

作者： Yeh, Chao-Chun Huang, Shih-Kun Ind Technol Res Inst Computat Intelligence Technol Ctr Hsinchu Taiwan Natl Chiao Tung Univ Informat Technol Serv Ctr Hsinchu Taiwan Natl Chiao Tung Univ Dept Comp Sci Hsinchu Taiwan

ISBN: (纸本)9781467365635

In android ecosystem, the Apps marketplace vendor faces huge number of Apps with irregular quality. Besides bug finding, coverage index is neglected for the current Android testing services. However it is also a challenge to measure the testing coverage without source code. In this paper, we provide a systematic approach to measure the App testing coverage for black-box testing and implement CovDroid, a black-box coverage system for android. Furthermore, we use a App with different test cases to prove our concept that coverage index can improve the App and measure test cases quality for App market or testing vendors.

关键词： Android App testing coverage testing Black Box testing

来源：评论

学校读者我要写书评

暂无评论

testing Relative to Usage Scope: Revisiting Software coverage Criteria

引用

ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY 2020年第3期29卷 18-18页

作者： Miranda, Breno Bertolino, Antonia Univ Fed Pernambuco Av Jornalista Anibal Fernandes S-N BR-50740540 Recife PE Brazil ISTI CNR Via Moruzzi 1 I-56124 Pisa Italy

coverage criteria provide a useful and widely used means to guide software testing;however, indiscriminately pursuing full coverage may not always be convenient or meaningful, as not all entities are of interest in any usage context. We aim at introducing a more meaningful notion of coverage that takes into account how the software is going to be used. Entities that are not going to be exercised by the user should not contribute to the coverage ratio. We revisit the definition of coverage measures, introducing a notion of relative coverage. According to this notion, we provide a definition and a theoretical framework of relative coverage, within which we discuss implications on testing theory and practice. Through the evaluation of three different instances of relative coverage, we could observe that relative coverage measures provide a more effective strategy than traditional ones: we could reach higher coverage measures, and test cases selected by relative coverage could achieve higher reliability. We hint at several other useful implications of relative coverage notion on different aspects of software testing.

关键词： coverage testing relative coverage

来源：评论

学校读者我要写书评

暂无评论

χSuds-SDL:: A tool for testing software architecture specifications

引用

SOFTWARE QUALITY JOURNAL 1999年第4期8卷 241-253页

作者： Li, JJ Horgan, JR Telcordia Technol Morristown NJ 07960 USA

Available statistical data shows that the cost of repairing software faults rises dramatically in later development stages. In particular, the new technology of generating implementation code from architectural specifications requires highly reliable designs. Much research has been done at this stage using verification and validation techniques to prove correctness in terms of certain properties. A prominent approach of this category is model checking (Atlee, J.M., and Gannon, J. 1993. State-based model checking of event-driven systems requirements. IEEE Trans. Software Eng., 19(1): 24-40.) Such approaches and the approach of software testing are complementary. testing reveals some errors that cannot be easily identified through verification, and vice versa. This paper presents the technology and the accompanying tool suite to the testing of software architecture specifications. We apply our state-of-the-art technology in software coverage testing, program diagnosis and understanding to software architectural designs. Our technology is based on both the control flow and the data flow of the executable architectural specifications. It first generates a program flow diagram from the specification and then automatically analyses the coverage features of the diagram. It collects the corresponding flow data during the design simulation to be mapped to the flow diagram. The coverage information for the original specification is then obtained from the coverage information of the flow diagram. This technology has been used for C, C++, and Java, and has proven effective (Agrawal, H., Alberti, J., Li, J.J., et al. 1998. Mining system tests to aid software maintenance, IEEE Computer July, pp. 64-73.).

关键词： software architectural specification coverage testing testing tool chi Suds Specification and Description Language (SDL)

来源：评论

学校读者我要写书评

暂无评论

testing web applications

引用

INFORMATION AND SOFTWARE TECHNOLOGY 2006年第1期48卷 31-42页

作者： Mansour, N Houri, M Lebanese Amer Univ Div Math & Comp Sci Beirut 11208 Lebanon

Traditional testing techniques are not adequate for web-based applications, since they miss their additional features such as their multi-tier nature, hyperlink-based structure, and event-driven feature. Limited work has been done on testing web applications. In this paper, we propose new techniques for white box testing of web applications developed in the NET environment with emphasis on their event-driven feature. We extend recent work on modeling of web applications by enhancing previous dependence graphs and proposing an event-based dependence graph model. We apply data flow testing techniques to these dependence graphs and propose an event flow testing technique. Also, we present a few coverage testing approaches for web applications. Further, we propose mutation testing operators for evaluating the adequacy of web application tests. (c) 2005 Elsevier B.V. All rights reserved.

关键词： coverage testing data flow testing event flow testing dependence graphs mutation testing web applications

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：