JP5970292B2 - ソフトウェア仕様開発支援方法及びソフトウェア仕様開発支援装置 - Google Patents
ソフトウェア仕様開発支援方法及びソフトウェア仕様開発支援装置 Download PDFInfo
- Publication number
- JP5970292B2 JP5970292B2 JP2012181988A JP2012181988A JP5970292B2 JP 5970292 B2 JP5970292 B2 JP 5970292B2 JP 2012181988 A JP2012181988 A JP 2012181988A JP 2012181988 A JP2012181988 A JP 2012181988A JP 5970292 B2 JP5970292 B2 JP 5970292B2
- Authority
- JP
- Japan
- Prior art keywords
- proposition
- format
- specifications
- unit
- 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.)
- Active
Links
Images
Landscapes
- Stored Programmes (AREA)
Description
Claims (15)
- ソフトウェア仕様の開発を支援するソフトウェア仕様開発支援装置であって、
複数の条件を有する条件部および複数の結果を有する結果部からなる複数の命題形式の仕様を入力部を介して受け付ける命題仕様受付部と、複数の命題形式の仕様を保持する第1の保持部と、前記第1の保持部の命題仕様に基づき前記複数の命題形式の仕様の各々が互いに矛盾あるいは重複しないかどうかを判定し、その結果を第2の保持部に保持する仕様検査部と、各行が前記複数の条件の1つまたは前記複数の結果の1つを示し、各列が前記複数の命題形式の仕様の各々を示す表形式で表した決定表を、前記判定の結果に基づいて作成する決定表作成部と、
を備え、
前記仕様検査部は、前記第1の保持部から取得した任意の検査対象の命題形式の仕様とその任意の比較対象の命題形式の仕様に対して、前記2つの命題形式の仕様が矛盾するかあるいは重複するかを判定し、矛盾あるいは重複するならば、前記検査対象の命題形式の仕様を、比較対象の命題形式の仕様と矛盾あるいは重複する命題形式の仕様と、比較対象の命題形式の仕様と矛盾あるいは重複しない命題形式の仕様とに分解して、前記第2の保持部に登録し、
前記決定表作成部は、前記第2の保持部から前記命題形式の仕様の何れか、あるいは両方を取得し、前記命題形式の仕様の各々について、当該命題形式の仕様の条件部と結果部を取り出して前記決定表の行を作成し、表示範囲を、当該命題形式の仕様に対応する列の当該行の欄に示す、
ことを特徴とするソフトウェア仕様開発支援装置。 - 前記仕様検査部は、検査対象の命題形式の仕様とその比較対象となる命題形式の仕様が矛盾あるいは重複する場合に、前記検査対象の命題形式の仕様の前記条件部に、前記比較対象の命題形式の仕様の前記条件部に現れる条件、あるいはその条件の否定を追加(論理積結合)することで、前記検査対象の命題形式の仕様を分解する、
ことを特徴とする請求項1に記載のソフトウェア仕様開発支援装置。 - 受け付けた前記複数の命題形式の仕様について、結果が未定義の条件を検査する未定義仕様検査部をさらに備え、
前記未定義仕様検査部は、前記複数の命題形式の仕様の条件部の否定を論理積結合した仕様を、積和標準形に変換することで、結果が未定義の条件を表す命題形式の仕様を作成し、
前記決定表作成部は、前記命題形式の仕様の一部、あるいは全てを取得し、前記命題形式の仕様の各々について、当該命題形式の仕様の条件部と結果部を取り出して前記決定表の行を作成し、表示範囲を、当該命題形式の仕様に対応する列の当該行の欄に示す、
ことを特徴とする請求項1に記載のソフトウェア仕様開発支援装置。 - 1つまたは複数の条件を有する前件と1つまたは複数の条件を有する後件からなる、複数の条件間の制約関係を示す制約を受け付ける制約受付部と、
前記複数の命題形式の仕様が前記制約を充足しない場合があるかどうかをチェックする制約検査部と、をさらに備え、
前記制約検査部は、前記制約受付部から前記制約を取得すると、任意の検査対象の命題形式の仕様が前記制約を充足しない場合があるかどうかを判定し、充足しない場合があるならば、前記検査対象の命題形式の仕様を、制約を充足しない命題形式の仕様と、制約を充足する命題形式の仕様に分解する、
ことを特徴とする請求項1に記載のソフトウェア仕様開発支援装置。 - 前記制約検査部は、検査対象の命題形式の仕様が制約を充足しないことがある場合に、前記検査対象の命題形式の仕様の前記条件部に、前記制約の前件あるいは後件に現れる条件、あるいはその条件の否定を追加(論理積結合)することで、前記検査対象の命題形式の仕様を分解する、
ことを特徴とする請求項4に記載のソフトウェア仕様開発支援装置。 - 前記決定表作成部は、作成する決定表において、前記検査対象の命題形式の仕様に追加した条件を他の条件と区別して表示する、
ことを特徴とする請求項2又は請求項5に記載のソフトウェア仕様開発支援装置。 - 前記命題形式の仕様のうち、決定表作成対象となる命題形式の仕様の条件や、その決定表による表示方法を表すポリシを保持するポリシ保持部をさらに備え、
前記決定表作成部は、前記ポリシに従って、表示対象の命題形式の仕様とその表示方法を決定し、該決定した仕様と表示方法に応じて、前記決定表の表示を行う、
ことを特徴とする請求項1に記載のソフトウェア仕様開発支援装置。 - 前記決定表作成部は、前記決定表の表示範囲の修正入力を受け付けて、修正済みの決定表を作成し、
前記修正済みの決定表から修正済みの命題形式の仕様を取り出し、修正前の決定表のもとになった修正前の命題形式の仕様と前記修正済みの命題形式の仕様とを置換する、仕様置換部をさらに備える、
ことを特徴とする請求項1に記載のソフトウェア仕様開発支援装置。 - 前記仕様検査部は、SATソルバを用いて命題形式の仕様の矛盾あるいは重複を判定する、
ことを特徴とする請求項1に記載のソフトウェア仕様開発支援装置。 - 前記制約検査部は、SATソルバを用いて命題形式が制約を充足するかを判定する、
ことを特徴とする請求項4に記載のソフトウェア仕様開発支援装置。 - ソフトウェア仕様の開発を支援する装置におけるソフトウェア仕様開発支援方法であって、
前記ソフトウェア仕様開発支援方法は、複数の命題形式の仕様を保持する第1の保持部を備え、
複数の条件を有する条件部および複数の結果を有する結果部からなる複数の命題形式の仕様を入力部を介して受け付ける第1のステップと、前記第1の保持部の命題仕様に基づき前記複数の命題形式の仕様の各々が互いに矛盾あるいは重複しないかどうかを判定し、その結果を第2の保持部に保持する第2のステップと、各行が前記複数の条件の1つまたは前記複数の結果の1つを示し、各列が前記複数の命題形式の仕様の各々を示す表形式で表した決定表を、前記判定の結果に基づいて作成する第3のステップと、
を含み、
前記第2のステップにより、前記第1の保持部から取得した任意の検査対象の命題形式の仕様とその任意の比較対象の命題形式の仕様に対して、前記2つの命題形式の仕様が矛盾するかあるいは重複するかを判定し、矛盾あるいは重複するならば、前記検査対象の命題形式の仕様を、比較対象の命題形式の仕様と矛盾あるいは重複する命題形式の仕様と、比較対象の命題形式の仕様と矛盾あるいは重複しない命題形式の仕様とに分解して、前記第2の保持部に登録し、
前記第3のステップにより、前記第2の保持部から前記命題形式の仕様の何れか、あるいは両方を取得し、前記命題形式の仕様の各々について、当該命題形式の仕様の条件部と結果部を取り出して前記決定表の行を作成し、表示範囲を、当該命題形式の仕様に対応する列の当該行の欄に示す、
ことを特徴とするソフトウェア仕様開発支援方法。 - 受け付けた前記複数の命題形式の仕様について、結果が未定義の条件を検査する第4のステップを含み、
前記第4のステップにより、前記複数の命題形式の仕様の条件部の否定を論理積結合した仕様を、積和標準形に変換することで、結果が未定義の条件を表す命題形式の仕様を作成し、
前記第3のステップにより、前記命題形式の仕様の一部、あるいは全てを取得し、前記命題形式の仕様の各々について、当該命題形式の仕様の条件部と結果部を取り出して前記決定表の行を作成し、表示範囲を、当該命題形式の仕様に対応する列の当該行の欄に示す、
ことを特徴とする請求項11に記載のソフトウェア仕様開発支援方法。 - 1つまたは複数の条件を有する前件と1つまたは複数の条件を有する後件からなる、複数の条件間の制約関係を示す制約を受け付ける第5のステップと、
前記複数の命題形式の仕様が前記制約を充足しない場合があるかどうかをチェックする第6のステップと、をさらに含み、
前記第6のステップにより、前記第5のステップにより前記制約を取得すると、任意の検査対象の命題形式の仕様が前記制約を充足しない場合があるかどうかを判定し、充足しない場合があるならば、前記検査対象の命題形式の仕様を、制約を充足しない命題形式の仕様と、制約を充足する命題形式の仕様に分解する、
ことを特徴とする請求項11に記載のソフトウェア仕様開発支援方法。 - 前記ソフトウェア仕様開発支援方法は、前記命題形式の仕様のうち、決定表作成対象となる命題形式の仕様の条件や、その決定表による表示方法を表すポリシを保持するポリシ保持部をさらに備え、
前記第3のステップにより、前記ポリシに従って、表示対象の命題形式の仕様とその表示方法を決定し、該決定した仕様と表示方法に応じて、前記決定表の表示を行う、
ことを特徴とする請求項11に記載のソフトウェア仕様開発支援方法。 - 前記第3のステップにより、前記決定表の表示範囲の修正入力を受け付けて、修正済みの決定表を作成し、
前記修正済みの決定表から修正済みの命題形式の仕様を取り出し、修正前の決定表のもとになった修正前の命題形式の仕様と前記修正済みの命題形式の仕様とを置換する、第7のステップをさらに備える、
ことを特徴とする請求項11に記載のソフトウェア仕様開発支援方法。
Priority Applications (2)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2012181988A JP5970292B2 (ja) | 2012-08-21 | 2012-08-21 | ソフトウェア仕様開発支援方法及びソフトウェア仕様開発支援装置 |
CN201310304712.8A CN103631710B (zh) | 2012-08-21 | 2013-07-19 | 软件规范开发辅助方法以及软件规范开发辅助装置 |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2012181988A JP5970292B2 (ja) | 2012-08-21 | 2012-08-21 | ソフトウェア仕様開発支援方法及びソフトウェア仕様開発支援装置 |
Publications (2)
Publication Number | Publication Date |
---|---|
JP2014041394A JP2014041394A (ja) | 2014-03-06 |
JP5970292B2 true JP5970292B2 (ja) | 2016-08-17 |
Family
ID=50212795
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
JP2012181988A Active JP5970292B2 (ja) | 2012-08-21 | 2012-08-21 | ソフトウェア仕様開発支援方法及びソフトウェア仕様開発支援装置 |
Country Status (2)
Country | Link |
---|---|
JP (1) | JP5970292B2 (ja) |
CN (1) | CN103631710B (ja) |
Families Citing this family (7)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP6247976B2 (ja) * | 2014-03-28 | 2017-12-13 | 株式会社日立製作所 | ルール管理支援装置、およびルール管理支援方法 |
JP6268062B2 (ja) * | 2014-08-20 | 2018-01-24 | 株式会社日立製作所 | ソフトウェア仕様抽出装置、方法、及びプログラム |
JP6394283B2 (ja) * | 2014-10-30 | 2018-09-26 | 富士通株式会社 | ルール表確認支援方法、ルール表確認支援プログラム、およびルール表確認支援装置 |
JP6254302B2 (ja) * | 2015-01-06 | 2017-12-27 | 株式会社日立製作所 | ルール整合性検証装置およびルール整合性検証方法 |
WO2016129073A1 (ja) * | 2015-02-12 | 2016-08-18 | 株式会社日立製作所 | ルール管理支援装置、およびルール管理支援方法 |
KR102299171B1 (ko) * | 2017-06-29 | 2021-09-07 | 아마존 테크놀로지스, 인크. | 보안 정책 분석기 서비스 및 만족성 엔진 |
JP6904914B2 (ja) * | 2018-02-02 | 2021-07-21 | 株式会社日立製作所 | 決定表生成装置、及び決定表生成方法 |
Family Cites Families (6)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP4629183B2 (ja) * | 1999-04-07 | 2011-02-09 | 新日鉄ソリューションズ株式会社 | 要求仕様記述支援装置およびその方法、記録媒体 |
CN1512399A (zh) * | 2002-12-27 | 2004-07-14 | 鸿富锦精密工业(深圳)有限公司 | 信息报表生成***和方法 |
JP4351186B2 (ja) * | 2005-05-19 | 2009-10-28 | 富士通株式会社 | 仕様書確認方法、仕様書確認プログラム、該プログラムを記録した記録媒体、および仕様書確認装置 |
JP4905119B2 (ja) * | 2006-12-26 | 2012-03-28 | 富士電機株式会社 | 仕様書作成支援装置および方法 |
JP5179207B2 (ja) * | 2008-01-28 | 2013-04-10 | 株式会社日立製作所 | ソフトウェア開発支援の装置、そのプログラム、及び方法 |
US20110041116A1 (en) * | 2009-08-14 | 2011-02-17 | Gm Global Technology Operations, Inc. | Formal analysis driven based evolution of requirements specifications |
-
2012
- 2012-08-21 JP JP2012181988A patent/JP5970292B2/ja active Active
-
2013
- 2013-07-19 CN CN201310304712.8A patent/CN103631710B/zh active Active
Also Published As
Publication number | Publication date |
---|---|
CN103631710B (zh) | 2016-08-24 |
JP2014041394A (ja) | 2014-03-06 |
CN103631710A (zh) | 2014-03-12 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
JP5970292B2 (ja) | ソフトウェア仕様開発支援方法及びソフトウェア仕様開発支援装置 | |
US8571891B2 (en) | Asistance for clinical trial protocols | |
JP3259928B2 (ja) | 業務仕様ハンドリング装置 | |
EP3455713A1 (en) | Data flow design with static and dynamic elements | |
US20130311483A1 (en) | Method and system for accurate medical-code translation | |
US20110004834A1 (en) | Intuitive visualization of boolean expressions using flows | |
JP2019133645A (ja) | 構造化文書の内容をチャットベースのインタラクションに翻訳するための半自動化された方法及びシステム、プログラム | |
US20150074045A1 (en) | Business Rule Management System | |
CN118176508A (zh) | 复制粘贴更新编辑自动化 | |
JP6692281B2 (ja) | テストケース生成装置、及びテストケース生成方法 | |
US20060107220A1 (en) | Method and system for displaying an annotated file | |
JP5460629B2 (ja) | 表形式ソフトウェア仕様作成支援方法、及び装置 | |
JP3186117B2 (ja) | データ中心型ソフトウエア部品によるプログラム自動生成システム | |
Wojszczyk et al. | The process of verifying the implementation of design patterns—used data models | |
Maldonado et al. | A platform for exploration into chaining of web services for clinical data transformation and reasoning | |
JP5826099B2 (ja) | ソフトウェア評価支援装置及びプログラム | |
Schulman | Managing your patients' data in the neonatal and pediatric ICU: an introduction to databases and statistical analysis | |
Bir et al. | Making Evidence Actionable: Interactive Dashboards, Bayes, and Health Care Innovation | |
US20240152368A1 (en) | User interface mode control for suggestion review | |
Kumar et al. | Value matrix: From value to quality and architecture | |
JP6904914B2 (ja) | 決定表生成装置、及び決定表生成方法 | |
US12008006B1 (en) | Assessments based on data that changes retroactively | |
JP4663526B2 (ja) | 帳票作成支援装置、帳票作成支援方法、および帳票作成支援プログラム | |
US7683902B1 (en) | Method to visualize performance data of a multi-layered state diagram | |
JP2003108405A (ja) | 試験仕様の作成支援装置及びプログラム |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
A621 | Written request for application examination |
Free format text: JAPANESE INTERMEDIATE CODE: A621 Effective date: 20150209 |
|
A977 | Report on retrieval |
Free format text: JAPANESE INTERMEDIATE CODE: A971007 Effective date: 20151023 |
|
A131 | Notification of reasons for refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A131 Effective date: 20151201 |
|
A521 | Written amendment |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20160115 |
|
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: 20160614 |
|
A61 | First payment of annual fees (during grant procedure) |
Free format text: JAPANESE INTERMEDIATE CODE: A61 Effective date: 20160711 |
|
R151 | Written notification of patent or utility model registration |
Ref document number: 5970292 Country of ref document: JP Free format text: JAPANESE INTERMEDIATE CODE: R151 |