搜索页_Software+testing

设为首页

收藏本站

网站地图 | English | 公务邮箱

About the library

Background
History
Leadership
Organization

Readers' Guide

Opening Hours
Collections
Help Via Email

Publications

Electronic Information Resources

常用资源

GSW全文库(10)	Springer电子图书(80)	CNKI会议论文(69)	知网期刊论文(25979)
中国地质文献-英文(12)	院士团队服务(1)	CNKI学位论文(48408)	万方学位论文(1)
馆藏书目(9)	万方学术会议(1)	CNKI期刊论文0611(64)	标准(4)

在“SpringerLink电子期刊”中，命中：3,138条，耗时：0.0270149 秒

在所有数据库中总计命中：74,638条

1. Statistical prioritization for software product line testing: an experience report

作者： Xavier Devroey ; Gilles Perrouin ; Maxime Cordy ; Hamza Samih…

关键词：Software product line testing ; Prioritization ; Statistical testing

刊名：Software & Systems Modeling

出版年：2017

2. Model-based regression testing by OCL

作者： Philipp Zech ; Philipp Kalb ; Michael Felderer…

关键词：Model ; based testing ; Regression testing ; Model ; based regression testing ; Model evolution ; Software testing ; Software evolution

刊名：International Journal on Software Tools for Technology Transfer

出版年：2017

3. FOREPOST: finding performance problems automatically with feedback-directed learning software testing

作者： Qi Luo ; Aswathy Nair ; Mark Grechanik ; Denys Poshyvanyk

关键词：Performance testing ; Feedback ; directed learning system

刊名：Empirical Software Engineering

出版年：2017

4. An Automated Analysis of the Branch Coverage and Energy Consumption Using Concolic Testing

作者： Sangharatna Godboley ; Subhrakanta Panda…

关键词：Branch coverage ; Concolic testing ; Energy consumption ; Green IT ; Green Software Engineering ; Green and sustainable technologies

刊名：Arabian Journal for Science and Engineering

出版年：2017

5. Unit testing performance with Stochastic Performance Logic

作者： Lubomír Bulej ; Tomáš Bureš ; Vojtěch Horký ; Jaroslav Kotrč…

关键词：Performance evaluation ; Unit testing ; Java

刊名：Automated Software Engineering

出版年：2017

6. Automated Detection of Instruction Cache Leaks in Modular Exponentiation Software

关键词：RSA ; Granular leakage detection ; Open ; source crypto library ; Non ; trivial bug discovery ; Noiseless evaluation environment ; Automated software testing ; DBI

刊名：Lecture Notes in Computer Science

出版年：2017

7. SLMBC: spiral life cycle model-based Bayesian classification technique for efficient software fault prediction and classification

作者： Rajaganapathy Chinna Gounder Dhanajayan ; Subramani Appavu Pillai

关键词：Bayesian classification ; Segregate fault prediction algorithm ; Robust similarity ; aware clustering (RSC) algorithm ; Spiral life cycle model ; Software development ; Spiral life cycle model ; based Bayesian classification technique (SLMBC)

刊名：Soft Computing

出版年：2017

8. Continuous validation of performance test workloads

作者： Mark D. Syer ; Weiyi Shang ; Zhen Ming Jiang…

关键词：Performance testing ; Continuous testing ; Workload characterization ; Workload comparison ; Execution logs

刊名：Automated Software Engineering

出版年：2017

9. The physics of software tools: SWOT analysis and vision

作者： Bernhard Steffen

关键词：Validation tools ; Tool profiles ; Conceptual design ; SWOT analysis ; Open source ; Internet ; Exchange platform ; Tool competitions

刊名：International Journal on Software Tools for Technology Transfer

出版年：2017

10. Constraint-based test generation for automotive operating systems

作者： Yunja Choi ; Taejoon Byun

关键词：Verification ; Constraint specification ; Operating system ; Automotive software ; Test generation

刊名：Software & Systems Modeling

出版年：2017

按检索点细分(3138)

题名(229)

作者(1)

关键词(360)

文摘(2486)