Teknologi.Bagian dari ensiklopedia.onlineCari/
BerandaKomputasi & perangkat lunakAutomated Test Case Generation from Highly Reliable System Requirements Models, Phase II
Proyek riset & pengembangan

Automated Test Case Generation from Highly Reliable System Requirements Models, Phase II

Ringkasan tujuan riset

Pembangkitan kasus uji otomatis dari model SpecTRM-RL menghubungkan spesifikasi formal dengan pengujian perilaku yang dimaksudkan pada perangkat lunak kritis bagi misi.

Komputasi & perangkat lunak1 rujukanProfil diperbarui
Lihat rujukanBandingkan proyek
Linimasa NASA TechPort 7918Periode tercatat 2009-11-13 sampai 2011-10-12.NASA TechPort 7918MulaiAkhir tercatat200920122009-11-132011-10-12
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.

Model black-box dalam SpecTRM-RL menyediakan persyaratan yang formal tetapi tetap dapat dibaca pengguna nonspesialis. Proyek mengembangkan algoritme yang menurunkan kasus uji langsung dari model tersebut. Pengguna akan dapat memilih set kecil untuk menemukan kesalahan lebih cepat atau set lebih besar untuk cakupan yang lebih luas. Integrasi ke perangkat SpecTRM dan pengujian pada Max Launch Abort System direncanakan sebagai evaluasi, dengan efektivitas bergantung pada model persyaratan serta cakupan pengujian.

Baca uraian penerbit

Konteks pengembangan

Institusi pemimpin
Ames Research Center
Program
Small Business Innovation Research/Small Business Tech Transfer
Periode proyek
2009-11-13 → 2011-10-12

Klasifikasi NASA

  • TX11.1.2 — V&V of Software systems

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.