JP5659238B2 - ソースコード変換方法およびソースコード変換プログラム - Google Patents
ソースコード変換方法およびソースコード変換プログラム Download PDFInfo
- Publication number
- JP5659238B2 JP5659238B2 JP2012540895A JP2012540895A JP5659238B2 JP 5659238 B2 JP5659238 B2 JP 5659238B2 JP 2012540895 A JP2012540895 A JP 2012540895A JP 2012540895 A JP2012540895 A JP 2012540895A JP 5659238 B2 JP5659238 B2 JP 5659238B2
- Authority
- JP
- Japan
- Prior art keywords
- conversion
- source code
- model
- functional
- rule
- 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
Links
Images
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F11/00—Error detection; Error correction; Monitoring
- G06F11/36—Preventing errors by testing or debugging software
- G06F11/3604—Software analysis for verifying properties of programs
- G06F11/3608—Software analysis for verifying properties of programs using formal methods, e.g. model checking, abstract interpretation
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F11/00—Error detection; Error correction; Monitoring
- G06F11/36—Preventing errors by testing or debugging software
- G06F11/3604—Software analysis for verifying properties of programs
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F11/00—Error detection; Error correction; Monitoring
- G06F11/36—Preventing errors by testing or debugging software
- G06F11/362—Software debugging
- G06F11/3624—Software debugging by performing operations on the source code, e.g. via a compiler
Description
まず、図1、図2を参照しながら本発明の基本概念を説明する。本発明では、ソースコードを、複数の変換ルールの組み合わせた変換処理を行うことにより、既存モデル検査装置に適合した非機能検査コードへ変換する。すなわち、(a)“変換”を細粒度に分割し、複数の「変換ルール」の組み合わせとしてパッケージ化することで、柔軟な変換を実現する。(b)利用者(検査者)は、検査対象のソースコード0001を入力し、対象のソースコードと検査水準に応じた「変換ルール」0002を選択し、変換処理1000により中間形式で表現されたソフトウェアを抽象化し、この抽象化されたソフトウェアの各部品(機能)に非機能ルール0005に基づいた非機能の制約を付加することで、所望の非機能検査コード0006を得る。非機能検査コード0006に対しては、さらに、モデル検査ツール2000においてシステムの制約条件を満たすかの判定がなされる。制約条件を満たさない場合は、ソースコードを修正して変換処理1000を繰り返す。このようにしてシステムの制約条件を満たす非機能検査コード0006が生成される。
(a)単純な構文変換
「C言語の条件分岐 (If文・Switch文)」を、「検査コードの条件分岐(If 文)」に変換
「C言語の繰り返し文(for文・while文・…)」を、「検査コードの繰り返し(Do文)」に変換
(b)外部環境のモデル化
「データ読込み」を、「ランダム入力」へ置き換え
(c)抽象化
「繰り返しの除去」
「条件の簡略化」
また、本発明における、「非機能」ルールには、時間的制約や、容量的な制約がある。すなわち、本発明における、非機能要件には、処理時間、メモリ使用量、又はその両方を含む。
(1)ソースコード0001をこれと(ほぼ)等価な「実装モデル」1205へと変換
(2)「実装モデル」を特定のプログラミング言語に依存しない形式にて構造や論理などのプログラム情報を表現する「汎化モデル」へと変換
すなわち、異なる複数の第1変換ルール1005−1〜1005−nの少なくとも1つを用いて、「実装モデル」1205を特定のプログラミング言語に依存しない形式である中間形式の「汎化モデル」1206へと変換する。図7の例では、第1変換ルールとして、「“if文”→条件分岐」、「“switch文”→条件分岐」、「“while文”→“繰り返し”」、「“for文”→“繰り返し”」、「“int文”→“整理型”」、「“flow文”→“フロー型”」、「“double文”→“フロー型”」の少なくとも7つの異なる変換ルールが選択されている。
すなわち、非機能ルールを用いて、中間形式の「汎化モデル」1206を非機能制約付の汎化モデル1207へと変換する。図7の例では、時間の制約(単位:秒)として、「 “サブルーチン” →t>60」、「“繰り返し”→t>50」、「“条件分岐”→t>30」、「“四則演算”→t>10」の異なる非機能ルールが選択されている。また、容量の制約として、「“整理型”→4バイト」、「“フロー型” →8バイト」の異なる非機能ルールが選択されている。
すなわち、異なる複数の第2変換ルール1006−1〜1006−nの少なくとも1つを用いて、前記中間形式の汎化モデルに対して抽象化処理を行う。
すなわち、異なる複数の第3変換ルール1007−1〜1007−nの少なくとも1つを用いて、前記中間形式の汎化モデル1207から非機能検査コードの生成に要する情報を有する非機能検査モデル1008に変換する。図7の例では、第3変換ルールとして、第1変換ルールに対応した「“条件分岐”→“if”文」、「“繰り返し”→“do”文」の少なくとも2つの異なる変換ルールが選択されている。
(1)汎用的なルール: 常に選択
(2)特定のライブラリに依存したルール: 使用ライブラリや、検査対象のドメイン(カテゴリ)を入力することで、まとめて選択
(3)抽象化に対応したルール:(検査したい性質・検査水準を入力して得た)変換ルール一覧から、利用者が選択、もしくは利用者自身が記述して入力、もしくは検査したい性質などから、自動生成。
(1)DTVのチャンネル切り替えが、1秒以内に切り替わること確認する。
(2)超解像アルゴリズムが、1画面あたり1/120秒以内で終了することを確認する。
(3)装置の異常をセンサにて検出した場合、5秒以内でユーザに通知することを確認する。
0002 変換ルール
0003 メタモデル
0004 書出しルール
0005 非機能ルール
0006 非機能検査コード
0007 非機能検査コード
0008 計測付きソースコード
1000 ソースコード検査装置
1001 ソースコード情報
1002 メタ・実装モデル
1003 メタ・汎化モデル
1004 メタ・検査モデル
1005 実装−汎化変換ルール
1006 抽象化変換ルール
1007 汎化−検査変換ルール
1008 検査モデル
1009 検査コード書出ルール
1100 入力部
1101 ソースコード入力部
1102 変換ルール入力部
1200 変換処理部
1201 モデル構築部
1202 実装−汎化モデル変換部
1203 抽象化モデル変換部
1204 非機能制約付加処理部
1209 汎化−検査モデル変換部
1205 実装モデル
1206 汎化モデル
1300 出力部
1301 検査コード書出し部
1400 記憶部
1401 変換ルールデータベース
1402 メタモデルデータベース
1403 書出しルールデータベース
1404 非機能ルールデータベース
1500 制御部
2000 モデル検査ツール
4000 実測装置
S101 ソースコード入力 ステップ
S102 変換ルール入力 ステップ
S103 変換ルール適用 ステップ
S104 検査コード出力 ステップ。
Claims (14)
- ソースコード変換装置によるソースコード変換方法であって、
ソフトウェアのソースコードを入力するステップと、
異なる複数の変換ルールを入力するステップと、
処理性能に関係する制約である非機能ルールを入力するステップと、
前記ソースコードを、前記異なる複数の変換ルール及び前記非機能ルールにより、検証ツールの入力言語で記述された非機能検査コードに変換するステップとを有するソースコード変換方法において、
前記変換ルールは、
ソースコードを特定のプログラミング言語に依存しない形式である中間形式へと変換する第1変換ルールと、
前記中間形式に対して抽象化処理を行う第2変換ルールと、
前記中間形式から前記検査コードに変換する第3変換ルールとを含み、
ソフトウェアのソースコードを入力するステップと、
少なくとも1つの前記第1変換ルールを入力するステップと、
少なくとも1つの前記第2変換ルールを入力するステップと、
少なくとも1つの前記第3変換ルールを入力するステップと、
前記第1変換ルールを用いて、前記ソフトウェアのソースコードを、前記中間形式へと変換するステップと、
前記第2変換ルールを用いて、前記中間形式で表現された前記ソフトウェアを抽象化するステップと、
前記中間形式に、前記非機能ルールにより、前記抽象化された中間形式に非機能制約を付加するステップと、
前記第3変換ルールを用いて、前記非機能制約の付加された前記中間形式を検証ツールの入力言語で記述された非機能検査コードに変換するステップとを有する
ことを特徴とする、ソースコード変換方法。 - 請求項1において、
前記非機能ルールは、前記中間形式の条件分岐に与える時間的制約を含む
ことを特徴とする、ソースコード変換方法。 - 請求項1において、
前記非機能ルールは、前記中間形式の繰り返しに与える時間的制約を含む
ことを特徴とする、ソースコード変換方法。 - 請求項1において、
前記非機能ルールは、前記中間形式のサブルーチンに与える時間的制約を含む
ことを特徴とする、ソースコード変換方法。 - 請求項1において、
前記非機能ルールは、前記中間形式の四則演算に与える時間的制約を含む
ことを特徴とする、ソースコード変換方法。 - 請求項1において、
前記非機能ルールは、前記中間形式の整理型に与える容量的な制約を含む
ことを特徴とする、ソースコード変換方法。 - 請求項1において、
前記非機能ルールは、前記中間形式のフロー型に与える容量的な制約を含む
ことを特徴とする、ソースコード変換方法。 - 請求項1において、
非機能検査コードがシステムの制約条件を満たすかの判定を行うステップと、
非機能検査コードが前記システムの制約条件を満たさない場合に、前記ソースコードを修正して再入力するステップとを含む、
ことを特徴とする、ソースコード変換方法。 - ソースコード変換装置によるソースコード変換方法であって、
ソフトウェアのソースコードを入力するステップと、
異なる複数の変換ルールを入力するステップと、
異なる複数の逆変換ルールを入力するステップと、
前記ソースコードを、前記異なる複数の変換ルールにより、中間形式に変換するステップと、
前記中間形式を、前記異なる複数の変換ルールにより、抽象化中間形式に変換するステップと、
前記抽象化中間形式に、観測ポイントを付加するステップと、
前記観測ポイントが付加された抽象化中間形式を、前記異なる複数の逆変換ルールにより、観測ポイントが付加された中間形式に変換するステップと、
前記観測ポイントが付加された中間形式を、前記異なる複数の逆変換ルールにより、観測ポイントが付加されたソースコードに変換するステップを有する
ことを特徴とするソースコード変換方法。 - 請求項9において、
処理性能に関係する制約である非機能ルールを入力するステップと、
前記ソースコードを、前記異なる複数の変換ルール及び前記非機能ルールにより、検証ツールの入力言語で記述された非機能検査コードに変換するステップとを有する
ことを特徴とする、ソースコード変換方法。 - 請求項9において、
前記異なる複数の変換ルールは、前記ソースコードを、該ソースコードの記述言語に依存しない汎化されたプログラム情報をもつ汎化モデルへ変換する実装−汎化変換ルールと、前記汎化モデルを抽象化する抽象化変換ルールと、前記汎化モデルを検証ツールの記述言語へと変換する汎化−検査変換ルールとを含む
ことを特徴とするソースコード変換方法。 - 請求項11において、
前記ソースコード情報を受け取り、実装モデルへと変換し、その変換過程をソースコード−実装モデル変換対応表として逆変換データベースに登録するステップと、
前記実装モデルを前記汎化モデルへと変換し、その変換過程を実装−汎化モデル変換対応表として前記逆変換データベースに登録するステップと、
前記汎化モデルの抽象化を行い、その変換過程を抽象化変換対応表として前記逆変換データベースに登録するステップと、
前記汎化モデルの対応するモデル要素に非機能要件の付加を行い、出力するステップと、
前記汎化モデルを、非機能検査モデルへと変換するステップとを含む
ことを特徴とするソースコード変換方法。 - 請求項12において、
前記抽象化変換対応表に従って、抽象化した前記汎化モデルの具体化を行うステップと、
前記実装−汎化モデル変換対応表に従って前記汎化モデルを前記実装モデルへと逆変換するステップと、
前記ソースコード−実装モデル変換対応表に従って前記実装モデルを計測付きソースコードへと変換し、出力するステップとを含む
ことを特徴とするソースコード変換方法。 - 少なくとも1台のコンピュータ上で動作し、ソースコード変換装置を構成するプログラムであって、
前記コンピュータを、
ソフトウェアのソースコードを入力する手段、
異なる複数の変換ルールを入力する手段、
処理性能に関係する制約である非機能ルールを入力する手段、及び
前記ソースコードを、前記異なる複数の変換ルール及び前記非機能ルールにより、検証ツールの入力言語で記述された非機能検査コードに変換する手段
として機能させるためのソースコード変換プログラムにおいて、
前記変換ルールは、
前記ソースコードを特定のプログラミング言語に依存しない形式である中間形式へと変換する第1変換ルールと、
前記中間形式に対して抽象化処理を行う第2変換ルールと、
前記中間形式から前記検査コードに変換する第3変換ルールとを含み、
前記コンピュータを、
前記ソースコードを入力する手段と、
少なくとも1つの前記第1変換ルールを入力する手段、
少なくとも1つの前記第2変換ルールを入力する手段、
少なくとも1つの前記第3変換ルールを入力する手段、
前記第1変換ルールを用いて、前記ソフトウェアのソースコードを、前記中間形式へと変換する手段、
前記第2変換ルールを用いて、前記中間形式で表現された前記ソフトウェアを抽象化する手段、
前記中間形式に、前記非機能ルールにより、前記抽象化された中間形式に非機能制約を付加する手段、及び
前記第3変換ルールを用いて、前記非機能制約の付加された前記中間形式を前記検証ツールの入力言語で記述された非機能検査検証用コードに変換する手段
として機能させるためのソースコード変換プログラム。
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2012540895A JP5659238B2 (ja) | 2010-10-27 | 2011-10-25 | ソースコード変換方法およびソースコード変換プログラム |
Applications Claiming Priority (4)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2010240775 | 2010-10-27 | ||
JP2010240775 | 2010-10-27 | ||
PCT/JP2011/074595 WO2012057170A1 (ja) | 2010-10-27 | 2011-10-25 | ソースコード変換方法およびソースコード変換プログラム |
JP2012540895A JP5659238B2 (ja) | 2010-10-27 | 2011-10-25 | ソースコード変換方法およびソースコード変換プログラム |
Publications (2)
Publication Number | Publication Date |
---|---|
JPWO2012057170A1 JPWO2012057170A1 (ja) | 2014-05-12 |
JP5659238B2 true JP5659238B2 (ja) | 2015-01-28 |
Family
ID=45993876
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
JP2012540895A Expired - Fee Related JP5659238B2 (ja) | 2010-10-27 | 2011-10-25 | ソースコード変換方法およびソースコード変換プログラム |
Country Status (4)
Country | Link |
---|---|
US (1) | US9027002B2 (ja) |
JP (1) | JP5659238B2 (ja) |
CN (1) | CN103140838B (ja) |
WO (1) | WO2012057170A1 (ja) |
Cited By (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
KR20150106458A (ko) * | 2013-02-06 | 2015-09-21 | 구글 인코포레이티드 | 소스 위치가 결여된 코드 세그먼트들을 가지는 소스 코드를 모델링하기 위한 방법 |
Families Citing this family (22)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US9378377B1 (en) * | 2013-03-13 | 2016-06-28 | Hrl Laboratories, Llc | System for information flow security inference through program slicing |
US9619214B2 (en) | 2014-08-13 | 2017-04-11 | International Business Machines Corporation | Compiler optimizations for vector instructions |
KR101770292B1 (ko) * | 2014-11-27 | 2017-08-22 | 주식회사 엘지씨엔에스 | 컴퓨터 수행 가능한 모델 역공학 방법 및 장치 |
US9588746B2 (en) | 2014-12-19 | 2017-03-07 | International Business Machines Corporation | Compiler method for generating instructions for vector operations on a multi-endian processor |
US10169014B2 (en) | 2014-12-19 | 2019-01-01 | International Business Machines Corporation | Compiler method for generating instructions for vector operations in a multi-endian instruction set |
FR3031820B1 (fr) * | 2015-01-15 | 2018-03-30 | Dassault Aviation | Procede de determination de la validite d'un modele |
US9880821B2 (en) | 2015-08-17 | 2018-01-30 | International Business Machines Corporation | Compiler optimizations for vector operations that are reformatting-resistant |
US9594668B1 (en) * | 2015-09-04 | 2017-03-14 | International Business Machines Corporation | Debugger display of vector register contents after compiler optimizations for vector instructions |
US10642896B2 (en) * | 2016-02-05 | 2020-05-05 | Sas Institute Inc. | Handling of data sets during execution of task routines of multiple languages |
US10650046B2 (en) | 2016-02-05 | 2020-05-12 | Sas Institute Inc. | Many task computing with distributed file system |
US10795935B2 (en) | 2016-02-05 | 2020-10-06 | Sas Institute Inc. | Automated generation of job flow definitions |
US10133649B2 (en) * | 2016-05-12 | 2018-11-20 | Synopsys, Inc. | System and methods for model-based analysis of software |
KR102091240B1 (ko) * | 2016-11-23 | 2020-03-20 | 한국전자통신연구원 | 결정적 및 비결정적 지식 처리의 융합을 위한 데이터 처리 장치 및 방법 |
USD898059S1 (en) | 2017-02-06 | 2020-10-06 | Sas Institute Inc. | Display screen or portion thereof with graphical user interface |
JP6940751B2 (ja) | 2017-05-10 | 2021-09-29 | 富士通株式会社 | 情報処理装置、情報処理方法および情報処理プログラム |
USD898060S1 (en) | 2017-06-05 | 2020-10-06 | Sas Institute Inc. | Display screen or portion thereof with graphical user interface |
CN108268262A (zh) * | 2017-12-27 | 2018-07-10 | 广东耐思尼克信息技术有限公司 | 实现将html转换为微信小程序的方法、装置及系统 |
US11537415B2 (en) | 2018-10-02 | 2022-12-27 | Inter-University Research Institute Corporation Research Organization Of Information And Systems | Information processing apparatus, information processing circuit, information processing system, and information processing method |
CN109976712A (zh) * | 2019-03-12 | 2019-07-05 | 中山大学 | 一种基于uppaal-smc对网络物理系统需求做形式化验证方法 |
CN112799649B (zh) * | 2020-06-15 | 2023-09-12 | 中兴通讯股份有限公司 | 代码构建方法、装置、设备和存储介质 |
JP7008780B2 (ja) * | 2020-12-08 | 2022-01-25 | 三菱電機株式会社 | 状態遷移編集装置および状態遷移編集プログラム |
US11487940B1 (en) * | 2021-06-21 | 2022-11-01 | International Business Machines Corporation | Controlling abstraction of rule generation based on linguistic context |
Citations (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP2010026704A (ja) * | 2008-07-17 | 2010-02-04 | Toshiba Corp | モデル検査支援装置 |
JP2010504572A (ja) * | 2006-09-20 | 2010-02-12 | ナショナル アイシーティー オーストラリア リミテッド | モデル検査で用いられる遷移システムの生成 |
JP2010140408A (ja) * | 2008-12-15 | 2010-06-24 | Nomura Research Institute Ltd | ソースコード変換装置 |
Family Cites Families (7)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US6353896B1 (en) | 1998-12-15 | 2002-03-05 | Lucent Technologies Inc. | Method and apparatus for testing event driven software |
US20010037492A1 (en) * | 2000-03-16 | 2001-11-01 | Holzmann Gerard J. | Method and apparatus for automatically extracting verification models |
AU2003272931A1 (en) | 2002-10-28 | 2004-05-13 | Renesas Technology Corp. | System development method and data processing system |
GB0407657D0 (en) * | 2004-04-03 | 2004-05-05 | Ibm | Symbolic model checking of software |
WO2006038394A1 (ja) * | 2004-10-04 | 2006-04-13 | Matsushita Electric Industrial Co., Ltd. | ソースコード検査器、方法、プログラム及び記憶媒体 |
CN101208660A (zh) * | 2005-06-27 | 2008-06-25 | 奎朴兹有限公司 | 代码转换 |
JP2012059026A (ja) * | 2010-09-09 | 2012-03-22 | Hitachi Ltd | ソースコード変換方法およびソースコード変換プログラム |
-
2011
- 2011-10-25 CN CN201180047719.5A patent/CN103140838B/zh not_active Expired - Fee Related
- 2011-10-25 US US13/876,771 patent/US9027002B2/en not_active Expired - Fee Related
- 2011-10-25 WO PCT/JP2011/074595 patent/WO2012057170A1/ja active Application Filing
- 2011-10-25 JP JP2012540895A patent/JP5659238B2/ja not_active Expired - Fee Related
Patent Citations (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP2010504572A (ja) * | 2006-09-20 | 2010-02-12 | ナショナル アイシーティー オーストラリア リミテッド | モデル検査で用いられる遷移システムの生成 |
JP2010026704A (ja) * | 2008-07-17 | 2010-02-04 | Toshiba Corp | モデル検査支援装置 |
JP2010140408A (ja) * | 2008-12-15 | 2010-06-24 | Nomura Research Institute Ltd | ソースコード変換装置 |
Non-Patent Citations (2)
Title |
---|
CSNJ201010047226; 青木善貴,松浦佐江子: 'モデル検査に基づくプログラム欠陥抽出作業支援ツールの開発と実践' 第72回(平成22年)全国大会講演論文集(1) , 20100308, P.1-463〜1-464, 社団法人情報処理学会 * |
JPN6014034792; 青木善貴,松浦佐江子: 'モデル検査に基づくプログラム欠陥抽出作業支援ツールの開発と実践' 第72回(平成22年)全国大会講演論文集(1) , 20100308, P.1-463〜1-464, 社団法人情報処理学会 * |
Cited By (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
KR20150106458A (ko) * | 2013-02-06 | 2015-09-21 | 구글 인코포레이티드 | 소스 위치가 결여된 코드 세그먼트들을 가지는 소스 코드를 모델링하기 위한 방법 |
KR101597599B1 (ko) | 2013-02-06 | 2016-02-25 | 구글 인코포레이티드 | 소스 위치가 결여된 코드 세그먼트들을 가지는 소스 코드를 모델링하기 위한 방법 |
Also Published As
Publication number | Publication date |
---|---|
US20130263092A1 (en) | 2013-10-03 |
JPWO2012057170A1 (ja) | 2014-05-12 |
CN103140838A (zh) | 2013-06-05 |
CN103140838B (zh) | 2015-06-17 |
WO2012057170A1 (ja) | 2012-05-03 |
US9027002B2 (en) | 2015-05-05 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
JP5659238B2 (ja) | ソースコード変換方法およびソースコード変換プログラム | |
WO2012032890A1 (ja) | ソースコード変換方法およびソースコード変換プログラム | |
US8583414B1 (en) | Mapping between code coverage and model coverage for a design | |
CN109426723B (zh) | 使用释放后内存的检测方法、系统、设备及存储介质 | |
US9612806B2 (en) | Verification of computer-executable code generated from a model | |
EP3005089B1 (en) | Resolution of textual code in a graphical hierarchical model of a technical computing environment | |
US9158654B1 (en) | Verification of computer-executable code generated from a model | |
US9418230B2 (en) | Automated tools for building secure software programs | |
US8694958B1 (en) | Marking up objects in code generation | |
Lin et al. | A testing framework for model transformations | |
US20080295079A1 (en) | System and Method for Verifying and Testing System Requirements | |
US9378562B1 (en) | Management of variants in a graphical modeling environment | |
WO2013161057A1 (ja) | ソースコード検査方法及び装置 | |
CN112464636B (zh) | 约束文件的比较方法、装置、电子设备和存储介质 | |
JP5736588B2 (ja) | ソースコード変換方法及びソースコード変換プログラム | |
JP5643971B2 (ja) | ソースコード変換方法及びソースコード変換プログラム | |
US9665454B2 (en) | Extracting test model from textual test suite | |
EP2718821A2 (en) | Verification of computer-executable code generated from a model | |
US11782682B2 (en) | Providing metric data for patterns usable in a modeling environment | |
Pradhan | User interface test automation and its challenges in an industrial scenario | |
Goetz et al. | Mobile application performance for different platforms | |
Oberhauser | VR-V&V: Immersive Verification and Validation Support for Traceability Exemplified with ReqIF, ArchiMate, and Test Coverage | |
Opiyo et al. | Extending the scope of quality assurance of CAD systems: putting underlying engineering principles, theories, and methods on the spotlight | |
Lilli | A Modeling and Verification Framework for Security Protocols | |
Brandau et al. | Logical PetriNet A Tool to Model Digital Circuit Petri Nets and Transform them into Digital Circuits |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
A621 | Written request for application examination |
Free format text: JAPANESE INTERMEDIATE CODE: A621 Effective date: 20140217 |
|
A131 | Notification of reasons for refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A131 Effective date: 20140819 |
|
A521 | Request for written amendment filed |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20141010 |
|
TRDD | Decision of grant or rejection written | ||
A01 | Written decision to grant a patent or to grant a registration (utility model) |
Free format text: JAPANESE INTERMEDIATE CODE: A01 Effective date: 20141104 |
|
A61 | First payment of annual fees (during grant procedure) |
Free format text: JAPANESE INTERMEDIATE CODE: A61 Effective date: 20141201 |
|
R151 | Written notification of patent or utility model registration |
Ref document number: 5659238 Country of ref document: JP Free format text: JAPANESE INTERMEDIATE CODE: R151 |
|
LAPS | Cancellation because of no payment of annual fees |