JP2020197866A - ソフトウェア開発装置およびソフトウェア開発プログラム - Google Patents
ソフトウェア開発装置およびソフトウェア開発プログラム Download PDFInfo
- Publication number
- JP2020197866A JP2020197866A JP2019103138A JP2019103138A JP2020197866A JP 2020197866 A JP2020197866 A JP 2020197866A JP 2019103138 A JP2019103138 A JP 2019103138A JP 2019103138 A JP2019103138 A JP 2019103138A JP 2020197866 A JP2020197866 A JP 2020197866A
- Authority
- JP
- Japan
- Prior art keywords
- software development
- constraint
- source code
- code
- object code
- 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.)
- Granted
Links
- 238000011156 evaluation Methods 0.000 claims abstract description 13
- 238000000034 method Methods 0.000 claims description 40
- 239000000284 extract Substances 0.000 claims description 5
- 238000004891 communication Methods 0.000 description 19
- 238000012545 processing Methods 0.000 description 18
- 230000006870 function Effects 0.000 description 16
- 238000010586 diagram Methods 0.000 description 12
- 230000008569 process Effects 0.000 description 9
- 238000004458 analytical method Methods 0.000 description 6
- 238000011161 development Methods 0.000 description 3
- 238000005516 engineering process Methods 0.000 description 3
- 230000007246 mechanism Effects 0.000 description 3
- 230000006399 behavior Effects 0.000 description 2
- 238000001514 detection method Methods 0.000 description 2
- 238000005401 electroluminescence Methods 0.000 description 2
- 238000012986 modification Methods 0.000 description 2
- 230000004048 modification Effects 0.000 description 2
- 239000004065 semiconductor Substances 0.000 description 2
- 230000007274 generation of a signal involved in cell-cell signaling Effects 0.000 description 1
- 230000010365 information processing Effects 0.000 description 1
- 239000004973 liquid crystal related substance Substances 0.000 description 1
- 230000007774 longterm Effects 0.000 description 1
- 238000010295 mobile communication Methods 0.000 description 1
- 230000003287 optical effect Effects 0.000 description 1
- 238000005457 optimization Methods 0.000 description 1
- 230000004044 response Effects 0.000 description 1
- 239000007787 solid Substances 0.000 description 1
- 230000003068 static effect Effects 0.000 description 1
- 239000000758 substrate Substances 0.000 description 1
- 238000012546 transfer Methods 0.000 description 1
Images
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR 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; CALCULATING OR 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; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F8/00—Arrangements for software engineering
- G06F8/30—Creation or generation of source code
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR 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; CALCULATING OR 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
Abstract
Description
まず、本実施の形態に従うソフトウェア開発装置100およびエッジデバイス2を含むIoTシステム1の全体構成について説明する。
次に、本実施の形態に従うIoTシステム1に含まれるデバイスのハードウェア構成例について説明する。
ソフトウェア開発装置100は、典型的には汎用コンピュータで実現される。
コントローラ200は、汎用コンピュータを用いて実現してもよいし、処理を実現するために必要なコンポーネントを含む半導体基板を用いて実現してもよい。
<C.制約>
次に、本実施の形態に従うソフトウェア開発装置100において設定可能な制約について説明する。
本実施の形態に従う制約としては、以下のような種類のものを採用してもよい。
次に、本実施の形態に従うソフトウェア開発装置100が制約への適合を評価する仕組みの一例について説明する。
次に、本実施の形態に従うソフトウェア開発装置100におけるソースコードからオブジェクトコードを生成する処理手順について説明する。
上述の説明においては、説明の便宜上、1つの制約を設定する場合について例示したが、これに限らず複数の制約を重ねて設定することもできる。また、複数の制約をそれぞれのスコープを互いに一部重複させて設定することもできる。
<H.利点>
本実施の形態に従うソフトウェア開発装置100によれば、エッジデバイスなどで実行されるプログラムに対して、様々な制約を自在に設定できる環境を提供できる。これによって、利用可能なリソースおよびセキュリティの観点から様々な点を考慮した上で、エッジデバイスで実行されるプログラムを作成できる。
Claims (6)
- ソースコードからオブジェクトコードを生成するソフトウェア開発装置であって、
ソースコードに設定される制約を抽出し、当該抽出した制約の適用範囲において、当該ソースコードが当該制約に適合しているか否かを評価する評価手段と、
前記制約に適合するようにオブジェクトコードを生成する生成手段とを備える、ソフトウェア開発装置。 - 前記生成手段は、前記制約の適用範囲において、前記ソースコードが前記制約に適合していないと評価されると、前記オブジェクトコードの生成を中止する、請求項1に記載のソフトウェア開発装置。
- 前記生成手段は、前記制約の適用範囲において、前記ソースコードが前記制約に適合しているか否かを評価できない場合に、前記ソースコードに対応するオブジェクトコードに加えて、当該オブジェクトコードの実行中に、当該制約に適合しているか否かを評価するための別のオブジェクトコードを生成する、請求項1または2に記載のソフトウェア開発装置。
- 前記制約は、前記オブジェクトコードが実行時に利用するリソースに対する制限あるいは規則、前記オブジェクトコードの実行状態に対する制限あるいは規則、前記オブジェクトコードの実行手順に対する制限あるいは規則、ならびに、前記ソースコードに含まれる命令に対する制限あるいは規則のうち、いずれか1つを含む、請求項1〜3のいずれか1項に記載のソフトウェア開発装置。
- 前記評価手段は、前記制約の適用範囲に呼び出し命令が含まれる場合に、当該呼び出し命令により呼び出される命令についても、前記制約に適合しているか否かを評価する、請求項1〜4のいずれか1項に記載のソフトウェア開発装置。
- ソースコードからオブジェクトコードを生成するソフトウェア開発プログラムであって、前記ソフトウェア開発プログラムはコンピュータに
ソースコードに設定される制約を抽出し、当該抽出した制約の適用範囲において、当該ソースコードが当該制約に適合しているか否かを評価するステップと、
前記制約に適合するようにオブジェクトコードを生成するステップとを実行させる、ソフトウェア開発プログラム。
Priority Applications (5)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2019103138A JP7473145B2 (ja) | 2019-05-31 | ソフトウェア開発装置およびソフトウェア開発プログラム | |
EP20812818.1A EP3979068A4 (en) | 2019-05-31 | 2020-05-25 | DEVICE AND SOFTWARE DEVELOPMENT PROGRAM |
PCT/JP2020/020541 WO2020241570A1 (ja) | 2019-05-31 | 2020-05-25 | ソフトウェア開発装置およびソフトウェア開発プログラム |
US17/615,027 US20220236982A1 (en) | 2019-05-31 | 2020-05-25 | Software development device and software development program |
TW109117816A TW202105172A (zh) | 2019-05-31 | 2020-05-28 | 軟體開發裝置和軟體開發程式 |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2019103138A JP7473145B2 (ja) | 2019-05-31 | ソフトウェア開発装置およびソフトウェア開発プログラム |
Publications (3)
Publication Number | Publication Date |
---|---|
JP2020197866A true JP2020197866A (ja) | 2020-12-10 |
JP2020197866A5 JP2020197866A5 (ja) | 2022-06-01 |
JP7473145B2 JP7473145B2 (ja) | 2024-04-23 |
Family
ID=
Also Published As
Publication number | Publication date |
---|---|
WO2020241570A1 (ja) | 2020-12-03 |
EP3979068A4 (en) | 2023-02-08 |
TW202105172A (zh) | 2021-02-01 |
EP3979068A1 (en) | 2022-04-06 |
US20220236982A1 (en) | 2022-07-28 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
EP3605324A1 (en) | Application development method and tool, device, and storage medium thereof | |
US10481884B2 (en) | Systems and methods for dynamically replacing code objects for code pushdown | |
US9424008B2 (en) | API descriptions | |
US20050091230A1 (en) | Software build extensibility | |
KR20100059947A (ko) | 비지니스 프로세스를 재사용가능 서비스들로 변형하기 위한 시스템 및 방법 | |
US8813258B2 (en) | Selectively exposing base class libraries based on application execution context | |
CN113127361A (zh) | 应用程序的开发方法、装置、电子设备和存储介质 | |
JP6255420B2 (ja) | 不変オブジェクトタイプ | |
JP2024041899A (ja) | システムおよび方法 | |
WO2020241570A1 (ja) | ソフトウェア開発装置およびソフトウェア開発プログラム | |
JP7473145B2 (ja) | ソフトウェア開発装置およびソフトウェア開発プログラム | |
WO2021015182A1 (ja) | コンピューティングシステムおよび情報処理方法 | |
CN111625221B (zh) | 应用于集成开发环境的版本控制方法、装置及设备和介质 | |
WO2020241571A1 (ja) | ソフトウェア開発装置およびソフトウェア開発プログラム | |
CN112068814A (zh) | 可执行文件的生成方法、装置、系统及介质 | |
Hu et al. | An empirical study of mobile/handheld app development using android platforms | |
WO2022127263A1 (zh) | 一种代码处理方法以及相关设备 | |
KR20220124889A (ko) | 스타트업을 위한 투자단계별 투자기관 매칭 방법 및 장치 | |
KR20220124888A (ko) | 블록체인을 이용한 기업 및 기관 정보 통합 관리 시스템 | |
KR20210064792A (ko) | 프로젝트 관리 기능을 갖는 통합 어플리케이션 개발 플랫폼 | |
JP2010072852A (ja) | 構造分析装置、構造分析方法、及び構造分析プログラム | |
TW201626260A (zh) | 網頁上協同工作的方法 |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
A521 | Request for written amendment filed |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20220524 |
|
A621 | Written request for application examination |
Free format text: JAPANESE INTERMEDIATE CODE: A621 Effective date: 20220524 |
|
A131 | Notification of reasons for refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A131 Effective date: 20230704 |
|
A521 | Request for written amendment filed |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20230904 |
|
A131 | Notification of reasons for refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A131 Effective date: 20231205 |
|
A521 | Request for written amendment filed |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20240205 |
|
A01 | Written decision to grant a patent or to grant a registration (utility model) |
Free format text: JAPANESE INTERMEDIATE CODE: A01 Effective date: 20240305 |
|
A61 | First payment of annual fees (during grant procedure) |
Free format text: JAPANESE INTERMEDIATE CODE: A61 Effective date: 20240404 |