Operating system standard conformance test adequacy evaluation method based on interface model

A technology of operating system and interface model, applied in the field of model-based test adequacy assessment

Active Publication Date: 2013-02-27
TSINGHUA UNIV
View PDF1 Cites 14 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

Methods Aiming at the interface standard compliance test of widely used operating system software at present, the target operating system and its test case set are required to meet the following conditions: (1) The target operating system has a clear interface function definition, which is a standard generally recognized in the industry , is the main basis for the design, development and testing of the operating system; (2) The concentration of test cases is mainly for the functional testing of the standard interface of the operating system, and each test case can be traced to the functional characteristics of the software under test, including the interface under test. Parameter data, functions of the interface under test and combinations of functions

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
  • Operating system standard conformance test adequacy evaluation method based on interface model
  • Operating system standard conformance test adequacy evaluation method based on interface model
  • Operating system standard conformance test adequacy evaluation method based on interface model

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0083] as attached figure 1 As shown, the present invention mainly establishes the interface model of the operating system under test according to the interface standard, and evaluates the coverage of the test case set for each level of the interface model for the test case set performed by the standard compliance test, and the adequacy evaluation result can be used for Provide guidance for standard compliance test case design improvement and optimization. The method takes the following steps:

[0084] Step (1), computer initialization

[0085] According to the operating system standard, establish a structured description of the software function interface. The operating system interface standard is the main embodiment of the functional requirements of the operating system and the main basis for functional testing. Common operating system standards such as POSIX and ARINC provide clear definitions for data types, syntax and semantics of interface functions, and functional b...

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

The invention discloses an operating system standard conformance test adequacy evaluation method based on an interface model, relating to software test adequacy evaluation. The adequacy evaluation method is applicable for compliance tests of an operating system specific to a specific standard, and can measure the coverage fraction of test case design on a standard interface so as to provide the basis for the selection and the improvement of a test case and for the evaluation of test adequacy. The method includes three steps: initializing a computer to establish a data model and a functional model of an interface and to acquire a standard conformance test case set; evaluating the test adequacy and calculating the interface input parameter, the interface input parameter-output parameter set, interface function, interface function set and the comprehensive coverage fraction of the system; and selecting the test case based on the coverage fraction, setting a coverage fraction goal for the standard conformance test, iteratively selecting the test case from the test case set until the coverage fraction goal is satisfied.

Description

Technical field: [0001] The invention relates to the field of computer software, in particular to model-based test adequacy assessment. Background technique: [0002] The development of the operating system must be carried out on the basis of following international and industrial standards, which is the basis for the interoperability, interconnection, and interoperability of operating systems. Standard compliance is the basis and key for the operating system to ensure its openness, compatibility, and effective support for rich upper-layer applications. Standard compliance testing is to test whether the interface or functional modules of the developed software conform to specific software standards or specifications. , this compliance not only means that it is consistent in form, but also means that it must conform to standard specifications in terms of function, data control, and exception handling. For example, ARINC 653, as an airborne operating system standard, defines ...

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 Applications(China)
IPC IPC(8): G06F11/36
Inventor 白晓颖张瑶
Owner TSINGHUA UNIV
Who we serve
  • R&D Engineer
  • R&D Manager
  • IP Professional
Why Eureka
  • Industry Leading Data Capabilities
  • Powerful AI technology
  • Patent DNA Extraction
Social media
Try Eureka
PatSnap group products