The Automation of (Black-box) Software Testing
(黑盒)软件测试的自动化
基本信息
- 批准号:RGPIN-2016-03681
- 负责人:
- 金额:$ 3.35万
- 依托单位:
- 依托单位国家:加拿大
- 项目类别:Discovery Grants Program - Individual
- 财政年份:2019
- 资助国家:加拿大
- 起止时间:2019-01-01 至 2020-12-31
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
Current approaches to Software Testing fail to meet the objectives of the world economy. Problems and issues associated with undiscovered defects are now estimated to exceed more than 0.6% of global GDP. In Canadian terms, this equates to 9 Billion (U.S.) dollars; and approximately 400 Billion (U.S) dollars worldwide. Hence, this research program seeks to establish radical new approaches to software testing to contribute to alleviating this burden by reducing the costs of testing while increasing the benefits (the number of discovered defects). A basic tenet of the research is that software testing needs to be a highly automated process and that testing techniques need to treat the software under test (SUT) as a “black-box”; this allows black-box techniques to be applied to every piece of software without modification. This approach has become highly feasible because of the shift in modern computing to multi-core and cloud computing platforms. These platforms allow massive amounts of computing resources to be targeted towards testing objectives enabling automated systems to analyse vast numbers of testing scenarios. It is hypothesized that more efficient forms of testing can be achieved by viewing testing as a relatively SUT-independent process. The approach produces superior results (costs less, finds more defects) by bombarding the SUT with vast volumes of test scenarios (implying automation is essential). This ambitious program of research will solve fundamental problems in the efficient realization of test case generation strategies, program execution modelling techniques and test oracle definitions to realize this vision.******The proposal will generate a significant volume of important research results; specifically, based upon historical trends, Ph.D. students within the group generate a high-quality journal publication approximately every year. Hence, it is expected that the requested funding will directly generate 16 high-quality journals papers to be published in leading venues such as IEEE and ACM Transaction venues. The grant will also produce a large number of HQP (4 directly with the Discovery grant funding, with the entire proposal expected to produce 10 HQP), all highly qualified in the burgeoning area of automated software testing. It is hoped that these individuals can become a hub and propel Canada to the forefront of this new significant economic activity. Finally, it is expected that the software testing infrastructure developed during the project can become a software-as-a-service product, enabling the formation of a new enterprise providing services to the entire software community worldwide. Such an organization is highly attractive because (1) by utilizing pre-existing cloud-infrastructures as a service, it can be established with minimal capital requirements; and (2) without any physical footprint, the company becomes a worldwide entity upon creation. **
目前的软件测试方法无法满足世界经济的目标。与未发现的缺陷相关的问题和问题现在估计超过全球GDP的0.6%。在加拿大,这相当于90亿(美国)美元;全球约4000亿美元。因此,本研究计划旨在建立激进的新方法来进行软件测试,通过降低测试成本,同时增加收益(发现缺陷的数量)来减轻这种负担。该研究的一个基本原则是,软件测试需要是一个高度自动化的过程,测试技术需要将被测软件(SUT)视为一个“黑盒”;这使得黑盒技术可以应用于每一个软件而无需修改。由于现代计算向多核和云计算平台的转变,这种方法变得非常可行。这些平台允许将大量的计算资源用于测试目标,使自动化系统能够分析大量的测试场景。据推测,更有效的测试形式可以通过将测试视为一个相对独立的SUT过程来实现。该方法通过大量的测试场景(意味着自动化是必不可少的)轰炸SUT,产生了上级结果(成本更低,发现更多的缺陷)。这个雄心勃勃的研究计划将解决有效实现测试用例生成策略,程序执行建模技术和测试Oracle定义的基本问题,以实现这一愿景。该提案将产生大量重要的研究成果;具体而言,根据历史趋势,博士。该小组的学生大约每年都会出版一份高质量的期刊。因此,预计所申请的资金将直接产生16篇高质量的期刊论文,这些论文将在IEEE和ACM Transaction等领先场所发表。该赠款还将产生大量的HQP(4个直接与发现赠款资金,整个提案预计将产生10个HQP),所有在自动化软件测试的新兴领域的高素质。希望这些人能够成为一个枢纽,推动加拿大走在这一新的重要经济活动的前列。最后,预计在项目期间开发的软件测试基础设施可以成为软件即服务产品,从而能够成立一个向全世界整个软件界提供服务的新企业。这样的组织非常有吸引力,因为(1)通过利用预先存在的云基础设施作为服务,它可以以最低的资本要求建立;(2)没有任何物理足迹,公司在创建时就成为一个全球性实体。**
项目成果
期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
数据更新时间:{{ journalArticles.updateTime }}
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
数据更新时间:{{ journalArticles.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ monograph.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ sciAawards.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ patent.updateTime }}
Miller, James其他文献
Local and distant brain control in melanoma and NSCLC brain metastases with concurrent radiosurgery and immune checkpoint inhibition
- DOI:
10.1007/s11060-022-04038-z - 发表时间:
2022-05-31 - 期刊:
- 影响因子:3.9
- 作者:
Le, Amy;Mohammadi, Homan;Miller, James - 通讯作者:
Miller, James
Labor and Delivery of Twin Pregnancies
- DOI:
10.1016/j.ogc.2017.08.004 - 发表时间:
2017-12-01 - 期刊:
- 影响因子:3.2
- 作者:
Melka, Stephanie;Miller, James;Fox, Nathan S. - 通讯作者:
Fox, Nathan S.
Automatic test data generation using genetic algorithm and program dependence graphs
- DOI:
10.1016/j.infsof.2005.06.006 - 发表时间:
2006-07-01 - 期刊:
- 影响因子:3.9
- 作者:
Miller, James;Reformat, Marek;Zhang, Howard - 通讯作者:
Zhang, Howard
Manganese inhibits ATP-induced calcium entry through the transient receptor potential channel TRPC3 in astrocytes.
- DOI:
10.1016/j.neuro.2012.10.014 - 发表时间:
2013-01 - 期刊:
- 影响因子:3.4
- 作者:
Streifel, Karin M.;Miller, James;Mouneimne, Rola;Tjalkens, Ronald B. - 通讯作者:
Tjalkens, Ronald B.
A More Agile Approach to Embedded System Development
- DOI:
10.1109/ms.2009.57 - 发表时间:
2009-05-01 - 期刊:
- 影响因子:3.3
- 作者:
Smith, Michael;Miller, James;Tran, Albert - 通讯作者:
Tran, Albert
Miller, James的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Miller, James', 18)}}的其他基金
The Automation of (Black-box) Software Testing
(黑盒)软件测试的自动化
- 批准号:
RGPIN-2016-03681 - 财政年份:2021
- 资助金额:
$ 3.35万 - 项目类别:
Discovery Grants Program - Individual
Supporting customer product concerns as an integrated organization-wide approach
作为一种集成的组织范围方法来支持客户产品问题
- 批准号:
515250-2017 - 财政年份:2020
- 资助金额:
$ 3.35万 - 项目类别:
Collaborative Research and Development Grants
Supporting customer product concerns as an integrated organization-wide approach
作为一种集成的组织范围方法来支持客户产品问题
- 批准号:
515250-2017 - 财政年份:2019
- 资助金额:
$ 3.35万 - 项目类别:
Collaborative Research and Development Grants
Supporting customer product concerns as an integrated organization-wide approach
作为一种集成的组织范围方法来支持客户产品问题
- 批准号:
515250-2017 - 财政年份:2018
- 资助金额:
$ 3.35万 - 项目类别:
Collaborative Research and Development Grants
The Automation of (Black-box) Software Testing
(黑盒)软件测试的自动化
- 批准号:
RGPIN-2016-03681 - 财政年份:2018
- 资助金额:
$ 3.35万 - 项目类别:
Discovery Grants Program - Individual
Inferring user stories from user traces in web applications
从 Web 应用程序中的用户跟踪推断用户故事
- 批准号:
479749-2015 - 财政年份:2017
- 资助金额:
$ 3.35万 - 项目类别:
Collaborative Research and Development Grants
The Automation of (Black-box) Software Testing
(黑盒)软件测试的自动化
- 批准号:
RGPIN-2016-03681 - 财政年份:2017
- 资助金额:
$ 3.35万 - 项目类别:
Discovery Grants Program - Individual
Validation driven software product development
验证驱动的软件产品开发
- 批准号:
478364-2014 - 财政年份:2016
- 资助金额:
$ 3.35万 - 项目类别:
Collaborative Research and Development Grants
The Automation of (Black-box) Software Testing
(黑盒)软件测试的自动化
- 批准号:
RGPIN-2016-03681 - 财政年份:2016
- 资助金额:
$ 3.35万 - 项目类别:
Discovery Grants Program - Individual
Engineering internet-centric software systems
工程以互联网为中心的软件系统
- 批准号:
239627-2011 - 财政年份:2015
- 资助金额:
$ 3.35万 - 项目类别:
Discovery Grants Program - Individual
相似国自然基金
空间分数阶 Black-Scholes 方程的波动率反演
问题
- 批准号:Q24A010012
- 批准年份:2024
- 资助金额:0.0 万元
- 项目类别:省市级项目
Black-Scholes期权定价模型的时间自适应算法与分析
- 批准号:12271142
- 批准年份:2022
- 资助金额:45 万元
- 项目类别:面上项目
新老岛弧斑岩铜(金)矿中间岩浆房过程对比研究:以菲律宾 Black Mountain和我国多宝山为例
- 批准号:41672090
- 批准年份:2016
- 资助金额:77.0 万元
- 项目类别:面上项目
非线性Black-Scholes方程有限差分并行计算的新方法研究
- 批准号:11371135
- 批准年份:2013
- 资助金额:55.0 万元
- 项目类别:面上项目
非Black-Scholes 模型环境下的未定权益的定价和套期保值研究
- 批准号:70771006
- 批准年份:2007
- 资助金额:19.0 万元
- 项目类别:面上项目
黄、东海沉积物中碳黑(Black Carbon)的地球化学研究
- 批准号:40576039
- 批准年份:2005
- 资助金额:40.0 万元
- 项目类别:面上项目
相似海外基金
Collaborative Research: Opening the black box of oxygen deficient zone biogeochemistry through integrative tracers
合作研究:通过综合示踪剂打开缺氧区生物地球化学黑匣子
- 批准号:
2342987 - 财政年份:2024
- 资助金额:
$ 3.35万 - 项目类别:
Continuing Grant
Collaborative Research: Opening the black box of oxygen deficient zone biogeochemistry through integrative tracers
合作研究:通过综合示踪剂打开缺氧区生物地球化学黑匣子
- 批准号:
2342986 - 财政年份:2024
- 资助金额:
$ 3.35万 - 项目类别:
Continuing Grant
CAREER: Complex Causal Moderated Mediation Analysis in Multisite Randomized Trials: Uncovering the Black Box Underlying the Impact of Educational Interventions on Math Performance
职业:多地点随机试验中的复杂因果调节中介分析:揭示教育干预对数学成绩影响的黑匣子
- 批准号:
2337612 - 财政年份:2024
- 资助金额:
$ 3.35万 - 项目类别:
Continuing Grant
Collaborative Research: Opening the black box of oxygen deficient zone biogeochemistry through integrative tracers
合作研究:通过综合示踪剂打开缺氧区生物地球化学黑匣子
- 批准号:
2342988 - 财政年份:2024
- 资助金额:
$ 3.35万 - 项目类别:
Continuing Grant
ベイズ推定を用いた確率モデルに基づくBlack-Box最適化法の転移的初期化法の開発
开发基于使用贝叶斯估计的随机模型的黑盒优化方法的可转移初始化方法
- 批准号:
24K20857 - 财政年份:2024
- 资助金额:
$ 3.35万 - 项目类别:
Grant-in-Aid for Early-Career Scientists
Collaborative Research: NeTS: Medium: Black-box Optimization of White-box Networks: Online Learning for Autonomous Resource Management in NextG Wireless Networks
合作研究:NeTS:中:白盒网络的黑盒优化:下一代无线网络中自主资源管理的在线学习
- 批准号:
2312835 - 财政年份:2023
- 资助金额:
$ 3.35万 - 项目类别:
Standard Grant
WTG: Beyond the black box: understanding the use of algorithmic risk assessments in the juvenile justice system
WTG:超越黑匣子:了解算法风险评估在少年司法系统中的使用
- 批准号:
2244705 - 财政年份:2023
- 资助金额:
$ 3.35万 - 项目类别:
Standard Grant
CRII: CIF: Sequential Decision-Making Algorithms for Efficient Subset Selection in Multi-Armed Bandits and Optimization of Black-Box Functions
CRII:CIF:多臂老虎机中高效子集选择和黑盒函数优化的顺序决策算法
- 批准号:
2246187 - 财政年份:2023
- 资助金额:
$ 3.35万 - 项目类别:
Standard Grant
Collaborative Research: NeTS: Medium: Black-box Optimization of White-box Networks: Online Learning for Autonomous Resource Management in NextG Wireless Networks
合作研究:NeTS:中:白盒网络的黑盒优化:下一代无线网络中自主资源管理的在线学习
- 批准号:
2312836 - 财政年份:2023
- 资助金额:
$ 3.35万 - 项目类别:
Standard Grant
Collaborative Research: NeTS: Medium: Black-box Optimization of White-box Networks: Online Learning for Autonomous Resource Management in NextG Wireless Networks
合作研究:NeTS:中:白盒网络的黑盒优化:下一代无线网络中自主资源管理的在线学习
- 批准号:
2312834 - 财政年份:2023
- 资助金额:
$ 3.35万 - 项目类别:
Standard Grant