Teknologi.Bagian dari ensiklopedia.onlineCari/
BerandaKomputasi & perangkat lunakSystem and Component Software Specification, Run-time Verification and Automatic Test Generation, Phase I
Proyek riset & pengembangan

System and Component Software Specification, Run-time Verification and Automatic Test Generation, Phase I

Ringkasan tujuan riset

Verifikasi perangkat lunak tingkat sistem menggabungkan runtime verification, white-box automatic test generation, dan executable model checking dengan model statechart serta bahasa spesifikasi interaksi.

Komputasi & perangkat lunak1 rujukanProfil diperbarui
Lihat rujukanBandingkan proyek
Linimasa NASA TechPort 5775Periode tercatat 2006-01-20 sampai 2006-07-24.NASA TechPort 5775MulaiAkhir tercatat200620072006-01-202006-07-24
Linimasa dan catatan proyek

Tanggal dan TRL menurut catatan penerbit. Akhir periode dan target bukan bukti hasil riset.

Teknologi · CC BY 4.0 · Sumber data

Apa tujuan dan pendekatan risetnya?

Profil ini merangkum ruang lingkup proyek yang dipublikasikan NASA TechPort. Sumber diakses . Uraian pendekatan dan manfaat menyatakan tujuan pengembangan, kecuali sumber secara khusus melaporkan hasil.

Pendekatan mengintegrasikan pembuatan uji berbasis spesifikasi dan model untuk UML statechart yang diperluas formal specification. Model tingkat sistem menyediakan data bagi test generation, sementara runtime verification memeriksa eksekusi. Message Sequence Chart dan Live Sequence Chart ditinjau sebagai bahasa interaksi sistem. Tujuannya ialah mengurangi kesulitan verifikasi manusia saat banyak model terlibat, tetapi ketercakupan pengujian serta pembuktian kebenaran tetap bergantung pada spesifikasi dan alat yang dikembangkan.

Baca uraian penerbit

Konteks pengembangan

Institusi pemimpin
Ames Research Center
Program
Small Business Innovation Research/Small Business Tech Transfer
Periode proyek
2006-01-20 → 2006-07-24

Klasifikasi NASA

  • TX10.2.2 — Activity and Resource Planning and Scheduling

Label penerbit dipertahankan sebagai konteks. Bidang katalog merupakan pengelompokan editorial.

Apa yang diketahui tentang statusnya?

Status proyek menurut NASACompleted

Nilai TRL belum tersedia pada catatan yang diakses.

TRL adalah tingkat kesiapan teknologi yang dilaporkan penerbit, pada skala 1–9. Nilai target akhir menunjukkan sasaran. Status “Completed” berarti proyek telah selesai menurut pencatatan NASA; status tersebut tidak membuktikan bahwa seluruh sasaran kinerja telah tercapai.

Batas informasi

Profil ini menjelaskan ruang lingkup riset dari catatan penerbit. Target pengembangan dan TRL akhir bukan bukti keberhasilan, ketersediaan produk, atau kelayakan penerapan. Tinjauan ahli dan pengujian performa independen belum dilakukan.

Dasar profil

Metodologi dan batas pemeriksaan. Ringkasan berbahasa Indonesia disusun sebagai parafrasa editorial dengan pemeriksaan sumber primer oleh agen AI. Identitas, periode, serta status berasal dari catatan penerbit. Tinjauan ahli dan pengujian kinerja independen belum dilakukan; rujukan tidak menyiratkan dukungan atau sertifikasi NASA.