Practical Tools and Techniques for the Testing of Concurrent Software Components
测试并发软件组件的实用工具和技术
基本信息
- 批准号:DP0343877
- 负责人:
- 金额:$ 12.36万
- 依托单位:
- 依托单位国家:澳大利亚
- 项目类别:Discovery Projects
- 财政年份:2003
- 资助国家:澳大利亚
- 起止时间:2003-01-01 至 2006-12-31
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
This project will develop tools and techniques for the practical, systematic testing of concurrent software components. Testing is a major means for ensuring that software performs as expected, but testing concurrent software is poorly understood even though the majority of complex, computer-based systems are concurrent in nature. The complexities arising from the non-deterministic nature of such software means that testing tools and techniques used for simpler, sequential software are inadequate. The outcomes of this project will consist of practical techniques for the effective testing of concurrent software components in general and tools for the testing of Java components in particular.
本项目将开发用于并发软件组件的实际系统测试的工具和技术。测试是确保软件按预期运行的主要手段,但对并发软件的测试知之甚少,尽管大多数复杂的基于计算机的系统本质上是并发的。这种软件的不确定性所带来的复杂性意味着用于更简单的顺序软件的测试工具和技术是不够的。该项目的成果将包括有效测试并发软件组件的实用技术,特别是测试Java组件的工具。
项目成果
期刊论文数量(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 }}
Em/Prof Paul Strooper其他文献
Em/Prof Paul Strooper的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Em/Prof Paul Strooper', 18)}}的其他基金
Model-driven development and verification of railway interlocking control logic
铁路联锁控制逻辑的模型驱动开发与验证
- 批准号:
LP0882479 - 财政年份:2008
- 资助金额:
$ 12.36万 - 项目类别:
Linkage Projects
Cost-effective use of assertions in the verification and validation of distributed and real-time systems
在分布式实时系统的验证和确认中经济高效地使用断言
- 批准号:
DP0773438 - 财政年份:2007
- 资助金额:
$ 12.36万 - 项目类别:
Discovery Projects
Enhancing model-driven architecture with support for verification and validation
通过支持验证和确认增强模型驱动架构
- 批准号:
DP0557972 - 财政年份:2005
- 资助金额:
$ 12.36万 - 项目类别:
Discovery Projects
An Integrated Environment for Verification of Large-Scale Railway Interlockings
大型铁路联锁验证的集成环境
- 批准号:
LP0455155 - 财政年份:2004
- 资助金额:
$ 12.36万 - 项目类别:
Linkage Projects
相似海外基金
ERI: SDR Beyond Radio: Enabling Experimental Research in Multi-Node Optical Wireless Networks via Software Defined Radio Tools and Techniques
ERI:超越无线电的 SDR:通过软件定义无线电工具和技术实现多节点光无线网络的实验研究
- 批准号:
2347514 - 财政年份:2024
- 资助金额:
$ 12.36万 - 项目类别:
Standard Grant
REU Site: High Performance Computing (HPC) Tools, Techniques, and Research across the Physical Sciences
REU 网站:跨物理科学领域的高性能计算 (HPC) 工具、技术和研究
- 批准号:
2348782 - 财政年份:2024
- 资助金额:
$ 12.36万 - 项目类别:
Standard Grant
Development of tools and techniques that foster graphicacy skills in STEM education among students with visual impairment in mainstream school settings
开发工具和技术,培养主流学校环境中视力障碍学生 STEM 教育中的图形技能
- 批准号:
23KK0038 - 财政年份:2023
- 资助金额:
$ 12.36万 - 项目类别:
Fund for the Promotion of Joint International Research (International Collaborative Research)
Comparison Study on Japanese and Chinese Building Tools and Processing Traces Aimed to Establish the Foundation of the History of East Asian Wooden Building Construction Techniques
中日建筑工具及加工痕迹比较研究,为东亚木建筑建造技术史奠定基础
- 批准号:
23H01597 - 财政年份:2023
- 资助金额:
$ 12.36万 - 项目类别:
Grant-in-Aid for Scientific Research (B)
Tools and Techniques for Operational Technology Cyber Security Compliance in Rail
铁路运营技术网络安全合规性工具和技术
- 批准号:
10073292 - 财政年份:2023
- 资助金额:
$ 12.36万 - 项目类别:
Collaborative R&D
Tools and Techniques to Perform Comprehensive Security Assessments
执行全面安全评估的工具和技术
- 批准号:
577519-2022 - 财政年份:2022
- 资助金额:
$ 12.36万 - 项目类别:
Idea to Innovation
Multi-Robot Tools and Techniques for Exploration and Mobile Surveying
用于勘探和移动测量的多机器人工具和技术
- 批准号:
RGPIN-2015-04025 - 财政年份:2022
- 资助金额:
$ 12.36万 - 项目类别:
Discovery Grants Program - Individual
Integrating Imaging and Motion Tracking Tools and Techniques for Assessing and Surgically Treating Musculoskeletal Disorders
整合成像和运动跟踪工具和技术来评估和手术治疗肌肉骨骼疾病
- 批准号:
RGPIN-2019-05542 - 财政年份:2022
- 资助金额:
$ 12.36万 - 项目类别:
Discovery Grants Program - Individual
Tools and Techniques for Electrical and Optical Stimulation and Recording from the Nervous System
神经系统电和光刺激和记录的工具和技术
- 批准号:
RGPIN-2018-04323 - 财政年份:2022
- 资助金额:
$ 12.36万 - 项目类别:
Discovery Grants Program - Individual
Development of new tools and techniques for the analysis and risk management of landslides and related geohazards
开发滑坡及相关地质灾害分析和风险管理的新工具和技术
- 批准号:
RGPIN-2017-03916 - 财政年份:2022
- 资助金额:
$ 12.36万 - 项目类别:
Discovery Grants Program - Individual