CN103593179B - 用于在并行计算环境中开发软件的方法 - Google Patents

用于在并行计算环境中开发软件的方法 Download PDF

Info

Publication number
CN103593179B
CN103593179B CN201310357753.3A CN201310357753A CN103593179B CN 103593179 B CN103593179 B CN 103593179B CN 201310357753 A CN201310357753 A CN 201310357753A CN 103593179 B CN103593179 B CN 103593179B
Authority
CN
China
Prior art keywords
software
parallel
sequence
result
realized
Prior art date
Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
Expired - Fee Related
Application number
CN201310357753.3A
Other languages
English (en)
Chinese (zh)
Other versions
CN103593179A (zh
Inventor
E.D.比勒
B.T.奥基平蒂
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
GE Aviation Systems LLC
Original Assignee
GE Aviation Systems LLC
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by GE Aviation Systems LLC filed Critical GE Aviation Systems LLC
Publication of CN103593179A publication Critical patent/CN103593179A/zh
Application granted granted Critical
Publication of CN103593179B publication Critical patent/CN103593179B/zh
Expired - Fee Related legal-status Critical Current
Anticipated expiration legal-status Critical

Links

Classifications

    • G—PHYSICS
    • G06—COMPUTING OR CALCULATING; COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/10—Requirements analysis; Specification techniques
    • G—PHYSICS
    • G06—COMPUTING OR CALCULATING; COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/20—Software design

Landscapes

  • Engineering & Computer Science (AREA)
  • General Engineering & Computer Science (AREA)
  • Theoretical Computer Science (AREA)
  • Software Systems (AREA)
  • Physics & Mathematics (AREA)
  • General Physics & Mathematics (AREA)
  • Stored Programmes (AREA)
CN201310357753.3A 2012-08-17 2013-08-16 用于在并行计算环境中开发软件的方法 Expired - Fee Related CN103593179B (zh)

Applications Claiming Priority (3)

Application Number Priority Date Filing Date Title
US13/588,485 US9015673B2 (en) 2012-08-17 2012-08-17 Method for developing software in a parallel computing environment
US13/588485 2012-08-17
US13/588,485 2012-08-17

Publications (2)

Publication Number Publication Date
CN103593179A CN103593179A (zh) 2014-02-19
CN103593179B true CN103593179B (zh) 2019-03-01

Family

ID=48986011

Family Applications (1)

Application Number Title Priority Date Filing Date
CN201310357753.3A Expired - Fee Related CN103593179B (zh) 2012-08-17 2013-08-16 用于在并行计算环境中开发软件的方法

Country Status (6)

Country Link
US (1) US9015673B2 (enExample)
EP (1) EP2698709A1 (enExample)
JP (1) JP6310206B2 (enExample)
CN (1) CN103593179B (enExample)
BR (1) BR102013019517A2 (enExample)
CA (1) CA2822676A1 (enExample)

Families Citing this family (3)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US9015673B2 (en) * 2012-08-17 2015-04-21 Ge Aviation Systems, Llc Method for developing software in a parallel computing environment
US10055263B2 (en) 2016-04-01 2018-08-21 Ebay Inc. Optimization of parallel processing using waterfall representations
CN112269570B (zh) * 2020-11-13 2024-05-14 北京百度网讯科技有限公司 安全代码开发方法及设备、计算设备和介质

Family Cites Families (25)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JP4050339B2 (ja) * 1994-04-28 2008-02-20 株式会社東芝 並行プログラム作成支援装置及び並行プログラム作成方法並びに並行プログラム実行装置
US5860009A (en) * 1994-04-28 1999-01-12 Kabushiki Kaisha Toshiba Programming method for concurrent programs and program supporting apparatus thereof
US7174536B1 (en) * 2001-02-12 2007-02-06 Iowa State University Research Foundation, Inc. Integrated interactive software visualization environment
US7089534B2 (en) * 2002-05-01 2006-08-08 International Business Machines Corporation Model based test generation for validation of parallel and concurrent software
US7159211B2 (en) * 2002-08-29 2007-01-02 Indian Institute Of Information Technology Method for executing a sequential program in parallel with automatic fault tolerance
CN1310150C (zh) * 2002-11-21 2007-04-11 中兴通讯股份有限公司 一种嵌入式软件测试方法
US7797691B2 (en) * 2004-01-09 2010-09-14 Imec System and method for automatic parallelization of sequential code
US7926046B2 (en) * 2005-12-13 2011-04-12 Soorgoli Ashok Halambi Compiler method for extracting and accelerator template program
US8060879B2 (en) * 2006-05-30 2011-11-15 Oracle America, Inc. Predictive log synchronization
US8132153B2 (en) 2007-05-09 2012-03-06 Wipro Limited Quality management framework for a software lifecycle
US8234621B2 (en) * 2008-03-12 2012-07-31 Siemens Aktiengesellschaft Rule based instantiation of software- and system development processes
FR2931269A1 (fr) * 2008-05-16 2009-11-20 Ateji Soc Par Actions Simplifi Procede et systeme de developpement de programmes paralleles
US8949786B2 (en) * 2008-12-01 2015-02-03 Kpit Technologies Limited Method and system for parallelization of sequential computer program codes
US8413122B2 (en) * 2009-02-12 2013-04-02 International Business Machines Corporation System and method for demonstrating the correctness of an execution trace in concurrent processing environments
JP5504879B2 (ja) * 2009-12-25 2014-05-28 富士通株式会社 マルチスレッド処理方法及びマルチスレッド処理装置
CN102456175A (zh) * 2010-10-26 2012-05-16 镇江精英软件科技有限公司 一种软件开发过程管理方法
CN101963918B (zh) * 2010-10-26 2013-05-01 上海交通大学 实现cpu/gpu异构平台的虚拟执行环境的方法
US9069893B2 (en) * 2011-03-23 2015-06-30 International Business Machines Corporation Automatic verification of determinism for parallel programs
US8533676B2 (en) * 2011-12-29 2013-09-10 Unisys Corporation Single development test environment
US20130174124A1 (en) * 2011-12-29 2013-07-04 Christina Watters Version numbering in single development and test environment
US8745585B2 (en) * 2011-12-29 2014-06-03 Unisys Corporation Meta-data for single development test environment
CN102508704A (zh) * 2011-11-10 2012-06-20 上海市共进通信技术有限公司 计算机软件系统中实现任务分解和并行处理控制的方法
US9465632B2 (en) * 2012-02-04 2016-10-11 Global Supercomputing Corporation Parallel hardware hypervisor for virtualizing application-specific supercomputers
US9015673B2 (en) * 2012-08-17 2015-04-21 Ge Aviation Systems, Llc Method for developing software in a parallel computing environment
US10387293B2 (en) * 2012-10-09 2019-08-20 Securboration, Inc. Systems and methods for automatically parallelizing sequential code

Also Published As

Publication number Publication date
JP2014038613A (ja) 2014-02-27
CA2822676A1 (en) 2014-02-17
BR102013019517A2 (pt) 2015-01-13
US20140053137A1 (en) 2014-02-20
US9015673B2 (en) 2015-04-21
EP2698709A1 (en) 2014-02-19
JP6310206B2 (ja) 2018-04-11
CN103593179A (zh) 2014-02-19

Similar Documents

Publication Publication Date Title
BR102016018127A2 (pt) método para projeto com base em modelo de software de segurança crítica
US11586433B2 (en) Pipeline release validation
CN110347395A (zh) 基于云计算平台的软件发布方法及装置
US20050160103A1 (en) System and method for simulating product design and development
US20140372989A1 (en) Identification of a failed code change
CN119065650A (zh) 一种基于多智能体语言系统的代码生成方法、装置及设备
CN106326127A (zh) 一种自动化测试方法
CN111198811A (zh) 一种页面自动化测试的方法、装置、电子设备及存储介质
CN103593179B (zh) 用于在并行计算环境中开发软件的方法
Adorf et al. How to professionally develop reusable scientific software—and when not to
CN118885390A (zh) 一种基于大数据的航天器自动化测试方法及系统
US9298858B1 (en) System and method for reducing models based on a criterion
Nugroho et al. Assessing uml design metrics for predicting fault-prone classes in a java system
CN112527312B (zh) 一种嵌入式系统的测试方法和测试装置
Mallick et al. An Investigation Into the Efficacy of RANOREX Software Test Automation Tool
CN116225377B (zh) 一种跨平台小程序的统一开发方法、装置和电子设备
Pitakrat Hora: Online Failure Prediction Framework for Component-based Software Systems Based on Kieker and Palladio.
Mısırlı et al. Different strokes for different folks: A case study on software metrics for different defect categories
Ibrahim et al. Chasing the rainbow: Streamlined tool qualification
D'Ambrogio et al. On the Importance of Simulation in Enabling Continuous Delivery and Evaluating Deployment Pipeline Performance.
Cheung et al. Identifying and addressing uncertainty in architecture-level software reliability modeling
CN104375827B (zh) 基于高层设计的交互式软件自动化重构方法
CN120872849B (zh) 一种电网业务应用对处理器架构的兼容性评测方法及系统
Li et al. Quality assurance for component-based systems in embedded environments
EP4287027A1 (en) Method and system for generating test cases for an engineering program

Legal Events

Date Code Title Description
C06 Publication
PB01 Publication
C10 Entry into substantive examination
SE01 Entry into force of request for substantive examination
GR01 Patent grant
GR01 Patent grant
CF01 Termination of patent right due to non-payment of annual fee
CF01 Termination of patent right due to non-payment of annual fee

Granted publication date: 20190301

Termination date: 20210816