TWI849133B - 軟體開發裝置和軟體開發程式 - Google Patents

軟體開發裝置和軟體開發程式 Download PDF

Info

Publication number
TWI849133B
TWI849133B TW109117816A TW109117816A TWI849133B TW I849133 B TWI849133 B TW I849133B TW 109117816 A TW109117816 A TW 109117816A TW 109117816 A TW109117816 A TW 109117816A TW I849133 B TWI849133 B TW I849133B
Authority
TW
Taiwan
Prior art keywords
code
scope
constraint
software development
source code
Prior art date
Application number
TW109117816A
Other languages
English (en)
Chinese (zh)
Other versions
TW202105172A (zh
Inventor
久利寿 帝都
Original Assignee
日商關連風科技股份有限公司
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 日商關連風科技股份有限公司 filed Critical 日商關連風科技股份有限公司
Publication of TW202105172A publication Critical patent/TW202105172A/zh
Application granted granted Critical
Publication of TWI849133B publication Critical patent/TWI849133B/zh

Links

Images

Classifications

    • G—PHYSICS
    • G06—COMPUTING OR CALCULATING; COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/30—Creation or generation of source code
    • G—PHYSICS
    • G06—COMPUTING OR CALCULATING; COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/40—Transformation of program code
    • G06F8/41—Compilation
    • G—PHYSICS
    • G06—COMPUTING OR CALCULATING; COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/70—Software maintenance or management
    • G06F8/75—Structural analysis for program understanding
    • G—PHYSICS
    • G06—COMPUTING OR CALCULATING; COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/40—Transformation of program code
    • G06F8/41—Compilation
    • G06F8/42—Syntactic analysis
    • G—PHYSICS
    • G06—COMPUTING OR CALCULATING; COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/40—Transformation of program code
    • G06F8/41—Compilation
    • G06F8/42—Syntactic analysis
    • G06F8/425—Lexical analysis

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)
  • Devices For Executing Special Programs (AREA)
  • Programmable Controllers (AREA)
TW109117816A 2019-05-31 2020-05-28 軟體開發裝置和軟體開發程式 TWI849133B (zh)

Applications Claiming Priority (2)

Application Number Priority Date Filing Date Title
JP2019-103138 2019-05-31
JP2019103138A JP7473145B2 (ja) 2019-05-31 2019-05-31 ソフトウェア開発装置およびソフトウェア開発プログラム

Publications (2)

Publication Number Publication Date
TW202105172A TW202105172A (zh) 2021-02-01
TWI849133B true TWI849133B (zh) 2024-07-21

Family

ID=73553425

Family Applications (2)

Application Number Title Priority Date Filing Date
TW109117816A TWI849133B (zh) 2019-05-31 2020-05-28 軟體開發裝置和軟體開發程式
TW113121808A TWI898655B (zh) 2019-05-31 2020-05-28 軟體開發裝置、軟體開發程式和軟體開發方法

Family Applications After (1)

Application Number Title Priority Date Filing Date
TW113121808A TWI898655B (zh) 2019-05-31 2020-05-28 軟體開發裝置、軟體開發程式和軟體開發方法

Country Status (5)

Country Link
US (2) US12045608B2 (https=)
EP (1) EP3979068A4 (https=)
JP (3) JP7473145B2 (https=)
TW (2) TWI849133B (https=)
WO (1) WO2020241570A1 (https=)

Citations (4)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US20130067155A1 (en) * 2011-09-09 2013-03-14 International Business Machines Corporation Memory Type-Specific Access Control Of A Field Of A Record
CN105393216A (zh) * 2013-08-15 2016-03-09 甲骨文国际公司 运行时内存调节
US20160147511A1 (en) * 2014-11-26 2016-05-26 Markus Eble Pre-compiler
CN107885503A (zh) * 2017-11-11 2018-04-06 湖南大学 一种基于程序特征分析的迭代编译优化方法

Family Cites Families (43)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JP3259887B2 (ja) * 1995-05-15 2002-02-25 株式会社ニフコ 連結具
US9886309B2 (en) 2002-06-28 2018-02-06 Microsoft Technology Licensing, Llc Identity-based distributed computing for device resources
JP4938991B2 (ja) 2005-03-31 2012-05-23 キヤノン株式会社 プログラムコード生成装置、プログラムコード生成方法、及びコンピュータプログラム
JP4144889B2 (ja) 2005-10-31 2008-09-03 インターナショナル・ビジネス・マシーンズ・コーポレーション プログラムの規約違反を判断する装置、およびその方法
US7900188B2 (en) * 2006-09-01 2011-03-01 The Mathworks, Inc. Specifying implementations of code for code generation from a model
US8584085B2 (en) * 2008-09-24 2013-11-12 Accenture Global Services Limited Identification of concepts in software
CA2746136C (en) * 2011-07-12 2018-05-29 Ibm Canada Limited - Ibm Canada Limitee Managing aliasing constraints
JP5867088B2 (ja) 2012-01-05 2016-02-24 富士電機株式会社 組込み機器用ソフトウェア作成支援装置およびプログラム
US8806458B2 (en) * 2012-02-16 2014-08-12 Microsoft Corporation Vectorization of shaders
US20140143762A1 (en) * 2012-11-21 2014-05-22 Fujitsu Limited Symbolic execution of dynamic programming languages
US9448820B1 (en) * 2013-01-03 2016-09-20 Amazon Technologies, Inc. Constraint verification for distributed applications
US10095602B2 (en) * 2013-03-14 2018-10-09 Syntel, Inc. Automated code analyzer
KR101573580B1 (ko) * 2013-10-28 2015-12-01 현대자동차주식회사 데이터 고속 전처리 방법과 이를 지원하는 전자 장치 및 차량
US9262134B2 (en) * 2014-03-21 2016-02-16 International Business Machines Corporation Analysis of source code changes
US9361068B2 (en) * 2014-05-21 2016-06-07 International Business Machines Corporation System and method for using development objectives to guide implementation of source code
US20160004517A1 (en) * 2014-07-01 2016-01-07 Bank Of America Corporation SOFTWARE DEVELOPMENT IMPROVEMENT TOOL - iREVIEW
US9823904B2 (en) * 2014-12-18 2017-11-21 International Business Machines Corporation Managed assertions in an integrated development environment
US11734000B2 (en) * 2015-03-31 2023-08-22 GalaxE.Solutions, Inc. System and method for automated cross-application dependency mapping
US9588871B1 (en) * 2015-04-14 2017-03-07 Don Estes & Associates, Inc. Method and system for dynamic business rule extraction
US20170300306A1 (en) * 2016-04-13 2017-10-19 Qualcomm Innovation Center, Inc. Accelerated parsing in a virtual machine for similar javascript codes in webpages
US10423518B2 (en) 2016-04-27 2019-09-24 The Mathworks, Inc. Systems and methods for analyzing violations of coding rules
CN110383238B (zh) * 2016-05-15 2024-01-05 新思科技有限公司 用于基于模型的软件分析的系统和方法
CN106095408B (zh) * 2016-05-31 2019-05-14 浙江网新恒天软件有限公司 一种数据监控和代码自动生成与部署的系统及方法
KR101850303B1 (ko) * 2016-09-13 2018-05-31 슈어소프트테크주식회사 소스 코드 위배 수정 방법 및 이를 실행하기 위한 프로그램을 기록한 컴퓨터로 판독가능한 기록매체
JP6845429B2 (ja) * 2017-03-15 2021-03-17 富士通株式会社 コンパイラプログラム、情報処理装置およびコンパイル方法
US10310827B2 (en) * 2017-04-08 2019-06-04 Oracle International Corporation Flow-based scoping
US10740470B2 (en) * 2017-05-31 2020-08-11 Shiftleft Inc. System and method for application security profiling
US20190050210A1 (en) * 2017-08-11 2019-02-14 Fugue, Inc. System and method for providing cloud operating system verifications for a domain-specific language for cloud services infrastructure
US20190129832A1 (en) * 2017-11-02 2019-05-02 Siemens Aktiengesellschaft System and method for test data generation for use in model based testing using source code test annotations and constraint solving
EP3493051A1 (en) * 2017-11-30 2019-06-05 The MathWorks, Inc. System and methods for evaluating compliance of implementation code with a software architecture specification
US10565014B2 (en) * 2017-12-05 2020-02-18 Western Digital Technologies, Inc. Data processing offload using in-storage code execution
US11216255B1 (en) * 2017-12-30 2022-01-04 ezbds, LLC Open compiler system for the construction of safe and correct computational systems
US20190258460A1 (en) * 2018-02-22 2019-08-22 Dspace Digital Signal Processing And Control Engineering Gmbh Method and system for generating a software component
US10416972B1 (en) * 2018-03-16 2019-09-17 Capital One Services, Llc Generating closures from abstract representation of source code
US10866792B1 (en) * 2018-04-17 2020-12-15 Palantir Technologies Inc. System and methods for rules-based cleaning of deployment pipelines
US11074154B2 (en) * 2018-06-06 2021-07-27 International Business Machines Corporation Identifying a source file for use in debugging compiled code
US10860338B2 (en) * 2018-07-18 2020-12-08 Oracle International Corporation Type-constrained operations for plug-in types
US10977111B2 (en) * 2018-08-28 2021-04-13 Amazon Technologies, Inc. Constraint solver execution service and infrastructure therefor
US11474795B2 (en) * 2018-09-11 2022-10-18 Apple Inc. Static enforcement of provable assertions at compile
US11074049B2 (en) * 2018-12-21 2021-07-27 Dspace Digital Signal Processing And Control Engineering Gmbh Method and system for generating program code modified by rule sets
CN109783107B (zh) * 2019-01-10 2022-05-24 深圳市小赢信息技术有限责任公司 一种可视化的规则生成方法、装置及电子设备
US11106437B2 (en) * 2019-01-14 2021-08-31 Microsoft Technology Licensing, Llc Lookup table optimization for programming languages that target synchronous digital circuits
US11144725B2 (en) * 2019-03-14 2021-10-12 International Business Machines Corporation Predictive natural language rule generation

Patent Citations (4)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US20130067155A1 (en) * 2011-09-09 2013-03-14 International Business Machines Corporation Memory Type-Specific Access Control Of A Field Of A Record
CN105393216A (zh) * 2013-08-15 2016-03-09 甲骨文国际公司 运行时内存调节
US20160147511A1 (en) * 2014-11-26 2016-05-26 Markus Eble Pre-compiler
CN107885503A (zh) * 2017-11-11 2018-04-06 湖南大学 一种基于程序特征分析的迭代编译优化方法

Also Published As

Publication number Publication date
JP7473145B2 (ja) 2024-04-23
JP2026016754A (ja) 2026-02-03
WO2020241570A1 (ja) 2020-12-03
JP7789292B2 (ja) 2025-12-22
EP3979068A4 (en) 2023-02-08
US20240411554A1 (en) 2024-12-12
JP2020197866A (ja) 2020-12-10
US12045608B2 (en) 2024-07-23
TW202105172A (zh) 2021-02-01
TWI898655B (zh) 2025-09-21
JP2024096774A (ja) 2024-07-17
US20220236982A1 (en) 2022-07-28
EP3979068A1 (en) 2022-04-06
TW202503512A (zh) 2025-01-16

Similar Documents

Publication Publication Date Title
CN101924656B (zh) 一种基于动态配置的网络设备cli实现方法和装置
JP6255420B2 (ja) 不変オブジェクトタイプ
US20150193214A1 (en) API Descriptions
JP2024041899A (ja) システムおよび方法
JP2021002326A (ja) ソフトウェアプログラムにおける静的分析違反の修復パターンの精緻化
US20110231178A1 (en) Modeling and generating computer software product line variants
WO2022127263A1 (zh) 一种代码处理方法以及相关设备
CN110334024A (zh) 一种基于树状结构的测试用例管理方法、装置及终端
JP2026035883A (ja) ソフトウェア開発装置およびソフトウェア開発プログラム
US20110307959A1 (en) Selectively exposing base class libraries based on application execution context
TWI849133B (zh) 軟體開發裝置和軟體開發程式
CN114995790B (zh) 一种组件开发方法、装置、计算机可读介质及电子设备
JP7592334B2 (ja) コンピューティングシステムおよび情報処理方法
WO2023123111A1 (zh) 编译方法以及用于编译的装置
CN112068814B (zh) 可执行文件的生成方法、装置、系统及介质
CN119759739B (zh) 符号化调用堆栈的方法、装置、设备和存储介质
CN121902727A (zh) Eda仿真器的类型定义处理方法、电子设备和介质
JP2009230667A (ja) プロパティ生成システムおよびプロパティ検証システム