[抄録]は本稿では、これに基づいて、この記事では、LOGISCOPEソフトウェア開発の品質保証の仕事を説明、ソフトウェアの品質要件を説明します。どのようにソフトウェア開発のさまざまな段階に確保するため、これらのツールを使用して行うソフトウェアの信頼性、保守性の開発ことを確認します。LOGISCOPEの使用の合理化は、ISO9001の認証を介して、開発チームを助けるも、CMMのレベルを容易にするために開発チームを強化する。SCADE Logiscopeおよびデザインツールは、ソフトウェアがRTCA/DO-178B、IEC1508、IEC880を満たすように組み合わせで使用されるGJB - 2786安全性 - クリティカルなシステムソフトウェアの品質要件を示します。
1。ソフトウェアの品質要件
ソフトウェアは、システムの大きな重要な部分は、組込みソフトウェア、ソフトウェアを使用して、システムの一部として最も重要な要件は、安全性と信頼されていることを、システムに組み込まれたシステムの一部としてソフトウェアを指します。軍事分野、特に、特にインチ
したがって、我々がサポートし、対応組込みソフトウェア開発、ソフトウェアのテストと評価、および他のユニットを、彼らは、ソフトウェアの品質保証活動を行うことを確認する効果的な方法とソフトウェアツールを使用する必要があります。それがために最短時間で確実にするために開発者をサポートする適切なソフトウェアツールは、製品納入後の保守コストを削減しながら、最小のコストで、高品質なソフトウェアの開発は、顧客のニーズを満たすために、持っているということです。
実際のプロジェクトに関する統計は、あなたが発見のさまざまな段階で検出され、ミスのコストは異なっている変更するには、次の表は、特定のデータは、[1]を示しています。
ソフトウェア開発フェーズ
コーディングフェーズ
テスト
メンテナンスフェーズ
発見のコストは、エラーを変更する
1回
4回
16回
一方、統計情報は、プロジェクトが、エラーの80％は、しばしばプログラムの20％によって引き起こされることを示している。したがって、どのように効果的に認識し、部品の20％は非常に重要です識別されます。
経験もエラーが多くの手順では、その構造、アルゴリズム、プログラムスタイルしばしば非常に複雑であることを教えてくれる。
見つけた次の表は、ソフトウェア開発活動（評価テスト）の様々な段階にあることをエラーが発生した場合は[1]：
エラーが活動を発見
エラーの番号ごとに1000行が見つかりました
近距離
2.5
デザインレビュー
5.0
コードレビュー
10.0
統合テスト
3.0
受け入れテスト
2.0
他の工業製品とソフトウェア製品は、その品質が品質管理のためのソフトウェア開発プロセスに依存します。良いソフトウェアの品質を向上させるために、すべての段階で制御する必要があります。
LOGISCOPEツールのセットです。これは、ソフトウェア開発、コードレビュー、ユニット/統合テスト、システムテスト、およびソフトウェアメンテナンスフェーズで実行されます。
LOGISCOPEは、著作物のソースコードです。、テスト、保守をコーディングするためのLOGISCOPE。したがって、LOGISCOPEフォーカスがコードレビュー（レビュー）と動的カバレッジテスト（テスト）を支援することです。
開発フェーズ2 LOGISCOPE
品質モデルの2.1定義
注目のソフトウェア開発会社の品質には、プログラマがプログラミングのルールは、[2]、品質評価モデルを定義する必要があります。ソースコードは、メンテナンスが容易、高い信頼性と移植性の安定性を確保するために会社によって開発された。
RuleCheckerプログラミングの50の事前定義されたルール：
大会*お名前（例えば：小文字などのローカル変数）;
*は、規則（のような：1行に1命令）は言った。
*制限（例えば：ループカウンタなどに変更することはできませんステートメント後藤は使用できません）。
ユーザーは、これらのルールから、また、スクリプト、新しいルールを定義する言語のプログラミングは、Tclを使用することができます選択することができます。
クリティカルなシステムプログラミングのルール - それはまた、50の安全のために用意されています。
監査ISO9126、品質評価モデルの基礎として[3]モデル。品質評価モデルがHalstend、McCabeさんとVerilogの測定手法や方法論の品質、品質因子（保守性、再利用など）や品質基準（テスト容易性、読みやすさなど）の導入から説明しています。
プロジェクトリーダーやモデルの品質と品質管理、アプリケーションのライフサイクル、契約要件など、選択し、プロジェクトの要件の採用の基準に基づくことができる。
2.2検証、確認して、コードを改善
選択されたソースコード検証の規則RuleChecker。、すべてのコードを満たしていないと解釈および推奨事項を向上させるために、ソースコードを作ったのルールをプログラミング。RulrCheckerは、テキストエディタを使用して直接ソースコードの位置を修正する必要がアクセスすることができます。
監査は、ソフトウェア要件のモデルの品質を評価されるグラフィックソフトウェアの品質のレベルを表示比較して、そのため、スタッフの質は、コードセクションを変更する必要性を集中することができます。測定モデル要素の品質および矛盾を説明するために修正方法を提案する。
ソフトウェアの品質の詳細な分析は、監査は、グラフィカルな表現の様々なことができます：
*アプリケーションのシステムアーキテクチャ - コールグラフは、プロセスと機能との関係を示しています。設計レビューアプリケーション;
*各プロセスと論理構造の機能 - 制御フロー図は、論理パスアルゴリズムを示しています。評価関数の複雑さのグラフィカルな表現では;
*一貫性とモデルの品質 - キビエット図と円グラフのように選択した品質レベルと一貫性を参照の間に、より視覚的であることを確認します。
テスト3 LOGISCOPE
条件をテスト3.1の定義
ソフトウェアのテスト段階では、最も重要なすべてのコードパスが完全に[4,5]覆われていることを確認することです。のみ、完全にソフトウェアの信頼性がテストされています。特に信頼性ソフトウェア高。
テストの妥当性を確保するため客観的定量的基準と戦略を定義する必要がありますするにはテスト段階を終了するときに確認してください。
LOGISCOPEは、命令（IB）の論理的なパス（DDP）は、カバレッジのテストの呼び出しパス（PPP）をお勧めします。重要なソフトウェアまた、MC / DCカバレッジテスト[5]を提供しています - 安全性に加えて、。
テスト3.2妥当性
TestCheckerは、各テストの累積的なテストのカバレッジ情報のための情報を生成します。リアルタイムのオンライン変更の下でカバレッジ比率のヒストグラム表示およびテスト操作を実行します。テストでは、報道に反映さいつでも新しいテストが表示されます。
TestCheckerは、その管理に基づいて、すべてのテストの有効性をすることができます。ユーザーは、非回帰テストのテストに使用されるものを減らすことができます。
テスト3.3の最適化
テストフェーズの最初のステップは、テストの実装では、機能（ブラックボックス）テストです。目的は、所望の機能が達成されているかどうかを確認することです。初期のテストでは、範囲が急速に増加します。70％の一般的にまともなテストカバレージ。しかし、非常に困難であるこの比率を向上させます。主に同じパスをカバーするテストのテストケースのために。この時には、テスト戦略にいくつかの変更を行う必要があります。構造的（白いボックス）テストの実装は、ではなく、論理的なパスを、これらのパスをカバーする新しいテストケースの定義を検出するために実施した。
テスト戦略の変更は、TestCheckerの使用の重要な要因の包括的な検出効率を向上させるためのテスト期間の実装では。TestCheckerは、ユーザーがテストされていないコードを分析するのに役立ちますが監査と組み合わせて使用します。
ユーザーは、興味のあるコードを表示することができます観測された関連情報のパスの実装によってカバーされていない。情報のグラフィック（制御フローグラフ）とテキスト（擬似コードとソースファイル）形式で、ナビゲーション、その間に協会を設立。
TestCheckerは、関連するドキュメント、カスタムbootコマンド、および自動実行を生成するために新しいテスト管理システムを宣言した。
メンテナンスフェーズ4 LOGISCOPE
アプリケーションシステムの保守や開発費の広範な理解がほぼ等しくなります。経験が示されて、その構造、ロジックの時間と実行しているの理解のソフトウェアメンテナンスの50％。
LOGISCOPEが大幅に必要な未知の時間のシステムの理解を減らすことができます。
ドキュメント（文書の各部分の間の関係）の申請書の監査のフレームワークは、フォーム（関数およびプロシージャの間の関係）の可視化グラフを呼び出します。
関数の論理構造は、フローグラフが表示さ制御することができます。制御フローグラフのノード上で選択するには、対応するコードを取得することができます。
ライン分析では、異なるレベルの間のナビゲーションは、全体の理解を促進する。
埋め込みスペースのサポート5
テストの様々な方法をサポートしてLOGISCOPE。特に、組込みソフトウェアサポートのフィールドに入力します。
また組み込みシステムのソフトウェアのテストでは、最も困難なことが知られている。その開発は、クロスされているため、方法をまとめた。ターゲットマシン（ターゲット）ではなく、余分なスペースがレコードのテスト情報を持っています。ホスト（ホスト）、およびリアルタイムのオンライン表示に達して、ネットワークケーブル/シリアルポートを介してリアルタイムの情報でテストする必要があります。したがって、ソースコードの計測は、ターゲットマシン上の情報の収集と問題の鍵を返す。
これらの技術に優れたソリューションを、組み込みフィールドテストツールのリーダーLOGISCOPE。これは、テストでは、システムのロジックをサポートするアプリケーションテストのリアルタイムオペレーティングシステム（RTOS）の様々なサポートされています。次のようにその作業方法は：
Logiscopeは、VxWorksは、PSOを、VRTXリアルタイムオペレーティングシステム、テストライブラリを提供します。
原子力発電所のフィールドの航空6 /航空宇宙/防衛/サポート
航空/航空宇宙業界では、安全性が最も重要な課題となっている。したがって、ヨーロッパやアメリカの航空/航空宇宙メーカーやユーザーが共同でRTCA/DO-178B [5]を開発した。"レビューとソースコードの分析"と"構造カバレッジ分析"ソフトウェアLOGISCOPEはRTCA/DO-178B標準AをBがCを3システムレベルを有効にするために開発。
LOGISCOPEは、MC / DCを（変更条件/判定カバレッジ）のテストツールを提供する最初のものです。
VerilogのSCADEは、同社が完全にRTCA/DO-178Bをサポートする別の製品、IEC1508 [6]、IEC880 [7]ツールです。SCADEは、/航空安全クリティカルなシステムのソフトウェアの安全性と信頼性をその航空を確保するために生産ラインを構成LOGISCOPE。
テストドキュメントの7。ソフトウェアのマニュアルおよび自動生成
Logiscopeは、自動ドキュメント生成ツールを提供します。ユーザーがドキュメントを生成するコードを、リアルタイムでの状況の動的なテスト要件の結果を確認することができない場合のコードの忠実に記録、および動的なテスト結果を表示します。文書形式は、GJB - 438Aの[8]など、ユーザーのニーズに合わせてカスタマイズすることができます。したがって：
1）コードとドキュメントの不一致を避けるために;
2）不整合を避けるために、結果をテストレポートテスト;
3）開発者を削減し、テスター、ドキュメントの作業を書いてみませんか？
8概要
最短時間でLOGISCOPEの使用は、品質とソフトの効率を向上させる。
開発段階でLOGISCOPE、検索の潜在的なエラーを探すことができます。
コードレビューの段階では、LOGISCOPE位置決めエラーは、そのプログラムモジュールの80％を持っています。
ない位置にコードをテストするには、LOGISCOPEヘルプは、コード内で非表示の欠陥がテストされていません見つける。
プロジェクトリーダーと品質エンジニアは、ソフトウェアの品質をLOGISCOPE定期的に確認してください。
ソフトウェアエンジニアリングの実践を改善し、各ステージLOGISCOPE時に使用され、トレーニングのプログラマは、システムを維持するために簡単に確保するには良いコードとテストの活動を書いて、リスクを低減します。
契約関係において、請負人は、LOGISCOPE品質レベルと受け入れテストの実装を定義して使用することができます。チェンZhifangは、ソフトウェアの品質を示すLOGISCOPEすることができます。
"品質特性"が定義されてISO/IEC9126のLOGISCOPE;
[9]は、要件を（テストの判定基準とqulityレコード）を提供するのISO - 9001 LOGISCOPE;
LOGISCOPEは、レベル2のSEI / CMMの[10]を開発者に提供します（再現性）、キープラクティスの必要なソフトウェアの品質要件に従うと、三の可能性住友電工/ SMMは限り迅速に開発体制を推進しています。