Документация

Идентифицируйте сложность программного обеспечения рабочим анализом Bug Finder

Чтобы идентифицировать сложность программного обеспечения, сконфигурируйте пороги средств проверки. Например, установите пороги средств проверки, перечисленных в этой таблице.

Пороги указывают на допустимый уровень сложности программного обеспечения. Чтобы идентифицировать проблемы в вашем коде, который может привести к более высокому уровню сложности после конфигурирования средств проверки сложности программного обеспечения, запускают анализ Polyspace Bug Finder. Рассмотрите этот код:

 long long power(double x, int n){
	 long long BN = 1;
	 for(int i = 0; i<n;++i){
		 BN*=x;
	 }
	 return BN;
 }
 
 double AppxIndex(double m, double f){//Noncompliant
	 double U = (power(m,2) - 1)/(power(m,2)+2);
	 double V = (power(m,4) + 27*power(m,2)+38)/(2*power(m,2)+3);
	 return (1+2*f*power(U,2)*(1+power(m,2)*U*V+ power(m,3)
	         /power(m,3)*(U-V)))/( (1-2*f*power(U,2)*(1+power(m,2)*U*V 
	        + power(m,3)/power(m,3)*(U-V))));
 }

После анализа Bug Finder повышены сконфигурированные средства проверки:

Эти проверки указывают что функциональный AppxIndex может сделать код трудным считать, изучить, и отладить. Чтобы уменьшать сложность кода, обратитесь к повышенным проверкам.

Уменьшайте сложность программного обеспечения

Уменьшайте сложность своего кода путем решения идентифицированных проблем. В этом случае первопричина повышенных проверок состоит в том что функциональный AppxIndex выполняет несколько задач вместо того, чтобы выполнить одну одну задачу. Например, функция сначала вычисляет U, затем это вычисляет V, и наконец это выполняет долгое выражение, содержащее оба U и V. Чтобы решить эти проблемы, осуществите рефакторинг функциональный AppxIndex так, чтобы каждая задача была делегирована к отдельной функции. Вы можете сломать долгое выражение в меньшие части. Например:

// This code calculates effective index of materials  as described in
// the formula in 10.1364...
// power(x,n) returns the nth power of x (x^n)
// n is an integer
// x is a double
// return type is long long

long long power(double x, int n){//Compliant
	long long BN = 1;
	for(int i = 0; i<n;++i){
		BN*=x;
	}
	return BN;
}
// CalculateU(m) calculates the first intermediate variable
// required to calculate  polarization
// m is the relative refractive index
// return type is double;

double CalculateU(double m){//Compliant
	return (power(m,2) - 1)/(power(m,2)+2);
}
// CalculateV(m) calculates the second intermediate variable
// required to calculate  polarization
// m is the relative refractive index
// return type is double;

double CalculateV(double m){//Compliant
	return (power(m,4) + 27*power(m,2)+38)/(2*power(m,2)+3);
}
// CalculateMid(m,f) calculates the large term present 
// in both numerator and denominator
// of the effective index calculation
// m is the relative refractive index
// f is the fillfactor 
// return type is double;

double CalculateMid(double m, double f){//Compliant
	double U = CalculateU(m);
	double V = CalculateU(m); 
	return 2*f*power(U,2)*(1+power(m,2)*U*V + power(m,3)/power(m,3)*(U-V));
}
//AppxIndex(m,f) calculates the approximate effective index
// m is the relative refractive index
// f is the fillfactor
//return type is double
double AppxIndex(double m, double f){//Compliant
	return (1+CalculateMid(m,f))/( (1-CalculateMid(m,f)));
}

Для получения дополнительной информации об обращении к проверке сложности программного обеспечения, см. документацию средства проверки.

В случаях, когда вы будете не мочь осуществить рефакторинг код, обратитесь к проверкам через аннотации кода. Например, если вы пользуетесь комплексной библиотекой, вы можете принять решение аннотировать проверки, которые повышены на библиотеке. Смотрите Аннотируют Код и Скрывают Известные или Приемлемые результаты. Когда вы аннотируете файл или функциональную метрику кода, соответствующее средство проверки сложности программного обеспечения также аннотируется тем же комментарием.