Cerca de 8 klocs para un proyecto de investigación de pregrado en el que estaba trabajando (y pronto podría estar trabajando nuevamente como graduado).
El proyecto se ocupó de la verificación formal de las políticas de control de acceso mediante pruebas basadas en fallas. En particular, en lo que trabajé fue en generar fórmulas lógicas que a su vez serían utilizadas por un solucionador SMT para generar entradas de prueba garantizadas para discernir una política de control de acceso original de una que tiene una falla hipotética. No solo eso, sino que también tuve que escribir el código que 1) verificó que las pruebas que se generaron eran realmente correctas y 2) redujo el número de casos de prueba necesarios para detectar el 100% de las fallas hipotéticas (pasó de necesitar un caso de prueba para cada falla y en todas partes en la política de control de acceso donde esa falla podría ocurrir a aproximadamente 1/5 de lo que inicialmente habíamos superado incluso el método más conocido para generar casos de prueba efectivos, en nuestro caso específico, por supuesto).
Lo sorprendente es que escribí el código original (antes de la optimización) en poco menos de 2 meses. Como estudiante universitario sin experiencia en la industria / profesional, eso fue bastante bueno. Escribir el código para optimizar los casos de prueba necesarios tomó 3 meses adicionales porque requirió mucha teoría, hipótesis y prueba y error para encontrar la solución correcta, que al final resultó ser simplemente usar una cadena muy particular (” [correo electrónico protegido] “fue la cadena que resolvió el problema, ni siquiera bromeaba).
- ¿Cómo es ser un probador de control de calidad en WhatsApp?
- Programadores: ¿Echa un vistazo al perfil de LinkedIn del gerente de contratación? ¿Cuáles son los mejores / peores que has visto?
- ¿Es el desarrollo superior al control de calidad? ¿Por qué o por qué no?
- ¿Las empresas tecnológicas contratan pasantes de ingeniería de secundaria?
- ¿Qué compañía es una mejor opción considerando el crecimiento de la compañía, el crecimiento personal y profesional individual, el equilibrio entre la vida laboral y la compensación, como ingeniera de software femenina en Silicon Valley: Google o Facebook?