Looking for breakthrough ideas for innovation challenges? Try Patsnap Eureka!

Software specification development assistance method and software specification development assistance device

A software specification and auxiliary device technology, applied in the direction of program control devices, software testing/debugging, etc., can solve the problems of decision table storage capacity and processing time increase, and achieve the effect of reducing storage capacity

Active Publication Date: 2016-08-24
HITACHI LTD
View PDF4 Cites 0 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

Therefore, the prior art also has the problem of increasing the storage capacity and processing time required to generate the decision table as the decision table expands.

Method used

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
View more

Image

Smart Image Click on the blue labels to locate them in the text.
Viewing Examples
Smart Image
  • Software specification development assistance method and software specification development assistance device
  • Software specification development assistance method and software specification development assistance device
  • Software specification development assistance method and software specification development assistance device

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0034] One embodiment of the present invention will be described in detail below with reference to the drawings.

[0035] This embodiment is suitable for a device that assists development of software usage.

[0036] In the present embodiment, input of a specification (called a propositional rule) by description in a propositional format is accepted, and contradictions, omissions, repetitions, and differences among the propositional rules are checked. Constraints on propositional rules are also accepted, and constraint violations of propositional rules are checked. Then, based on the inspection result, a description (referred to as a display object rule) in a propositional form representing a specification related to the inspection result is generated. Further, a decision table is generated and displayed according to the generated display object rule.

[0037] Therefore, according to the present embodiment, inspection results for contradictions, omissions, duplications, diffe...

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to View More

PUM

No PUM Login to View More

Abstract

A software specification development assistance method and a software specification development assistance device. The norm checking unit judges whether the two norms of the propositional form are contradictory or duplicative, with respect to the norm of the propositional form of the arbitrary checking object and the normative of the propositional form of the arbitrary comparison target acquired from the propositional rule storage unit, and if contradictory or duplicative, Then decompose the specification of the propositional form as the object of inspection into the specification of the propositional form that is contradictory or repeated with the specification of the propositional form of the comparison object, and the specification of the propositional form that is not contradictory or non-repetitive with the specification of the propositional form of the comparison object , registered in the inspection result storage unit, the decision table generating unit acquires either or both of the propositional-form specifications from the inspection-result storage unit, and fetches the condition part and the result of the propositional-form specification for each of the propositional-form specifications The row of the decision table is generated by using the section, and the display range is indicated in the column of the corresponding row of the column corresponding to the specification of the propositional form.

Description

technical field [0001] The invention relates to a technology for assisting software development. Background technique [0002] Sometimes the software specifications are defined by the corresponding relationship between the conditions before the software is executed and the results after the execution. It is known that the correspondence relationship between the conditions and the results can be expressed in a table format called a decision table, which is frequently used in software development engineering. There are several different description formats in the decision table, but even the decision tables with different description formats have the same semantics for expressing the correspondence between conditions and results. Also, decision tables are sometimes called condition matrices or checklists, among other names. [0003] By using this decision table to express the specification, it is possible to accurately describe the correspondence relationship between the con...

Claims

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to View More

Application Information

Patent Timeline
no application Login to View More
Patent Type & Authority Patents(China)
IPC IPC(8): G06F11/36G06F9/44
Inventor 佐藤直人石川贞裕伊藤信治宫崎邦彦山口洁
Owner HITACHI LTD
Who we serve
  • R&D Engineer
  • R&D Manager
  • IP Professional
Why Patsnap Eureka
  • Industry Leading Data Capabilities
  • Powerful AI technology
  • Patent DNA Extraction
Social media
Patsnap Eureka Blog
Learn More
PatSnap group products