Method and device for testing credibility of software

Abstract

The invention provides a method and a device for testing credibility of a software, wherein the method comprises the following steps: acquiring a name, all states and a state change condition of a to-be-tested object in a software code, wherein the state change condition is a conversion relationship between states; abstracting and performing semantic conversion in defects of the object described by natural language according to the name, all states and the state change condition of the object to generate defects of the object described by test language, wherein the test language is a describing mode according with semantic of the software code; and performing defect test to the object in the software code according to the defects of the object described by the test language. The technical proposal provided by the invention can go deep into an internal structure of the software code based on the test technology of defects, and detect defects in the software code from the internal structure by abstractly modeling for detects so as to be beneficial to increasing credibility of the software code.

Description

technical field [0001] The invention relates to software testing technology, in particular to a software credibility testing method and device. Background technique [0002] With the increasingly complex network structure, information systems become more and more fragile, and issues such as Security, Reliability, and Availability become increasingly prominent, often making information systems unable to meet user expectations or trust. way of working. In the course of Internet development, there are too many troubles, losses and even disasters caused by credibility issues. How to ensure that software provides reliable services for people and how to improve the credibility of software are issues worthy of in-depth consideration, especially for software that is closely related to user experience, such as communication, it must have higher credibility. [0003] Software credibility is essentially an extension of the traditional concept of software quality in the Internet era, ...

AI Technical Summary

Problems solved by technology

It is more common in the existing technology to use white box testing technology, such as unit testing based on test cases, to test the internal structure of the software, but due to the influence of test cases, test data, test environment, etc., the test is difficult to complete, 100% Branch coverage, code coverage, etc. are difficult to achieve, so there may still be deep-seated defects in the software, resulting in low reliability of the software

Images