BR102013019517A2 - Método para desenvolver um software em um ambiente de computação paralela - Google Patents

Método para desenvolver um software em um ambiente de computação paralela Download PDF

Info

Publication number
BR102013019517A2
BR102013019517A2 BRBR102013019517-0A BR102013019517A BR102013019517A2 BR 102013019517 A2 BR102013019517 A2 BR 102013019517A2 BR 102013019517 A BR102013019517 A BR 102013019517A BR 102013019517 A2 BR102013019517 A2 BR 102013019517A2
Authority
BR
Brazil
Prior art keywords
software
deployment
sequential
parallel
results
Prior art date
Application number
BRBR102013019517-0A
Other languages
English (en)
Portuguese (pt)
Inventor
Eric Daniel Buehler
Benjamin Thomas Occhipinti
Original Assignee
Ge Aviat 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 Aviat Systems Llc filed Critical Ge Aviat Systems Llc
Publication of BR102013019517A2 publication Critical patent/BR102013019517A2/pt

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)
BRBR102013019517-0A 2012-08-17 2013-07-31 Método para desenvolver um software em um ambiente de computação paralela BR102013019517A2 (pt)

Applications Claiming Priority (1)

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

Publications (1)

Publication Number Publication Date
BR102013019517A2 true BR102013019517A2 (pt) 2015-01-13

Family

ID=48986011

Family Applications (1)

Application Number Title Priority Date Filing Date
BRBR102013019517-0A BR102013019517A2 (pt) 2012-08-17 2013-07-31 Método para desenvolver um software em um ambiente de computação paralela

Country Status (6)

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

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
US5860009A (en) * 1994-04-28 1999-01-12 Kabushiki Kaisha Toshiba Programming method for concurrent programs and program supporting apparatus thereof
JP4050339B2 (ja) * 1994-04-28 2008-02-20 株式会社東芝 並行プログラム作成支援装置及び並行プログラム作成方法並びに並行プログラム実行装置
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 中兴通讯股份有限公司 一种嵌入式软件测试方法
EP1569104A3 (en) * 2004-01-09 2006-05-03 Interuniversitair Microelektronica Centrum Vzw An automated method for performing parallelization of sequential code and a computerized system adapted therefore
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 富士通株式会社 マルチスレッド処理方法及びマルチスレッド処理装置
CN101963918B (zh) * 2010-10-26 2013-05-01 上海交通大学 实现cpu/gpu异构平台的虚拟执行环境的方法
CN102456175A (zh) * 2010-10-26 2012-05-16 镇江精英软件科技有限公司 一种软件开发过程管理方法
US9069893B2 (en) * 2011-03-23 2015-06-30 International Business Machines Corporation Automatic verification of determinism for parallel programs
US20130174124A1 (en) * 2011-12-29 2013-07-04 Christina Watters Version numbering in single development and test environment
US8533676B2 (en) * 2011-12-29 2013-09-10 Unisys Corporation Single development 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
JP6310206B2 (ja) 2018-04-11
JP2014038613A (ja) 2014-02-27
CA2822676A1 (en) 2014-02-17
EP2698709A1 (en) 2014-02-19
US9015673B2 (en) 2015-04-21
CN103593179B (zh) 2019-03-01
US20140053137A1 (en) 2014-02-20
CN103593179A (zh) 2014-02-19

Similar Documents

Publication Publication Date Title
Blazytko et al. {AURORA}: Statistical crash analysis for automated root cause explanation
Le Goues et al. The ManyBugs and IntroClass benchmarks for automated repair of C programs
Pradel et al. Performance regression testing of concurrent classes
US9563547B2 (en) Testing optimized binary modules
Laguna et al. Debugging high-performance computing applications at massive scales
BR112019004964B1 (pt) gerador de caso de teste construído em editor de fluxo de trabalho de integração de dados
US9459979B2 (en) Detection of hardware errors using redundant transactions for system test
US11086768B1 (en) Identifying false positives in test case failures using combinatorics
JP7611927B2 (ja) 決定論的順序でテストを実行すること
Zhai et al. Progressive scrutiny: Incremental detection of ubi bugs in the linux kernel
CN104090798A (zh) 动静态结合的中断驱动程序数据竞争检测方法
Helmstetter et al. Automatic generation of schedulings for improving the test coverage of systems-on-a-chip
Van Der Kouwe et al. HSFI: Accurate fault injection scalable to large code bases
Zamfir et al. Automated debugging for arbitrarily long executions
Rahman et al. Automatically reproducing timing-dependent flaky-test failures
BR102013019517A2 (pt) Método para desenvolver um software em um ambiente de computação paralela
Milroy et al. Making root cause analysis feasible for large code bases: a solution approach for a climate model
Rovara et al. Automatically refining assertions for efficient debugging of quantum programs
Dadashi et al. Hardware-software integrated diagnosis for intermittent hardware faults
Wedyan et al. Integration and unit testing of software energy consumption
Wang et al. FLAVS: A fault localization add-in for visual studio
Friedler et al. Effective post-silicon failure localization using dynamic program slicing
Döbel et al. Investigating the limitations of PVF for realistic program vulnerability assessment
CN104636258B (zh) 面向可重构支撑软件的可信测试方法
Devasena et al. Optimized test suite generation using tabu search technique

Legal Events

Date Code Title Description
B03A Publication of an application: publication of a patent application or of a certificate of addition of invention
B06F Objections, documents and/or translations needed after an examination request according art. 34 industrial property law
B06U Preliminary requirement: requests with searches performed by other patent offices: suspension of the patent application procedure
B07A Technical examination (opinion): publication of technical examination (opinion)
B09B Decision: refusal
B09B Decision: refusal

Free format text: MANTIDO O INDEFERIMENTO UMA VEZ QUE NAO FOI APRESENTADO RECURSO DENTRO DO PRAZO LEGAL