Statik İkili Kod Analiz Araçları

En Kötü Durum Yürütme Süresi (WCET) hesaplaması

Araç: TimingProfiler

Bu araç, yazılım geliştirmenin ilk aşamalarında yalnızca ikili kodun statik analizi yoluyla yaklaşık bir WCET elde edilmesini sağlar.

Bir görevin veya programın olası tüm yürütme yollarının keşfedilmesine ve bu işlemci mimarisi için komut yürütme sürelerinin yaklaşık olarak hesaplanmasına dayanır.

WCET hesaplamasının hata payı, bu hedefin belgelendirilmesinin kanıtı olarak kabul edilemeyecek kadar büyüktür, ancak görev düzeyinde kritik yürütme noktalarının ve performans darboğazlarının başlangıçta belirlenmesine olanak tanır.

Bu, kaynak kod geliştirilirken yürütme sürelerinin izlenmesine ve resmi WCET hesaplaması yapılırken son dakika sorunlarının önlenmesine olanak tanır.

Ayrıca fonksiyon çağrılarının ve kontrol akışının grafiklerini görselleştirmeye de olanak tanır. ValueAnalyzer eklentisi ile değişkenlerin kullanımını (okuma ve yazma) izlemek de mümkündür.

Tüm bu işlevsellik, geliştirme kartına veya herhangi bir kod enstrümantasyonuna ihtiyaç duyulmadan sağlanır.

Karmaşık bir yapılandırma gerçekleştirmek de gerekli değildir. Geliştirmenin başından itibaren kullanımı çok kolaydır ve sürekli entegrasyon ortamlarına entegre edilebilir, kaynak kodun herhangi bir bölümünün her yapısında performans ölçümleri elde edilebilir.

Desteklenen işlemci aileleri ve derleyiciler

  • ARM Derleyici
  • GCC Derleyici
  • Diab C veya Ada
  • Green Hills C/C++ veya Ada
  • IAR
  • Keil ARM
  • HighTec LLVM/Clang
  • Görevlendirme
  • Texas Instruments
  • CompCert (INRIA, AbsInt)
  • Diab C
  • Green Hills C/C
  • GCC Derleyici
  • Diab C
  • Green Hills C/C++ veya Ada
  • HighTec GCC
  • Görevlendirme
  • Code Warrior Derleyici
  • GCC Derleyici
  • GNAT Pro C++ veya Ada
  • Diab C veya Ada
  • Green Hills C/C++ veya Ada
  • HighTec GCC
  • Keil ARM
  • CompCert (INRIA, AbsInt)

Diğer işlemciler

  • ERC32
  • Leon2, Leon3/4
  • x86
  • MIPS32
  • Nios II
  • Renesas RX, SuperH
  • C16x, ST10
  • C28x
  • C33
  • dsPIC33E
  • FR81S
  • HCS 12
  • M68K
  • x86
  • MCS 51
  • MCS 251
  • MSP430
  • S12Z

Haber bültenimize abone olun