JP2011192073A - Device and method for verifying specification request - Google Patents

Abstract

<P>PROBLEM TO BE SOLVED: To provide a technique of verifying whether a non-function request set as a specification is satisfied in a verification object. <P>SOLUTION: Information indicating a request related to a non-function when executing a plurality of processes is obtained by input by an input device or read from a storage medium, the value of the non-function related to the plurality of processes is obtained, and whether the value of the non-function satisfies the request related to the non-function is evaluated. <P>COPYRIGHT: (C)2011,JPO&INPIT

Description

  The present invention relates to a technique for verifying non-functions of a system or apparatus to be verified.

UML (Unified Modeling Language) is a method for verifying required specifications at the development stage.
And modeling required specifications in modeling languages such as Promela (Process Meta Language)
It is known to inspect this model with a model inspection tool such as SPIN or SML.

  Further, such model checking is used in the system development stage, and is not used in the system practical use stage.

JP 2009-075681 A JP 2008-305079 A JP 2009-129463 A JP 2009-116815 A JP 2008-112224 A

  In the conventional model check, a function request is modeled, and the model is checked. Therefore, a non-function request that is not reflected in the model cannot be verified.

  Therefore, the present invention provides a technique for verifying whether or not non-functional requirements are satisfied in the verification target.

  In order to solve the above problems, the present invention employs the following means or processing.

That is, the specification requirement verification apparatus according to the present invention is:
Request acquisition means for acquiring information indicating a request related to a non-function when executing a plurality of processes by input from an input device or reading from a storage medium;
Non-functional value obtaining means for obtaining non-functional values for the plurality of processes;
Evaluation means for evaluating whether or not the non-functional value satisfies the non-functional requirement.

  The non-functional value may include at least one of processing time, power consumption, and cost.

  The non-functional value acquisition unit may acquire the non-functional value by actually measuring the execution result of the process.

Furthermore, the specification requirement verification method according to the present invention includes:
Obtaining information indicating a request related to a non-function when executing a plurality of processes by input by an input device or reading from a storage medium;
Determining a non-functional value for the plurality of processes;
The computer executes a step of evaluating whether or not the non-functional value satisfies the non-functional requirement.

  In the specification requirement verification method, the non-functional value may include at least one of processing time, power consumption, and cost.

  In the specification requirement verification method, the non-functional value may be acquired by actually measuring an execution result of the process.

  In addition, this invention can also be grasped | ascertained as a program for making a computer perform each step of the said specification requirement verification method. The present invention can also be understood as a recording medium (storage medium) in which the program is recorded so as to be readable by a computer.

  Here, the computer-readable recording medium refers to a recording medium that accumulates information such as data and programs by electrical, magnetic, optical, mechanical, or chemical action and can be read from the computer. . Examples of such recording media that can be removed from the computer include a flexible disk, a magneto-optical disk, a CD-ROM, a CD-R / W, a DVD, a DAT, an 8 mm tape, and a memory card.

  Further, there are a hard disk, a ROM (read only memory), and the like as a recording medium fixed to the computer.

  Each of the above means and steps can be combined with each other as much as possible to constitute the present invention.

  ADVANTAGE OF THE INVENTION According to this invention, the technique which verifies whether the non-functional request | requirement is satisfy | filled in verification object can be provided.

Block diagram of specification requirement verification device Illustration of specification requirement verification method Explanatory drawing of the device to be verified Functional request illustration Functional request illustration The figure which shows an example of the table which matched and memorize | stored the process name and the result of the process The figure which shows an example of the table which matched and memorize | stored the process name and the non-functional value Explanatory drawing of Embodiment 2

<Embodiment 1>
Embodiments of the present invention will be described below. First, an example of the configuration of the specification requirement verification apparatus according to the embodiment of the present invention will be described with reference to FIG.

  The specification requirement verification apparatus 1 satisfies non-functional requirements such as whether processing time, power consumption, and cost fall within predetermined values when a plurality of functions are executed at the stage of developing a new system, product, or software. Verify whether or not.

FIG. 1 is a diagram for explaining the outline of the specification requirement verification apparatus according to this embodiment. As shown in FIG. 1, the specification request verification apparatus 1 stores a data processing unit 11 that performs data arithmetic processing, a communication processing unit 12 that performs communication with other devices, and data and software for arithmetic processing. The computer includes a storage unit (hard disk) 13, an input unit 14, and an output unit 15.

  The communication processing unit 12 communicates with another computer via a network or a line such as a cable.

  The storage unit 13 stores an operating system (OS) and application programs (specification request verification program). The storage unit 13 also stores a data table used for verification.

  The input unit 14 is a means for inputting information to the data processing unit 11, and includes a user interface such as a keyboard and a pointing device, and a device that reads information from a storage medium such as a memory card or a CD-ROM.

  The output unit 15 is a unit that outputs the processing result of the data processing unit 11, and includes a display device that displays the processing result and a printer that prints data.

  The data processing unit 11 includes a CPU and a main memory, reads the OS and application programs from the storage unit 13 to the main memory, and the CPU performs arithmetic processing according to the read OS and application programs. Through this calculation process, the CPU also functions as the request acquisition unit 21, the non-functional value acquisition unit 22, and the evaluation unit 23.

  The CPU of the data processing unit 11, that is, the request acquisition unit 21 stores information indicating requests related to non-functions when a plurality of processes are executed by a function required for a verification target, input by an input device, or reading from a storage medium. get.

  The non-functional value acquisition unit 22 obtains non-functional values that change due to the execution of the plurality of processes.

  The evaluation unit 23 evaluates whether or not the non-functional value satisfies the non-functional requirement.

  FIG. 2 is an explanatory diagram of a specification request verification method executed by the specification request verification apparatus 1 of this example according to a program.

  First, the specification request verification apparatus 1 acquires information indicating a function request and information indicating a non-function request (steps S1 and S2). For example, the specification request verification apparatus 1 receives, via the communication processing unit 12, information input by the user by operating a keyboard or pointing device of the input unit 14 or information transmitted from another computer. The specification request verification apparatus 1 reads information indicating a non-functional request from a removable disk such as a CD-ROM, a storage medium such as a storage unit 13 or a main memory, or other information via the network by the communication processing unit 12. You may read and acquire from a computer.

  Next, the specification request verification apparatus 1 executes the requested function (process) based on the function request acquired in step S1 (step S3).

Then, the non-functional value acquisition unit 22 of the specification request verification apparatus 1 obtains a non-functional value (hereinafter also simply referred to as a non-functional value) that changes as a result of executing the process, for example, processing time, power consumption, and cost ( Step S4). As a method for obtaining the non-functional value, a function is set for each process, an input value is calculated with this function, or a non-functional value for each process is registered in a table in advance. Examples include those that read out corresponding non-functional values by reference, those that receive input from a user or another computer, and those that actually measure values that change during process execution.

  Further, the evaluation unit 23 of the specification request verification apparatus 1 evaluates whether or not the non-functional value obtained above satisfies the non-functional request acquired in Step S2 (Step S5). For example, the time required for executing the process is within a predetermined time, the power consumption when the process is executed is less than the predetermined power, or the cost of the equipment used to execute the process is less than the predetermined value. It is determined whether or not.

<Concrete example>
Next, the specification requirement verification method executed by the specification requirement verification apparatus 1 will be described with a specific example. FIG. 3 is a diagram illustrating an in-vehicle camera system to be developed, that is, a verification target. The in-vehicle camera system of FIG. 3 includes a camera 41, a contour extracting unit 42, a contour synthesizing unit 43, and a display device 44, extracts the contour of an object on the road from the camera image, and synthesizes this contour with the original image for display. Display on the device. At this time, the contour is drawn with a predetermined line width and color and emphasized to clearly show the object on the road even in the situation where the light from the oncoming vehicle is backlit or fog is generated. .

  In this in-vehicle camera system, the camera 41 is required to have a function of photographing a road ahead or behind the vehicle and sending the photographed image to the contour extraction unit 42 and the physical contour synthesis unit 43.

  Further, the contour extracting unit 42 is required to have a function of extracting a portion where the density value of a pixel in the photographed image changes rapidly as a contour by differentiation or pattern matching.

  The contour synthesizing unit 43 is required to have a function of synthesizing the contour extracted by the contour extracting unit 42 with the original image.

  The display device 44 is, for example, a display or HUD of a car navigation system, and is required to have a function of displaying an image synthesized by the contour synthesis unit 43 to the driver.

That is, in this vehicle camera system, in step S1 of FIG. 2, information indicating function requests required for the respective units 41 to 44 is input as described above. The function requested by this function request (process content) is a predetermined logical expression (for example, LTL (Linear Temporal Logic)
: Linear temporal logic formula, CTL (Computation Tree Logic): computational tree temporal logic formula, description language such as Promela, etc.

  FIG. 4 is a diagram showing a model based on a function request. In this example, as shown in FIG. 4, a process of taking an image with a camera (shooting P1), a process of extracting an outline from the taken image (process P2), a process of synthesizing an outline with an original image (synthesis P3), and synthesis A process (display P4) for displaying a later image is included.

In the example of FIG. 4, a process name (process identification information) and process contents such as a logical expression are acquired as information indicating a function request, and the data processing unit 11 calculates an input value according to the process contents to obtain a result. The configuration is such that the non-functional request can be verified in parallel with the verification of the functional request that has been conventionally performed. It should be noted that the verification of the function request and the verification of the non-functional request are not necessarily performed in parallel. For example, the result of each process may be obtained in advance by the calculation or an assumed value may be determined as the process result, and the process result and process name may be input as information indicating the function request. FIG. 5 shows an example of inputting a process result, and FIG. 6 shows an example of a table storing a process name and a process result in association with each other. The process name is information for identifying the process, and information unique to each process is attached. In FIG. 6, the process name of the process of shooting using the camera A is P1A, the result is a VGA color image (640 × 480 × 24 bits), the process name of the process of shooting using the camera B is P1B, and the result is It is a VGA color image (800 × 600 × 24 bits), the process name of the process of photographing using the camera C is P1C, and the result is an XGA color image (1024 × 768 × 24 bits).

In the example of FIG. 5, the process result is obtained from the table of FIG. 6 and input in step S3 of FIG. On the other hand, in the example of FIG. 4, the result of the process as shown in FIG. 6 is obtained based on the process contents described by a logical expression or Promela.

  In the in-vehicle camera system of FIG. 3, in step S <b> 2 of FIG. 2, the specification request verification device 1 acquires information indicating a non-functional request related to each process. For example, the processing time from when the subject is photographed until the contour is extracted, combined with the original image and displayed on the display device, that is, the delay time is within 300 ms, the power consumption is within 25 W, and the cost is within 5000 yen. This is a non-functional requirement.

  In step S4 of FIG. 2, a non-functional value relating to each process is obtained. FIG. 7 is a diagram illustrating an example of a table storing non-functional values corresponding to each process. In the table shown in FIG. 7, processing time, power consumption, and cost are stored as non-functional requests for each process. For example, the processing time of the process P1A (the time until the image formed on the light receiving surface is converted into an electrical signal by the image sensor and output) is 80 ms, the power consumption of the camera, 2.0 W, and the cost of the camera of 1000 yen. Process P1B processing time 100 ms, camera power consumption, 2.5 W, camera cost 1500 yen, Process P1C processing time 120 ms, camera power consumption, 3.5 W, camera cost 2000 yen It is.

  Like the non-functional values for the processes P1A to P1C in FIG. 7, the values are stored in advance in the table, and in step S4, the values corresponding to the process names of the processes acquired in step S1 are read from the table.

The non-functional value is not limited to the configuration stored in advance in the table, but may be defined by a function. For example, as in the processing time of processes P2D to P2F in FIG. 7, chip E is obtained by dividing the image size Fs of the process of extracting a contour using chip D by 1.54 × 10 ⁶ output bits per second. Divide the image size Fs of the process of extracting contours by 3.07 × 10 ⁶ output bits per second, and output the image size Fs of the process of extracting outlines using chip F per second ^6. Calculate processing time by dividing by 14 × 10 ⁶ .

  Here, when the result of the process P1A (640 × 480 × 24 bits) is used, the result of the process of extracting the contour is a binary image (640 × 480 × 1 bit). In this case, the process P2D for extracting the contour using the chip D has a processing time of 200 ms, the power consumption is 1.2 W, the cost is 300 yen, and the process P2E for extracting the contour using the chip E has a processing time of The process P2F for extracting the contour using the chip F is 100 ms, the power consumption is 1.5 W, the cost is 500 yen, the processing time is 50 ms, the power consumption is 3.0 W, and the cost is 800 yen.

Similarly, when the result of the process P1B (800 × 600 × 24 bits) is used, the result of the process of extracting the contour is a binary image (800 × 600 × 1 bit), and the contour is extracted using the chip D. The process P2D has a processing time of 313 ms, the power consumption is 1.2 W, the cost is 300 yen, and the process P2E to extract the contour using the chip E has a processing time of 156
ms, power consumption is 1.5 W, cost is 500 yen, and the process P2F for extracting an outline using the chip F has a processing time of 78 ms, power consumption of 3.0 W, and cost of 800 yen.

Further, as in the processing time of processes P3G to P3I in FIG. 7, the image size Fs of the process of combining the outline with the original image using the chip G is divided by the number of output bits of 73.7 × 10 ⁶ per second. The image size Fs of the process of synthesizing the contour with the original image using the chip H is set to 1.
The processing time is obtained by dividing the image size Fs of the process of synthesizing the contour with the original image using the chip I by the number of output bits per second 147 × 10 ⁶ by the number of output bits 295 × 10 ⁶ per second. .

  Here, when the result of the process P1A (640 × 480 × 24 bits) is used as the original image, the process P3G for synthesizing the contour with the original image using the chip G has a processing time of 100 ms, power consumption of 0.5 W, The process P3H, in which the cost is 100 yen, and the outline is synthesized with the original image using the chip H, the processing time is 50 ms, the power consumption is 0.8 W, the cost is 200 yen, and the outline is synthesized with the chip I using the chip I. The process P3I has a processing time of 25 ms, power consumption of 1.5 W, and cost of 300 yen.

  Similarly, when the result of the process P1B (800 × 600 × 24 bits) is used, the process P3G that combines the contour with the original image using the chip G has a processing time of 156 ms, power consumption of 0.5 W, and cost The process P3H for synthesizing the contour to the original image using the chip H is 100 yen, the processing time is 78.4 ms, the power consumption is 0.8 W, the cost is 200 yen, and the contour is synthesized to the original image using the chip I. The process P3I has a processing time of 39.1 ms, power consumption of 1.5 W, and cost of 300 yen.

  Further, in FIG. 7, the processing time (response time) of the process P4J for displaying the combined image on the display J is 5 ms, the power consumption is 15 w, and the cost is 3000 yen, and the combined image is displayed on the display K. The processing time (response time) of the process P4K is 5 ms, the power consumption is 17 w, the cost is 3500 yen, the processing time (response time) of the process P4L for displaying the synthesized image on the display L is 5 ms, and the power consumption is 20 w. The cost is 4000 yen.

  Then, in step S5 of FIG. 2, the evaluation unit 23 of the specification requirement verification apparatus 1 evaluates whether or not the non-functional value obtained above satisfies the non-functional requirement obtained in step S2.

For example, when the process names indicated by the information acquired in step S1 are processes P1A, P2D, P3G, and P4J,
Process P1A: processing time = 80 ms, power consumption = 2.0 W, cost = 1000 yen Process P2D: processing time = 200 ms, power consumption = 1.2 W, cost = 300 yen Process P3G: processing time = 100 ms, power consumption = 0 .5W, cost = 100 yen Process P4J: processing time = 5 ms, power consumption = 15 w, cost = 3000 yen
Total: processing time = 385 ms, power consumption = 18.7 w, cost = 4400 yen.

  Therefore, the configuration of the processes P1A, P2D, P3G, and P4J does not satisfy the non-functional requirement of the processing time (delay time) and is incompatible.

If the process names indicated by the information acquired in step S1 are processes P1A, P2E, P3I, and P4J,
Process P1A: processing time = 80 ms, power consumption = 2.0 W, cost = 1000 yen Process P2E: processing time = 156 ms, power consumption = 1.5 W, cost = 500 yen Process P3I: processing time = 39.1 ms, power consumption = 1.5 W, cost = 300 yen Process P4J: processing time = 5 ms, power consumption = 15 w, cost = 3000 yen
Total: processing time = 280.1 ms, power consumption = 20 w, cost = 4800 yen.

  Therefore, the configuration of processes P1A, P2E, P3I, P4J meets and meets all non-functional requirements.

Furthermore, when the process names indicated by the information acquired in step S1 are processes P1C, P2F, P3I, and P4L,
Process P1C: processing time = 120 ms, power consumption = 3.5 W, cost = 2000 yen Process P2F: processing time = 128 ms, power consumption = 3.0 W, cost = 800 yen Process P3I: processing time = 64.0 ms, power consumption = 1.5 W, cost = 300 yen Process P4L: processing time = 5 ms, power consumption = 20 w, cost = 4000 yen
Total: processing time = 317 ms, power consumption = 28 w, cost = 7100 yen.

  Therefore, the configuration of the processes P1C, P2F, P3I, and P4L does not satisfy all the non-functional requirements and is incompatible.

  As described above, according to this embodiment, it is possible to evaluate a non-functional requirement to be verified at the development stage.

<Embodiment 2>
In the first embodiment described above, an example in which the non-functional requirement to be verified is evaluated at the development stage has been shown. However, in the second embodiment, the non-functional value to be verified is actually measured and the non-functional requirement is evaluated at the practical stage. It is an example. The second embodiment is different from the first embodiment in the evaluation contents, and the other configurations are the same. For this reason, the same elements are denoted by the same reference numerals and the description thereof is omitted.

  FIG. 8 is a schematic explanatory diagram of the second embodiment. In the second embodiment, the request acquisition unit 21 acquires information indicating the processes P1A, P2E, P3I, and P4J as a function request, and acquires that the processing time of the processes P2E and P3I is 200 ms as a non-function request.

  Further, the non-functional value acquisition unit 22 compares the image captured by the process P1A, that is, the original image with the image synthesized by the process P3I, and the time taken from the output of the original image to the output of the image after the synthesis As the processing time (delay time).

  The evaluation unit 23 determines whether the value acquired by the non-functional value acquisition unit 22 satisfies the non-functional request. Since the processing time of the processes P2E and P3I is 195.1 ms, the non-functional requirement is usually satisfied. However, when the processing time does not satisfy the non-functional requirement due to problems such as chip E and I failure, voltage drop, and an increase in processes that the chips E and I process in parallel with the processes P2E and P3I. The evaluation unit 23 notifies the user of a warning via the output unit 15.

  As described above, according to the second embodiment, non-functional requirements can be evaluated at the time of practical use, and a user can be warned when the non-functional requirements are not satisfied.

  The specification requirement verification apparatus according to the second embodiment is not limited to the processing time, but may be any apparatus that can actually measure a non-functional value during practical use.

1 Specification Request Verification Device 11 Data Processing Unit 12 Communication Processing Unit 13 Storage Unit (Hard Disk)
14 Input unit 15 Output unit 21 Request acquisition unit 22 Non-functional value acquisition unit 23 Evaluation unit 41 Camera 42 Contour extraction unit 43 Contour synthesis unit 44 Display device

Claims (6)

Request acquisition means for acquiring information indicating a request related to a non-function when executing a plurality of processes by input from an input device or reading from a storage medium;
Non-functional value obtaining means for obtaining non-functional values for the plurality of processes;
An evaluation means for evaluating whether or not the value of the non-function satisfies the requirement related to the non-function;
Specification request verification device comprising:   The specification request verification apparatus according to claim 1, wherein the non-functional value includes at least one of processing time, power consumption, and cost.   The specification requirement verification apparatus according to claim 1, wherein the non-functional value acquisition unit acquires the non-functional value by actually measuring an execution result of the process. Obtaining information indicating a request related to a non-function when executing a plurality of processes by input by an input device or reading from a storage medium;
Determining a non-functional value for the plurality of processes;
Evaluating whether the non-functional value satisfies the non-functional requirement; and
A specification requirement verification method executed by a computer.   The specification requirement verification method according to claim 4, wherein the non-functional value includes at least one of processing time, power consumption, and cost.   The specification requirement verification method according to claim 4, wherein the non-functional value is acquired by actually measuring an execution result of the process.

Images